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

Analysis Run

019b477e-afac-705b-bec3-ec2971da1eb3

complete
Chain ID
1
Address
0xe2bef3e4da2dfce1fd970c8a9d233951c5c4382f
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
21825 artifact.fetch complete 1 / 3 4 months ago
21826 tool.cast_disasm complete 1 / 3 4 months ago
64662 analysis.bundle complete 1 / 3 2 weeks ago
64663 capability.graph complete 1 / 3 2 weeks ago
64664 detector.run complete 1 / 3 2 weeks ago
64665 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)
10
EXT*/BALANCE
7
Total opcodes
8241
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 0x021a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x016e03b1
0000003c: EQ
0000003d: PUSH2 0x021f
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x01ffc9a7
00000047: EQ
00000048: PUSH2 0x0260
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x06fdde03
00000052: EQ
00000053: PUSH2 0x02c4
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x095ea7b3
0000005d: EQ
0000005e: PUSH2 0x0354
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x0b0740ae
00000068: EQ
00000069: PUSH2 0x03a1
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x0e22f284
00000073: EQ
00000074: PUSH2 0x040e
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x16685890
0000007e: EQ
0000007f: PUSH2 0x0459
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x18160ddd
00000089: EQ
0000008a: PUSH2 0x0484
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x1b78e3c4
00000094: EQ
00000095: PUSH2 0x04af
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x1b9414ae
0000009f: EQ
000000a0: PUSH2 0x0509
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x1f1bd005
000000aa: EQ
000000ab: PUSH2 0x0529
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x23b872dd
000000b5: EQ
000000b6: PUSH2 0x0580
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x2a304900
000000c0: EQ
000000c1: PUSH2 0x05ed
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x3129e773
000000cb: EQ
000000cc: PUSH2 0x0638
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x3f4ba83a
000000d6: EQ
000000d7: PUSH2 0x068e
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x513a0149
000000e1: EQ
000000e2: PUSH2 0x06a5
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x56e9ec88
000000ec: EQ
000000ed: PUSH2 0x06e8
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x5c239e58
000000f7: EQ
000000f8: PUSH2 0x075d
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x5c975abb
00000102: EQ
00000103: PUSH2 0x0794
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x6352211e
0000010d: EQ
0000010e: PUSH2 0x07c3
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x65f1f8b9
00000118: EQ
00000119: PUSH2 0x0830
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0x6af04a57
00000123: EQ
00000124: PUSH2 0x0887
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0x70a08231
0000012e: EQ
0000012f: PUSH2 0x08de
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0x70d19a43
00000139: EQ
0000013a: PUSH2 0x0935
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0x70de1e30
00000144: EQ
00000145: PUSH2 0x0962
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0x7354eb04
0000014f: EQ
00000150: PUSH2 0x09b8
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0x757de573
0000015a: EQ
0000015b: PUSH2 0x0a0f
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x7a1a7e7f
00000165: EQ
00000166: PUSH2 0x0a3c
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x80dceec4
00000170: EQ
00000171: PUSH2 0x0a69
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x83b5ff8b
0000017b: EQ
0000017c: PUSH2 0x0a96
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x8456cb59
00000186: EQ
00000187: PUSH2 0x0ac1
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x88072700
00000191: EQ
00000192: PUSH2 0x0ad8
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0x8da5cb5b
0000019c: EQ
0000019d: PUSH2 0x0b45
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x92647eab
000001a7: EQ
000001a8: PUSH2 0x0b9c
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x95d89b41
000001b2: EQ
000001b3: PUSH2 0x0bdd
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0xa7e47920
000001bd: EQ
000001be: PUSH2 0x0c6d
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0xa9059cbb
000001c8: EQ
000001c9: PUSH2 0x0cd4
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0xb86c49e1
000001d3: EQ
000001d4: PUSH2 0x0d21
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0xbfb231d2
000001de: EQ
000001df: PUSH2 0x0d95
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0xc7b0fc5e
000001e9: EQ
000001ea: PUSH2 0x0df7
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0xda76d5cd
000001f4: EQ
000001f5: PUSH2 0x0e3c
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0xf0794ca6
000001ff: EQ
00000200: PUSH2 0x0e69
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0xf2fde38b
0000020a: EQ
0000020b: PUSH2 0x0ed6
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0xfe9b1a89
00000215: EQ
00000216: PUSH2 0x0f19
00000219: JUMPI
0000021a: JUMPDEST
0000021b: PUSH1 0x00
0000021d: DUP1
0000021e: REVERT
0000021f: JUMPDEST
00000220: CALLVALUE
00000221: DUP1
00000222: ISZERO
00000223: PUSH2 0x022b
00000226: JUMPI
00000227: PUSH1 0x00
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: POP
0000022d: PUSH2 0x024a
00000230: PUSH1 0x04
00000232: DUP1
00000233: CALLDATASIZE
00000234: SUB
00000235: DUP2
00000236: ADD
00000237: SWAP1
00000238: DUP1
00000239: DUP1
0000023a: CALLDATALOAD
0000023b: SWAP1
0000023c: PUSH1 0x20
0000023e: ADD
0000023f: SWAP1
00000240: SWAP3
00000241: SWAP2
00000242: SWAP1
00000243: POP
00000244: POP
00000245: POP
00000246: PUSH2 0x0f86
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH1 0x40
0000024d: MLOAD
0000024e: DUP1
0000024f: DUP3
00000250: DUP2
00000251: MSTORE
00000252: PUSH1 0x20
00000254: ADD
00000255: SWAP2
00000256: POP
00000257: POP
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: DUP1
0000025c: SWAP2
0000025d: SUB
0000025e: SWAP1
0000025f: RETURN
00000260: JUMPDEST
00000261: CALLVALUE
00000262: DUP1
00000263: ISZERO
00000264: PUSH2 0x026c
00000267: JUMPI
00000268: PUSH1 0x00
0000026a: DUP1
0000026b: REVERT
0000026c: JUMPDEST
0000026d: POP
0000026e: PUSH2 0x02aa
00000271: PUSH1 0x04
00000273: DUP1
00000274: CALLDATASIZE
00000275: SUB
00000276: DUP2
00000277: ADD
00000278: SWAP1
00000279: DUP1
0000027a: DUP1
0000027b: CALLDATALOAD
0000027c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000299: NOT
0000029a: AND
0000029b: SWAP1
0000029c: PUSH1 0x20
0000029e: ADD
0000029f: SWAP1
000002a0: SWAP3
000002a1: SWAP2
000002a2: SWAP1
000002a3: POP
000002a4: POP
000002a5: POP
000002a6: PUSH2 0x0fa3
000002a9: JUMP
000002aa: JUMPDEST
000002ab: PUSH1 0x40
000002ad: MLOAD
000002ae: DUP1
000002af: DUP3
000002b0: ISZERO
000002b1: ISZERO
000002b2: ISZERO
000002b3: ISZERO
000002b4: DUP2
000002b5: MSTORE
000002b6: PUSH1 0x20
000002b8: ADD
000002b9: SWAP2
000002ba: POP
000002bb: POP
000002bc: PUSH1 0x40
000002be: MLOAD
000002bf: DUP1
000002c0: SWAP2
000002c1: SUB
000002c2: SWAP1
000002c3: RETURN
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: DUP1
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH2 0x02d9
000002d5: PUSH2 0x1246
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH1 0x40
000002dc: MLOAD
000002dd: DUP1
000002de: DUP1
000002df: PUSH1 0x20
000002e1: ADD
000002e2: DUP3
000002e3: DUP2
000002e4: SUB
000002e5: DUP3
000002e6: MSTORE
000002e7: DUP4
000002e8: DUP2
000002e9: DUP2
000002ea: MLOAD
000002eb: DUP2
000002ec: MSTORE
000002ed: PUSH1 0x20
000002ef: ADD
000002f0: SWAP2
000002f1: POP
000002f2: DUP1
000002f3: MLOAD
000002f4: SWAP1
000002f5: PUSH1 0x20
000002f7: ADD
000002f8: SWAP1
000002f9: DUP1
000002fa: DUP4
000002fb: DUP4
000002fc: PUSH1 0x00
000002fe: JUMPDEST
000002ff: DUP4
00000300: DUP2
00000301: LT
00000302: ISZERO
00000303: PUSH2 0x0319
00000306: JUMPI
00000307: DUP1
00000308: DUP3
00000309: ADD
0000030a: MLOAD
0000030b: DUP2
0000030c: DUP5
0000030d: ADD
0000030e: MSTORE
0000030f: PUSH1 0x20
00000311: DUP2
00000312: ADD
00000313: SWAP1
00000314: POP
00000315: PUSH2 0x02fe
00000318: JUMP
00000319: JUMPDEST
0000031a: POP
0000031b: POP
0000031c: POP
0000031d: POP
0000031e: SWAP1
0000031f: POP
00000320: SWAP1
00000321: DUP2
00000322: ADD
00000323: SWAP1
00000324: PUSH1 0x1f
00000326: AND
00000327: DUP1
00000328: ISZERO
00000329: PUSH2 0x0346
0000032c: JUMPI
0000032d: DUP1
0000032e: DUP3
0000032f: SUB
00000330: DUP1
00000331: MLOAD
00000332: PUSH1 0x01
00000334: DUP4
00000335: PUSH1 0x20
00000337: SUB
00000338: PUSH2 0x0100
0000033b: EXP
0000033c: SUB
0000033d: NOT
0000033e: AND
0000033f: DUP2
00000340: MSTORE
00000341: PUSH1 0x20
00000343: ADD
00000344: SWAP2
00000345: POP
00000346: JUMPDEST
00000347: POP
00000348: SWAP3
00000349: POP
0000034a: POP
0000034b: POP
0000034c: PUSH1 0x40
0000034e: MLOAD
0000034f: DUP1
00000350: SWAP2
00000351: SUB
00000352: SWAP1
00000353: RETURN
00000354: JUMPDEST
00000355: CALLVALUE
00000356: DUP1
00000357: ISZERO
00000358: PUSH2 0x0360
0000035b: JUMPI
0000035c: PUSH1 0x00
0000035e: DUP1
0000035f: REVERT
00000360: JUMPDEST
00000361: POP
00000362: PUSH2 0x039f
00000365: PUSH1 0x04
00000367: DUP1
00000368: CALLDATASIZE
00000369: SUB
0000036a: DUP2
0000036b: ADD
0000036c: SWAP1
0000036d: DUP1
0000036e: DUP1
0000036f: CALLDATALOAD
00000370: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000385: AND
00000386: SWAP1
00000387: PUSH1 0x20
00000389: ADD
0000038a: SWAP1
0000038b: SWAP3
0000038c: SWAP2
0000038d: SWAP1
0000038e: DUP1
0000038f: CALLDATALOAD
00000390: SWAP1
00000391: PUSH1 0x20
00000393: ADD
00000394: SWAP1
00000395: SWAP3
00000396: SWAP2
00000397: SWAP1
00000398: POP
00000399: POP
0000039a: POP
0000039b: PUSH2 0x127f
0000039e: JUMP
0000039f: JUMPDEST
000003a0: STOP
000003a1: JUMPDEST
000003a2: CALLVALUE
000003a3: DUP1
000003a4: ISZERO
000003a5: PUSH2 0x03ad
000003a8: JUMPI
000003a9: PUSH1 0x00
000003ab: DUP1
000003ac: REVERT
000003ad: JUMPDEST
000003ae: POP
000003af: PUSH2 0x03cc
000003b2: PUSH1 0x04
000003b4: DUP1
000003b5: CALLDATASIZE
000003b6: SUB
000003b7: DUP2
000003b8: ADD
000003b9: SWAP1
000003ba: DUP1
000003bb: DUP1
000003bc: CALLDATALOAD
000003bd: SWAP1
000003be: PUSH1 0x20
000003c0: ADD
000003c1: SWAP1
000003c2: SWAP3
000003c3: SWAP2
000003c4: SWAP1
000003c5: POP
000003c6: POP
000003c7: POP
000003c8: PUSH2 0x1323
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH1 0x40
000003cf: MLOAD
000003d0: DUP1
000003d1: DUP3
000003d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e7: AND
000003e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003fd: AND
000003fe: DUP2
000003ff: MSTORE
00000400: PUSH1 0x20
00000402: ADD
00000403: SWAP2
00000404: POP
00000405: POP
00000406: PUSH1 0x40
00000408: MLOAD
00000409: DUP1
0000040a: SWAP2
0000040b: SUB
0000040c: SWAP1
0000040d: RETURN
0000040e: JUMPDEST
0000040f: CALLVALUE
00000410: DUP1
00000411: ISZERO
00000412: PUSH2 0x041a
00000415: JUMPI
00000416: PUSH1 0x00
00000418: DUP1
00000419: REVERT
0000041a: JUMPDEST
0000041b: POP
0000041c: PUSH2 0x0443
0000041f: PUSH1 0x04
00000421: DUP1
00000422: CALLDATASIZE
00000423: SUB
00000424: DUP2
00000425: ADD
00000426: SWAP1
00000427: DUP1
00000428: DUP1
00000429: CALLDATALOAD
0000042a: SWAP1
0000042b: PUSH1 0x20
0000042d: ADD
0000042e: SWAP1
0000042f: SWAP3
00000430: SWAP2
00000431: SWAP1
00000432: DUP1
00000433: CALLDATALOAD
00000434: SWAP1
00000435: PUSH1 0x20
00000437: ADD
00000438: SWAP1
00000439: SWAP3
0000043a: SWAP2
0000043b: SWAP1
0000043c: POP
0000043d: POP
0000043e: POP
0000043f: PUSH2 0x136d
00000442: JUMP
00000443: JUMPDEST
00000444: PUSH1 0x40
00000446: MLOAD
00000447: DUP1
00000448: DUP3
00000449: DUP2
0000044a: MSTORE
0000044b: PUSH1 0x20
0000044d: ADD
0000044e: SWAP2
0000044f: POP
00000450: POP
00000451: PUSH1 0x40
00000453: MLOAD
00000454: DUP1
00000455: SWAP2
00000456: SUB
00000457: SWAP1
00000458: RETURN
00000459: JUMPDEST
0000045a: CALLVALUE
0000045b: DUP1
0000045c: ISZERO
0000045d: PUSH2 0x0465
00000460: JUMPI
00000461: PUSH1 0x00
00000463: DUP1
00000464: REVERT
00000465: JUMPDEST
00000466: POP
00000467: PUSH2 0x046e
0000046a: PUSH2 0x1398
0000046d: JUMP
0000046e: JUMPDEST
0000046f: PUSH1 0x40
00000471: MLOAD
00000472: DUP1
00000473: DUP3
00000474: DUP2
00000475: MSTORE
00000476: PUSH1 0x20
00000478: ADD
00000479: SWAP2
0000047a: POP
0000047b: POP
0000047c: PUSH1 0x40
0000047e: MLOAD
0000047f: DUP1
00000480: SWAP2
00000481: SUB
00000482: SWAP1
00000483: RETURN
00000484: JUMPDEST
00000485: CALLVALUE
00000486: DUP1
00000487: ISZERO
00000488: PUSH2 0x0490
0000048b: JUMPI
0000048c: PUSH1 0x00
0000048e: DUP1
0000048f: REVERT
00000490: JUMPDEST
00000491: POP
00000492: PUSH2 0x0499
00000495: PUSH2 0x139e
00000498: JUMP
00000499: JUMPDEST
0000049a: PUSH1 0x40
0000049c: MLOAD
0000049d: DUP1
0000049e: DUP3
0000049f: DUP2
000004a0: MSTORE
000004a1: PUSH1 0x20
000004a3: ADD
000004a4: SWAP2
000004a5: POP
000004a6: POP
000004a7: PUSH1 0x40
000004a9: MLOAD
000004aa: DUP1
000004ab: SWAP2
000004ac: SUB
000004ad: SWAP1
000004ae: RETURN
000004af: JUMPDEST
000004b0: PUSH2 0x04ef
000004b3: PUSH1 0x04
000004b5: DUP1
000004b6: CALLDATASIZE
000004b7: SUB
000004b8: DUP2
000004b9: ADD
000004ba: SWAP1
000004bb: DUP1
000004bc: DUP1
000004bd: CALLDATALOAD
000004be: SWAP1
000004bf: PUSH1 0x20
000004c1: ADD
000004c2: SWAP1
000004c3: SWAP3
000004c4: SWAP2
000004c5: SWAP1
000004c6: DUP1
000004c7: CALLDATALOAD
000004c8: SWAP1
000004c9: PUSH1 0x20
000004cb: ADD
000004cc: SWAP1
000004cd: SWAP3
000004ce: SWAP2
000004cf: SWAP1
000004d0: DUP1
000004d1: CALLDATALOAD
000004d2: SWAP1
000004d3: PUSH1 0x20
000004d5: ADD
000004d6: SWAP1
000004d7: DUP3
000004d8: ADD
000004d9: DUP1
000004da: CALLDATALOAD
000004db: SWAP1
000004dc: PUSH1 0x20
000004de: ADD
000004df: SWAP2
000004e0: SWAP1
000004e1: SWAP2
000004e2: SWAP3
000004e3: SWAP4
000004e4: SWAP2
000004e5: SWAP3
000004e6: SWAP4
000004e7: SWAP1
000004e8: POP
000004e9: POP
000004ea: POP
000004eb: PUSH2 0x13ae
000004ee: JUMP
000004ef: JUMPDEST
000004f0: PUSH1 0x40
000004f2: MLOAD
000004f3: DUP1
000004f4: DUP3
000004f5: ISZERO
000004f6: ISZERO
000004f7: ISZERO
000004f8: ISZERO
000004f9: DUP2
000004fa: MSTORE
000004fb: PUSH1 0x20
000004fd: ADD
000004fe: SWAP2
000004ff: POP
00000500: POP
00000501: PUSH1 0x40
00000503: MLOAD
00000504: DUP1
00000505: SWAP2
00000506: SUB
00000507: SWAP1
00000508: RETURN
00000509: JUMPDEST
0000050a: PUSH2 0x0527
0000050d: PUSH1 0x04
0000050f: DUP1
00000510: CALLDATASIZE
00000511: SUB
00000512: DUP2
00000513: ADD
00000514: SWAP1
00000515: DUP1
00000516: DUP1
00000517: CALLDATALOAD
00000518: SWAP1
00000519: PUSH1 0x20
0000051b: ADD
0000051c: SWAP1
0000051d: SWAP3
0000051e: SWAP2
0000051f: SWAP1
00000520: POP
00000521: POP
00000522: POP
00000523: PUSH2 0x16c1
00000526: JUMP
00000527: JUMPDEST
00000528: STOP
00000529: JUMPDEST
0000052a: CALLVALUE
0000052b: DUP1
0000052c: ISZERO
0000052d: PUSH2 0x0535
00000530: JUMPI
00000531: PUSH1 0x00
00000533: DUP1
00000534: REVERT
00000535: JUMPDEST
00000536: POP
00000537: PUSH2 0x053e
0000053a: PUSH2 0x193f
0000053d: JUMP
0000053e: JUMPDEST
0000053f: PUSH1 0x40
00000541: MLOAD
00000542: DUP1
00000543: DUP3
00000544: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000559: AND
0000055a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000056f: AND
00000570: DUP2
00000571: MSTORE
00000572: PUSH1 0x20
00000574: ADD
00000575: SWAP2
00000576: POP
00000577: POP
00000578: PUSH1 0x40
0000057a: MLOAD
0000057b: DUP1
0000057c: SWAP2
0000057d: SUB
0000057e: SWAP1
0000057f: RETURN
00000580: JUMPDEST
00000581: CALLVALUE
00000582: DUP1
00000583: ISZERO
00000584: PUSH2 0x058c
00000587: JUMPI
00000588: PUSH1 0x00
0000058a: DUP1
0000058b: REVERT
0000058c: JUMPDEST
0000058d: POP
0000058e: PUSH2 0x05eb
00000591: PUSH1 0x04
00000593: DUP1
00000594: CALLDATASIZE
00000595: SUB
00000596: DUP2
00000597: ADD
00000598: SWAP1
00000599: DUP1
0000059a: DUP1
0000059b: CALLDATALOAD
0000059c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b1: AND
000005b2: SWAP1
000005b3: PUSH1 0x20
000005b5: ADD
000005b6: SWAP1
000005b7: SWAP3
000005b8: SWAP2
000005b9: SWAP1
000005ba: DUP1
000005bb: CALLDATALOAD
000005bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d1: AND
000005d2: SWAP1
000005d3: PUSH1 0x20
000005d5: ADD
000005d6: SWAP1
000005d7: SWAP3
000005d8: SWAP2
000005d9: SWAP1
000005da: DUP1
000005db: CALLDATALOAD
000005dc: SWAP1
000005dd: PUSH1 0x20
000005df: ADD
000005e0: SWAP1
000005e1: SWAP3
000005e2: SWAP2
000005e3: SWAP1
000005e4: POP
000005e5: POP
000005e6: POP
000005e7: PUSH2 0x19c4
000005ea: JUMP
000005eb: JUMPDEST
000005ec: STOP
000005ed: JUMPDEST
000005ee: CALLVALUE
000005ef: DUP1
000005f0: ISZERO
000005f1: PUSH2 0x05f9
000005f4: JUMPI
000005f5: PUSH1 0x00
000005f7: DUP1
000005f8: REVERT
000005f9: JUMPDEST
000005fa: POP
000005fb: PUSH2 0x0622
000005fe: PUSH1 0x04
00000600: DUP1
00000601: CALLDATASIZE
00000602: SUB
00000603: DUP2
00000604: ADD
00000605: SWAP1
00000606: DUP1
00000607: DUP1
00000608: CALLDATALOAD
00000609: SWAP1
0000060a: PUSH1 0x20
0000060c: ADD
0000060d: SWAP1
0000060e: SWAP3
0000060f: SWAP2
00000610: SWAP1
00000611: DUP1
00000612: CALLDATALOAD
00000613: SWAP1
00000614: PUSH1 0x20
00000616: ADD
00000617: SWAP1
00000618: SWAP3
00000619: SWAP2
0000061a: SWAP1
0000061b: POP
0000061c: POP
0000061d: POP
0000061e: PUSH2 0x1a56
00000621: JUMP
00000622: JUMPDEST
00000623: PUSH1 0x40
00000625: MLOAD
00000626: DUP1
00000627: DUP3
00000628: DUP2
00000629: MSTORE
0000062a: PUSH1 0x20
0000062c: ADD
0000062d: SWAP2
0000062e: POP
0000062f: POP
00000630: PUSH1 0x40
00000632: MLOAD
00000633: DUP1
00000634: SWAP2
00000635: SUB
00000636: SWAP1
00000637: RETURN
00000638: JUMPDEST
00000639: CALLVALUE
0000063a: DUP1
0000063b: ISZERO
0000063c: PUSH2 0x0644
0000063f: JUMPI
00000640: PUSH1 0x00
00000642: DUP1
00000643: REVERT
00000644: JUMPDEST
00000645: POP
00000646: PUSH2 0x0663
00000649: PUSH1 0x04
0000064b: DUP1
0000064c: CALLDATASIZE
0000064d: SUB
0000064e: DUP2
0000064f: ADD
00000650: SWAP1
00000651: DUP1
00000652: DUP1
00000653: CALLDATALOAD
00000654: SWAP1
00000655: PUSH1 0x20
00000657: ADD
00000658: SWAP1
00000659: SWAP3
0000065a: SWAP2
0000065b: SWAP1
0000065c: POP
0000065d: POP
0000065e: POP
0000065f: PUSH2 0x1aaa
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH1 0x40
00000666: MLOAD
00000667: DUP1
00000668: DUP6
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH1 0x20
0000066d: ADD
0000066e: DUP5
0000066f: DUP2
00000670: MSTORE
00000671: PUSH1 0x20
00000673: ADD
00000674: DUP4
00000675: DUP2
00000676: MSTORE
00000677: PUSH1 0x20
00000679: ADD
0000067a: DUP3
0000067b: DUP2
0000067c: MSTORE
0000067d: PUSH1 0x20
0000067f: ADD
00000680: SWAP5
00000681: POP
00000682: POP
00000683: POP
00000684: POP
00000685: POP
00000686: PUSH1 0x40
00000688: MLOAD
00000689: DUP1
0000068a: SWAP2
0000068b: SUB
0000068c: SWAP1
0000068d: RETURN
0000068e: JUMPDEST
0000068f: CALLVALUE
00000690: DUP1
00000691: ISZERO
00000692: PUSH2 0x069a
00000695: JUMPI
00000696: PUSH1 0x00
00000698: DUP1
00000699: REVERT
0000069a: JUMPDEST
0000069b: POP
0000069c: PUSH2 0x06a3
0000069f: PUSH2 0x1b5b
000006a2: JUMP
000006a3: JUMPDEST
000006a4: STOP
000006a5: JUMPDEST
000006a6: CALLVALUE
000006a7: DUP1
000006a8: ISZERO
000006a9: PUSH2 0x06b1
000006ac: JUMPI
000006ad: PUSH1 0x00
000006af: DUP1
000006b0: REVERT
000006b1: JUMPDEST
000006b2: POP
000006b3: PUSH2 0x06e6
000006b6: PUSH1 0x04
000006b8: DUP1
000006b9: CALLDATASIZE
000006ba: SUB
000006bb: DUP2
000006bc: ADD
000006bd: SWAP1
000006be: DUP1
000006bf: DUP1
000006c0: CALLDATALOAD
000006c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d6: AND
000006d7: SWAP1
000006d8: PUSH1 0x20
000006da: ADD
000006db: SWAP1
000006dc: SWAP3
000006dd: SWAP2
000006de: SWAP1
000006df: POP
000006e0: POP
000006e1: POP
000006e2: PUSH2 0x1c38
000006e5: JUMP
000006e6: JUMPDEST
000006e7: STOP
000006e8: JUMPDEST
000006e9: CALLVALUE
000006ea: DUP1
000006eb: ISZERO
000006ec: PUSH2 0x06f4
000006ef: JUMPI
000006f0: PUSH1 0x00
000006f2: DUP1
000006f3: REVERT
000006f4: JUMPDEST
000006f5: POP
000006f6: PUSH2 0x0743
000006f9: PUSH1 0x04
000006fb: DUP1
000006fc: CALLDATASIZE
000006fd: SUB
000006fe: DUP2
000006ff: ADD
00000700: SWAP1
00000701: DUP1
00000702: DUP1
00000703: CALLDATALOAD
00000704: SWAP1
00000705: PUSH1 0x20
00000707: ADD
00000708: SWAP1
00000709: DUP3
0000070a: ADD
0000070b: DUP1
0000070c: CALLDATALOAD
0000070d: SWAP1
0000070e: PUSH1 0x20
00000710: ADD
00000711: SWAP2
00000712: SWAP1
00000713: SWAP2
00000714: SWAP3
00000715: SWAP4
00000716: SWAP2
00000717: SWAP3
00000718: SWAP4
00000719: SWAP1
0000071a: DUP1
0000071b: CALLDATALOAD
0000071c: SWAP1
0000071d: PUSH1 0x20
0000071f: ADD
00000720: SWAP1
00000721: DUP3
00000722: ADD
00000723: DUP1
00000724: CALLDATALOAD
00000725: SWAP1
00000726: PUSH1 0x20
00000728: ADD
00000729: SWAP2
0000072a: SWAP1
0000072b: SWAP2
0000072c: SWAP3
0000072d: SWAP4
0000072e: SWAP2
0000072f: SWAP3
00000730: SWAP4
00000731: SWAP1
00000732: DUP1
00000733: CALLDATALOAD
00000734: SWAP1
00000735: PUSH1 0x20
00000737: ADD
00000738: SWAP1
00000739: SWAP3
0000073a: SWAP2
0000073b: SWAP1
0000073c: POP
0000073d: POP
0000073e: POP
0000073f: PUSH2 0x1d3a
00000742: JUMP
00000743: JUMPDEST
00000744: PUSH1 0x40
00000746: MLOAD
00000747: DUP1
00000748: DUP3
00000749: ISZERO
0000074a: ISZERO
0000074b: ISZERO
0000074c: ISZERO
0000074d: DUP2
0000074e: MSTORE
0000074f: PUSH1 0x20
00000751: ADD
00000752: SWAP2
00000753: POP
00000754: POP
00000755: PUSH1 0x40
00000757: MLOAD
00000758: DUP1
00000759: SWAP2
0000075a: SUB
0000075b: SWAP1
0000075c: RETURN
0000075d: JUMPDEST
0000075e: CALLVALUE
0000075f: DUP1
00000760: ISZERO
00000761: PUSH2 0x0769
00000764: JUMPI
00000765: PUSH1 0x00
00000767: DUP1
00000768: REVERT
00000769: JUMPDEST
0000076a: POP
0000076b: PUSH2 0x0792
0000076e: PUSH1 0x04
00000770: DUP1
00000771: CALLDATASIZE
00000772: SUB
00000773: DUP2
00000774: ADD
00000775: SWAP1
00000776: DUP1
00000777: DUP1
00000778: CALLDATALOAD
00000779: SWAP1
0000077a: PUSH1 0x20
0000077c: ADD
0000077d: SWAP1
0000077e: SWAP3
0000077f: SWAP2
00000780: SWAP1
00000781: DUP1
00000782: CALLDATALOAD
00000783: SWAP1
00000784: PUSH1 0x20
00000786: ADD
00000787: SWAP1
00000788: SWAP3
00000789: SWAP2
0000078a: SWAP1
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: PUSH2 0x227c
00000791: JUMP
00000792: JUMPDEST
00000793: STOP
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 0x07a9
000007a5: PUSH2 0x2440
000007a8: JUMP
000007a9: JUMPDEST
000007aa: PUSH1 0x40
000007ac: MLOAD
000007ad: DUP1
000007ae: DUP3
000007af: ISZERO
000007b0: ISZERO
000007b1: ISZERO
000007b2: ISZERO
000007b3: DUP2
000007b4: MSTORE
000007b5: PUSH1 0x20
000007b7: ADD
000007b8: SWAP2
000007b9: POP
000007ba: POP
000007bb: PUSH1 0x40
000007bd: MLOAD
000007be: DUP1
000007bf: SWAP2
000007c0: SUB
000007c1: SWAP1
000007c2: RETURN
000007c3: JUMPDEST
000007c4: CALLVALUE
000007c5: DUP1
000007c6: ISZERO
000007c7: PUSH2 0x07cf
000007ca: JUMPI
000007cb: PUSH1 0x00
000007cd: DUP1
000007ce: REVERT
000007cf: JUMPDEST
000007d0: POP
000007d1: PUSH2 0x07ee
000007d4: PUSH1 0x04
000007d6: DUP1
000007d7: CALLDATASIZE
000007d8: SUB
000007d9: DUP2
000007da: ADD
000007db: SWAP1
000007dc: DUP1
000007dd: DUP1
000007de: CALLDATALOAD
000007df: SWAP1
000007e0: PUSH1 0x20
000007e2: ADD
000007e3: SWAP1
000007e4: SWAP3
000007e5: SWAP2
000007e6: SWAP1
000007e7: POP
000007e8: POP
000007e9: POP
000007ea: PUSH2 0x2453
000007ed: JUMP
000007ee: JUMPDEST
000007ef: PUSH1 0x40
000007f1: MLOAD
000007f2: DUP1
000007f3: DUP3
000007f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000809: AND
0000080a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000081f: AND
00000820: DUP2
00000821: MSTORE
00000822: PUSH1 0x20
00000824: ADD
00000825: SWAP2
00000826: POP
00000827: POP
00000828: PUSH1 0x40
0000082a: MLOAD
0000082b: DUP1
0000082c: SWAP2
0000082d: SUB
0000082e: SWAP1
0000082f: RETURN
00000830: JUMPDEST
00000831: CALLVALUE
00000832: DUP1
00000833: ISZERO
00000834: PUSH2 0x083c
00000837: JUMPI
00000838: PUSH1 0x00
0000083a: DUP1
0000083b: REVERT
0000083c: JUMPDEST
0000083d: POP
0000083e: PUSH2 0x0871
00000841: PUSH1 0x04
00000843: DUP1
00000844: CALLDATASIZE
00000845: SUB
00000846: DUP2
00000847: ADD
00000848: SWAP1
00000849: DUP1
0000084a: DUP1
0000084b: CALLDATALOAD
0000084c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000861: AND
00000862: SWAP1
00000863: PUSH1 0x20
00000865: ADD
00000866: SWAP1
00000867: SWAP3
00000868: SWAP2
00000869: SWAP1
0000086a: POP
0000086b: POP
0000086c: POP
0000086d: PUSH2 0x24cc
00000870: JUMP
00000871: JUMPDEST
00000872: PUSH1 0x40
00000874: MLOAD
00000875: DUP1
00000876: DUP3
00000877: DUP2
00000878: MSTORE
00000879: PUSH1 0x20
0000087b: ADD
0000087c: SWAP2
0000087d: POP
0000087e: POP
0000087f: PUSH1 0x40
00000881: MLOAD
00000882: DUP1
00000883: SWAP2
00000884: SUB
00000885: SWAP1
00000886: RETURN
00000887: JUMPDEST
00000888: CALLVALUE
00000889: DUP1
0000088a: ISZERO
0000088b: PUSH2 0x0893
0000088e: JUMPI
0000088f: PUSH1 0x00
00000891: DUP1
00000892: REVERT
00000893: JUMPDEST
00000894: POP
00000895: PUSH2 0x089c
00000898: PUSH2 0x24e4
0000089b: JUMP
0000089c: JUMPDEST
0000089d: PUSH1 0x40
0000089f: MLOAD
000008a0: DUP1
000008a1: DUP3
000008a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b7: AND
000008b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cd: AND
000008ce: DUP2
000008cf: MSTORE
000008d0: PUSH1 0x20
000008d2: ADD
000008d3: SWAP2
000008d4: POP
000008d5: POP
000008d6: PUSH1 0x40
000008d8: MLOAD
000008d9: DUP1
000008da: SWAP2
000008db: SUB
000008dc: SWAP1
000008dd: RETURN
000008de: JUMPDEST
000008df: CALLVALUE
000008e0: DUP1
000008e1: ISZERO
000008e2: PUSH2 0x08ea
000008e5: JUMPI
000008e6: PUSH1 0x00
000008e8: DUP1
000008e9: REVERT
000008ea: JUMPDEST
000008eb: POP
000008ec: PUSH2 0x091f
000008ef: PUSH1 0x04
000008f1: DUP1
000008f2: CALLDATASIZE
000008f3: SUB
000008f4: DUP2
000008f5: ADD
000008f6: SWAP1
000008f7: DUP1
000008f8: DUP1
000008f9: CALLDATALOAD
000008fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000090f: AND
00000910: SWAP1
00000911: PUSH1 0x20
00000913: ADD
00000914: SWAP1
00000915: SWAP3
00000916: SWAP2
00000917: SWAP1
00000918: POP
00000919: POP
0000091a: POP
0000091b: PUSH2 0x250a
0000091e: JUMP
0000091f: JUMPDEST
00000920: PUSH1 0x40
00000922: MLOAD
00000923: DUP1
00000924: DUP3
00000925: DUP2
00000926: MSTORE
00000927: PUSH1 0x20
00000929: ADD
0000092a: SWAP2
0000092b: POP
0000092c: POP
0000092d: PUSH1 0x40
0000092f: MLOAD
00000930: DUP1
00000931: SWAP2
00000932: SUB
00000933: SWAP1
00000934: RETURN
00000935: JUMPDEST
00000936: CALLVALUE
00000937: DUP1
00000938: ISZERO
00000939: PUSH2 0x0941
0000093c: JUMPI
0000093d: PUSH1 0x00
0000093f: DUP1
00000940: REVERT
00000941: JUMPDEST
00000942: POP
00000943: PUSH2 0x0960
00000946: PUSH1 0x04
00000948: DUP1
00000949: CALLDATASIZE
0000094a: SUB
0000094b: DUP2
0000094c: ADD
0000094d: SWAP1
0000094e: DUP1
0000094f: DUP1
00000950: CALLDATALOAD
00000951: SWAP1
00000952: PUSH1 0x20
00000954: ADD
00000955: SWAP1
00000956: SWAP3
00000957: SWAP2
00000958: SWAP1
00000959: POP
0000095a: POP
0000095b: POP
0000095c: PUSH2 0x2553
0000095f: JUMP
00000960: JUMPDEST
00000961: STOP
00000962: JUMPDEST
00000963: CALLVALUE
00000964: DUP1
00000965: ISZERO
00000966: PUSH2 0x096e
00000969: JUMPI
0000096a: PUSH1 0x00
0000096c: DUP1
0000096d: REVERT
0000096e: JUMPDEST
0000096f: POP
00000970: PUSH2 0x098d
00000973: PUSH1 0x04
00000975: DUP1
00000976: CALLDATASIZE
00000977: SUB
00000978: DUP2
00000979: ADD
0000097a: SWAP1
0000097b: DUP1
0000097c: DUP1
0000097d: CALLDATALOAD
0000097e: SWAP1
0000097f: PUSH1 0x20
00000981: ADD
00000982: SWAP1
00000983: SWAP3
00000984: SWAP2
00000985: SWAP1
00000986: POP
00000987: POP
00000988: POP
00000989: PUSH2 0x26af
0000098c: JUMP
0000098d: JUMPDEST
0000098e: PUSH1 0x40
00000990: MLOAD
00000991: DUP1
00000992: DUP6
00000993: DUP2
00000994: MSTORE
00000995: PUSH1 0x20
00000997: ADD
00000998: DUP5
00000999: DUP2
0000099a: MSTORE
0000099b: PUSH1 0x20
0000099d: ADD
0000099e: DUP4
0000099f: DUP2
000009a0: MSTORE
000009a1: PUSH1 0x20
000009a3: ADD
000009a4: DUP3
000009a5: DUP2
000009a6: MSTORE
000009a7: PUSH1 0x20
000009a9: ADD
000009aa: SWAP5
000009ab: POP
000009ac: POP
000009ad: POP
000009ae: POP
000009af: POP
000009b0: PUSH1 0x40
000009b2: MLOAD
000009b3: DUP1
000009b4: SWAP2
000009b5: SUB
000009b6: SWAP1
000009b7: RETURN
000009b8: JUMPDEST
000009b9: CALLVALUE
000009ba: DUP1
000009bb: ISZERO
000009bc: PUSH2 0x09c4
000009bf: JUMPI
000009c0: PUSH1 0x00
000009c2: DUP1
000009c3: REVERT
000009c4: JUMPDEST
000009c5: POP
000009c6: PUSH2 0x09cd
000009c9: PUSH2 0x2768
000009cc: JUMP
000009cd: JUMPDEST
000009ce: PUSH1 0x40
000009d0: MLOAD
000009d1: DUP1
000009d2: DUP3
000009d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e8: AND
000009e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fe: AND
000009ff: DUP2
00000a00: MSTORE
00000a01: PUSH1 0x20
00000a03: ADD
00000a04: SWAP2
00000a05: POP
00000a06: POP
00000a07: PUSH1 0x40
00000a09: MLOAD
00000a0a: DUP1
00000a0b: SWAP2
00000a0c: SUB
00000a0d: SWAP1
00000a0e: RETURN
00000a0f: JUMPDEST
00000a10: CALLVALUE
00000a11: DUP1
00000a12: ISZERO
00000a13: PUSH2 0x0a1b
00000a16: JUMPI
00000a17: PUSH1 0x00
00000a19: DUP1
00000a1a: REVERT
00000a1b: JUMPDEST
00000a1c: POP
00000a1d: PUSH2 0x0a3a
00000a20: PUSH1 0x04
00000a22: DUP1
00000a23: CALLDATASIZE
00000a24: SUB
00000a25: DUP2
00000a26: ADD
00000a27: SWAP1
00000a28: DUP1
00000a29: DUP1
00000a2a: CALLDATALOAD
00000a2b: SWAP1
00000a2c: PUSH1 0x20
00000a2e: ADD
00000a2f: SWAP1
00000a30: SWAP3
00000a31: SWAP2
00000a32: SWAP1
00000a33: POP
00000a34: POP
00000a35: POP
00000a36: PUSH2 0x278e
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: STOP
00000a3c: JUMPDEST
00000a3d: CALLVALUE
00000a3e: DUP1
00000a3f: ISZERO
00000a40: PUSH2 0x0a48
00000a43: JUMPI
00000a44: PUSH1 0x00
00000a46: DUP1
00000a47: REVERT
00000a48: JUMPDEST
00000a49: POP
00000a4a: PUSH2 0x0a67
00000a4d: PUSH1 0x04
00000a4f: DUP1
00000a50: CALLDATASIZE
00000a51: SUB
00000a52: DUP2
00000a53: ADD
00000a54: SWAP1
00000a55: DUP1
00000a56: DUP1
00000a57: CALLDATALOAD
00000a58: SWAP1
00000a59: PUSH1 0x20
00000a5b: ADD
00000a5c: SWAP1
00000a5d: SWAP3
00000a5e: SWAP2
00000a5f: SWAP1
00000a60: POP
00000a61: POP
00000a62: POP
00000a63: PUSH2 0x2804
00000a66: JUMP
00000a67: JUMPDEST
00000a68: STOP
00000a69: JUMPDEST
00000a6a: CALLVALUE
00000a6b: DUP1
00000a6c: ISZERO
00000a6d: PUSH2 0x0a75
00000a70: JUMPI
00000a71: PUSH1 0x00
00000a73: DUP1
00000a74: REVERT
00000a75: JUMPDEST
00000a76: POP
00000a77: PUSH2 0x0a94
00000a7a: PUSH1 0x04
00000a7c: DUP1
00000a7d: CALLDATASIZE
00000a7e: SUB
00000a7f: DUP2
00000a80: ADD
00000a81: SWAP1
00000a82: DUP1
00000a83: DUP1
00000a84: CALLDATALOAD
00000a85: SWAP1
00000a86: PUSH1 0x20
00000a88: ADD
00000a89: SWAP1
00000a8a: SWAP3
00000a8b: SWAP2
00000a8c: SWAP1
00000a8d: POP
00000a8e: POP
00000a8f: POP
00000a90: PUSH2 0x2925
00000a93: JUMP
00000a94: JUMPDEST
00000a95: STOP
00000a96: JUMPDEST
00000a97: CALLVALUE
00000a98: DUP1
00000a99: ISZERO
00000a9a: PUSH2 0x0aa2
00000a9d: JUMPI
00000a9e: PUSH1 0x00
00000aa0: DUP1
00000aa1: REVERT
00000aa2: JUMPDEST
00000aa3: POP
00000aa4: PUSH2 0x0aab
00000aa7: PUSH2 0x298a
00000aaa: JUMP
00000aab: JUMPDEST
00000aac: PUSH1 0x40
00000aae: MLOAD
00000aaf: DUP1
00000ab0: DUP3
00000ab1: DUP2
00000ab2: MSTORE
00000ab3: PUSH1 0x20
00000ab5: ADD
00000ab6: SWAP2
00000ab7: POP
00000ab8: POP
00000ab9: PUSH1 0x40
00000abb: MLOAD
00000abc: DUP1
00000abd: SWAP2
00000abe: SUB
00000abf: SWAP1
00000ac0: RETURN
00000ac1: JUMPDEST
00000ac2: CALLVALUE
00000ac3: DUP1
00000ac4: ISZERO
00000ac5: PUSH2 0x0acd
00000ac8: JUMPI
00000ac9: PUSH1 0x00
00000acb: DUP1
00000acc: REVERT
00000acd: JUMPDEST
00000ace: POP
00000acf: PUSH2 0x0ad6
00000ad2: PUSH2 0x2990
00000ad5: JUMP
00000ad6: JUMPDEST
00000ad7: STOP
00000ad8: JUMPDEST
00000ad9: CALLVALUE
00000ada: DUP1
00000adb: ISZERO
00000adc: PUSH2 0x0ae4
00000adf: JUMPI
00000ae0: PUSH1 0x00
00000ae2: DUP1
00000ae3: REVERT
00000ae4: JUMPDEST
00000ae5: POP
00000ae6: PUSH2 0x0b03
00000ae9: PUSH1 0x04
00000aeb: DUP1
00000aec: CALLDATASIZE
00000aed: SUB
00000aee: DUP2
00000aef: ADD
00000af0: SWAP1
00000af1: DUP1
00000af2: DUP1
00000af3: CALLDATALOAD
00000af4: SWAP1
00000af5: PUSH1 0x20
00000af7: ADD
00000af8: SWAP1
00000af9: SWAP3
00000afa: SWAP2
00000afb: SWAP1
00000afc: POP
00000afd: POP
00000afe: POP
00000aff: PUSH2 0x2a50
00000b02: JUMP
00000b03: JUMPDEST
00000b04: PUSH1 0x40
00000b06: MLOAD
00000b07: DUP1
00000b08: DUP3
00000b09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1e: AND
00000b1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b34: AND
00000b35: DUP2
00000b36: MSTORE
00000b37: PUSH1 0x20
00000b39: ADD
00000b3a: SWAP2
00000b3b: POP
00000b3c: POP
00000b3d: PUSH1 0x40
00000b3f: MLOAD
00000b40: DUP1
00000b41: SWAP2
00000b42: SUB
00000b43: SWAP1
00000b44: RETURN
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 0x0b5a
00000b56: PUSH2 0x2a83
00000b59: JUMP
00000b5a: JUMPDEST
00000b5b: PUSH1 0x40
00000b5d: MLOAD
00000b5e: DUP1
00000b5f: DUP3
00000b60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b75: AND
00000b76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8b: AND
00000b8c: DUP2
00000b8d: MSTORE
00000b8e: PUSH1 0x20
00000b90: ADD
00000b91: SWAP2
00000b92: POP
00000b93: POP
00000b94: PUSH1 0x40
00000b96: MLOAD
00000b97: DUP1
00000b98: SWAP2
00000b99: SUB
00000b9a: SWAP1
00000b9b: RETURN
00000b9c: JUMPDEST
00000b9d: CALLVALUE
00000b9e: DUP1
00000b9f: ISZERO
00000ba0: PUSH2 0x0ba8
00000ba3: JUMPI
00000ba4: PUSH1 0x00
00000ba6: DUP1
00000ba7: REVERT
00000ba8: JUMPDEST
00000ba9: POP
00000baa: PUSH2 0x0bc7
00000bad: PUSH1 0x04
00000baf: DUP1
00000bb0: CALLDATASIZE
00000bb1: SUB
00000bb2: DUP2
00000bb3: ADD
00000bb4: SWAP1
00000bb5: DUP1
00000bb6: DUP1
00000bb7: CALLDATALOAD
00000bb8: SWAP1
00000bb9: PUSH1 0x20
00000bbb: ADD
00000bbc: SWAP1
00000bbd: SWAP3
00000bbe: SWAP2
00000bbf: SWAP1
00000bc0: POP
00000bc1: POP
00000bc2: POP
00000bc3: PUSH2 0x2aa8
00000bc6: JUMP
00000bc7: JUMPDEST
00000bc8: PUSH1 0x40
00000bca: MLOAD
00000bcb: DUP1
00000bcc: DUP3
00000bcd: DUP2
00000bce: MSTORE
00000bcf: PUSH1 0x20
00000bd1: ADD
00000bd2: SWAP2
00000bd3: POP
00000bd4: POP
00000bd5: PUSH1 0x40
00000bd7: MLOAD
00000bd8: DUP1
00000bd9: SWAP2
00000bda: SUB
00000bdb: SWAP1
00000bdc: RETURN
00000bdd: JUMPDEST
00000bde: CALLVALUE
00000bdf: DUP1
00000be0: ISZERO
00000be1: PUSH2 0x0be9
00000be4: JUMPI
00000be5: PUSH1 0x00
00000be7: DUP1
00000be8: REVERT
00000be9: JUMPDEST
00000bea: POP
00000beb: PUSH2 0x0bf2
00000bee: PUSH2 0x2ac0
00000bf1: JUMP
00000bf2: JUMPDEST
00000bf3: PUSH1 0x40
00000bf5: MLOAD
00000bf6: DUP1
00000bf7: DUP1
00000bf8: PUSH1 0x20
00000bfa: ADD
00000bfb: DUP3
00000bfc: DUP2
00000bfd: SUB
00000bfe: DUP3
00000bff: MSTORE
00000c00: DUP4
00000c01: DUP2
00000c02: DUP2
00000c03: MLOAD
00000c04: DUP2
00000c05: MSTORE
00000c06: PUSH1 0x20
00000c08: ADD
00000c09: SWAP2
00000c0a: POP
00000c0b: DUP1
00000c0c: MLOAD
00000c0d: SWAP1
00000c0e: PUSH1 0x20
00000c10: ADD
00000c11: SWAP1
00000c12: DUP1
00000c13: DUP4
00000c14: DUP4
00000c15: PUSH1 0x00
00000c17: JUMPDEST
00000c18: DUP4
00000c19: DUP2
00000c1a: LT
00000c1b: ISZERO
00000c1c: PUSH2 0x0c32
00000c1f: JUMPI
00000c20: DUP1
00000c21: DUP3
00000c22: ADD
00000c23: MLOAD
00000c24: DUP2
00000c25: DUP5
00000c26: ADD
00000c27: MSTORE
00000c28: PUSH1 0x20
00000c2a: DUP2
00000c2b: ADD
00000c2c: SWAP1
00000c2d: POP
00000c2e: PUSH2 0x0c17
00000c31: JUMP
00000c32: JUMPDEST
00000c33: POP
00000c34: POP
00000c35: POP
00000c36: POP
00000c37: SWAP1
00000c38: POP
00000c39: SWAP1
00000c3a: DUP2
00000c3b: ADD
00000c3c: SWAP1
00000c3d: PUSH1 0x1f
00000c3f: AND
00000c40: DUP1
00000c41: ISZERO
00000c42: PUSH2 0x0c5f
00000c45: JUMPI
00000c46: DUP1
00000c47: DUP3
00000c48: SUB
00000c49: DUP1
00000c4a: MLOAD
00000c4b: PUSH1 0x01
00000c4d: DUP4
00000c4e: PUSH1 0x20
00000c50: SUB
00000c51: PUSH2 0x0100
00000c54: EXP
00000c55: SUB
00000c56: NOT
00000c57: AND
00000c58: DUP2
00000c59: MSTORE
00000c5a: PUSH1 0x20
00000c5c: ADD
00000c5d: SWAP2
00000c5e: POP
00000c5f: JUMPDEST
00000c60: POP
00000c61: SWAP3
00000c62: POP
00000c63: POP
00000c64: POP
00000c65: PUSH1 0x40
00000c67: MLOAD
00000c68: DUP1
00000c69: SWAP2
00000c6a: SUB
00000c6b: SWAP1
00000c6c: RETURN
00000c6d: JUMPDEST
00000c6e: CALLVALUE
00000c6f: DUP1
00000c70: ISZERO
00000c71: PUSH2 0x0c79
00000c74: JUMPI
00000c75: PUSH1 0x00
00000c77: DUP1
00000c78: REVERT
00000c79: JUMPDEST
00000c7a: POP
00000c7b: PUSH2 0x0cbe
00000c7e: PUSH1 0x04
00000c80: DUP1
00000c81: CALLDATASIZE
00000c82: SUB
00000c83: DUP2
00000c84: ADD
00000c85: SWAP1
00000c86: DUP1
00000c87: DUP1
00000c88: CALLDATALOAD
00000c89: SWAP1
00000c8a: PUSH1 0x20
00000c8c: ADD
00000c8d: SWAP1
00000c8e: DUP3
00000c8f: ADD
00000c90: DUP1
00000c91: CALLDATALOAD
00000c92: SWAP1
00000c93: PUSH1 0x20
00000c95: ADD
00000c96: SWAP2
00000c97: SWAP1
00000c98: SWAP2
00000c99: SWAP3
00000c9a: SWAP4
00000c9b: SWAP2
00000c9c: SWAP3
00000c9d: SWAP4
00000c9e: SWAP1
00000c9f: DUP1
00000ca0: CALLDATALOAD
00000ca1: SWAP1
00000ca2: PUSH1 0x20
00000ca4: ADD
00000ca5: SWAP1
00000ca6: DUP3
00000ca7: ADD
00000ca8: DUP1
00000ca9: CALLDATALOAD
00000caa: SWAP1
00000cab: PUSH1 0x20
00000cad: ADD
00000cae: SWAP2
00000caf: SWAP1
00000cb0: SWAP2
00000cb1: SWAP3
00000cb2: SWAP4
00000cb3: SWAP2
00000cb4: SWAP3
00000cb5: SWAP4
00000cb6: SWAP1
00000cb7: POP
00000cb8: POP
00000cb9: POP
00000cba: PUSH2 0x2af9
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: PUSH1 0x40
00000cc1: MLOAD
00000cc2: DUP1
00000cc3: DUP3
00000cc4: DUP2
00000cc5: MSTORE
00000cc6: PUSH1 0x20
00000cc8: ADD
00000cc9: SWAP2
00000cca: POP
00000ccb: POP
00000ccc: PUSH1 0x40
00000cce: MLOAD
00000ccf: DUP1
00000cd0: SWAP2
00000cd1: SUB
00000cd2: SWAP1
00000cd3: RETURN
00000cd4: JUMPDEST
00000cd5: CALLVALUE
00000cd6: DUP1
00000cd7: ISZERO
00000cd8: PUSH2 0x0ce0
00000cdb: JUMPI
00000cdc: PUSH1 0x00
00000cde: DUP1
00000cdf: REVERT
00000ce0: JUMPDEST
00000ce1: POP
00000ce2: PUSH2 0x0d1f
00000ce5: PUSH1 0x04
00000ce7: DUP1
00000ce8: CALLDATASIZE
00000ce9: SUB
00000cea: DUP2
00000ceb: ADD
00000cec: SWAP1
00000ced: DUP1
00000cee: DUP1
00000cef: CALLDATALOAD
00000cf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d05: AND
00000d06: SWAP1
00000d07: PUSH1 0x20
00000d09: ADD
00000d0a: SWAP1
00000d0b: SWAP3
00000d0c: SWAP2
00000d0d: SWAP1
00000d0e: DUP1
00000d0f: CALLDATALOAD
00000d10: SWAP1
00000d11: PUSH1 0x20
00000d13: ADD
00000d14: SWAP1
00000d15: SWAP3
00000d16: SWAP2
00000d17: SWAP1
00000d18: POP
00000d19: POP
00000d1a: POP
00000d1b: PUSH2 0x2bd2
00000d1e: JUMP
00000d1f: JUMPDEST
00000d20: STOP
00000d21: JUMPDEST
00000d22: CALLVALUE
00000d23: DUP1
00000d24: ISZERO
00000d25: PUSH2 0x0d2d
00000d28: JUMPI
00000d29: PUSH1 0x00
00000d2b: DUP1
00000d2c: REVERT
00000d2d: JUMPDEST
00000d2e: POP
00000d2f: PUSH2 0x0d4c
00000d32: PUSH1 0x04
00000d34: DUP1
00000d35: CALLDATASIZE
00000d36: SUB
00000d37: DUP2
00000d38: ADD
00000d39: SWAP1
00000d3a: DUP1
00000d3b: DUP1
00000d3c: CALLDATALOAD
00000d3d: SWAP1
00000d3e: PUSH1 0x20
00000d40: ADD
00000d41: SWAP1
00000d42: SWAP3
00000d43: SWAP2
00000d44: SWAP1
00000d45: POP
00000d46: POP
00000d47: POP
00000d48: PUSH2 0x2c4e
00000d4b: JUMP
00000d4c: JUMPDEST
00000d4d: PUSH1 0x40
00000d4f: MLOAD
00000d50: DUP1
00000d51: DUP4
00000d52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d67: AND
00000d68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7d: AND
00000d7e: DUP2
00000d7f: MSTORE
00000d80: PUSH1 0x20
00000d82: ADD
00000d83: DUP3
00000d84: DUP2
00000d85: MSTORE
00000d86: PUSH1 0x20
00000d88: ADD
00000d89: SWAP3
00000d8a: POP
00000d8b: POP
00000d8c: POP
00000d8d: PUSH1 0x40
00000d8f: MLOAD
00000d90: DUP1
00000d91: SWAP2
00000d92: SUB
00000d93: SWAP1
00000d94: RETURN
00000d95: JUMPDEST
00000d96: CALLVALUE
00000d97: DUP1
00000d98: ISZERO
00000d99: PUSH2 0x0da1
00000d9c: JUMPI
00000d9d: PUSH1 0x00
00000d9f: DUP1
00000da0: REVERT
00000da1: JUMPDEST
00000da2: POP
00000da3: PUSH2 0x0dc0
00000da6: PUSH1 0x04
00000da8: DUP1
00000da9: CALLDATASIZE
00000daa: SUB
00000dab: DUP2
00000dac: ADD
00000dad: SWAP1
00000dae: DUP1
00000daf: DUP1
00000db0: CALLDATALOAD
00000db1: SWAP1
00000db2: PUSH1 0x20
00000db4: ADD
00000db5: SWAP1
00000db6: SWAP3
00000db7: SWAP2
00000db8: SWAP1
00000db9: POP
00000dba: POP
00000dbb: POP
00000dbc: PUSH2 0x2cd7
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: PUSH1 0x40
00000dc3: MLOAD
00000dc4: DUP1
00000dc5: DUP6
00000dc6: DUP2
00000dc7: MSTORE
00000dc8: PUSH1 0x20
00000dca: ADD
00000dcb: DUP5
00000dcc: PUSH1 0xff
00000dce: AND
00000dcf: PUSH1 0xff
00000dd1: AND
00000dd2: DUP2
00000dd3: MSTORE
00000dd4: PUSH1 0x20
00000dd6: ADD
00000dd7: DUP4
00000dd8: DUP2
00000dd9: MSTORE
00000dda: PUSH1 0x20
00000ddc: ADD
00000ddd: DUP3
00000dde: PUSH1 0xff
00000de0: AND
00000de1: PUSH1 0xff
00000de3: AND
00000de4: DUP2
00000de5: MSTORE
00000de6: PUSH1 0x20
00000de8: ADD
00000de9: SWAP5
00000dea: POP
00000deb: POP
00000dec: POP
00000ded: POP
00000dee: POP
00000def: PUSH1 0x40
00000df1: MLOAD
00000df2: DUP1
00000df3: SWAP2
00000df4: SUB
00000df5: SWAP1
00000df6: RETURN
00000df7: JUMPDEST
00000df8: CALLVALUE
00000df9: DUP1
00000dfa: ISZERO
00000dfb: PUSH2 0x0e03
00000dfe: JUMPI
00000dff: PUSH1 0x00
00000e01: DUP1
00000e02: REVERT
00000e03: JUMPDEST
00000e04: POP
00000e05: PUSH2 0x0e22
00000e08: PUSH1 0x04
00000e0a: DUP1
00000e0b: CALLDATASIZE
00000e0c: SUB
00000e0d: DUP2
00000e0e: ADD
00000e0f: SWAP1
00000e10: DUP1
00000e11: DUP1
00000e12: CALLDATALOAD
00000e13: SWAP1
00000e14: PUSH1 0x20
00000e16: ADD
00000e17: SWAP1
00000e18: SWAP3
00000e19: SWAP2
00000e1a: SWAP1
00000e1b: POP
00000e1c: POP
00000e1d: POP
00000e1e: PUSH2 0x2d30
00000e21: JUMP
00000e22: JUMPDEST
00000e23: PUSH1 0x40
00000e25: MLOAD
00000e26: DUP1
00000e27: DUP3
00000e28: ISZERO
00000e29: ISZERO
00000e2a: ISZERO
00000e2b: ISZERO
00000e2c: DUP2
00000e2d: MSTORE
00000e2e: PUSH1 0x20
00000e30: ADD
00000e31: SWAP2
00000e32: POP
00000e33: POP
00000e34: PUSH1 0x40
00000e36: MLOAD
00000e37: DUP1
00000e38: SWAP2
00000e39: SUB
00000e3a: SWAP1
00000e3b: RETURN
00000e3c: JUMPDEST
00000e3d: CALLVALUE
00000e3e: DUP1
00000e3f: ISZERO
00000e40: PUSH2 0x0e48
00000e43: JUMPI
00000e44: PUSH1 0x00
00000e46: DUP1
00000e47: REVERT
00000e48: JUMPDEST
00000e49: POP
00000e4a: PUSH2 0x0e67
00000e4d: PUSH1 0x04
00000e4f: DUP1
00000e50: CALLDATASIZE
00000e51: SUB
00000e52: DUP2
00000e53: ADD
00000e54: SWAP1
00000e55: DUP1
00000e56: DUP1
00000e57: CALLDATALOAD
00000e58: SWAP1
00000e59: PUSH1 0x20
00000e5b: ADD
00000e5c: SWAP1
00000e5d: SWAP3
00000e5e: SWAP2
00000e5f: SWAP1
00000e60: POP
00000e61: POP
00000e62: POP
00000e63: PUSH2 0x2ecc
00000e66: JUMP
00000e67: JUMPDEST
00000e68: STOP
00000e69: JUMPDEST
00000e6a: CALLVALUE
00000e6b: DUP1
00000e6c: ISZERO
00000e6d: PUSH2 0x0e75
00000e70: JUMPI
00000e71: PUSH1 0x00
00000e73: DUP1
00000e74: REVERT
00000e75: JUMPDEST
00000e76: POP
00000e77: PUSH2 0x0e94
00000e7a: PUSH1 0x04
00000e7c: DUP1
00000e7d: CALLDATASIZE
00000e7e: SUB
00000e7f: DUP2
00000e80: ADD
00000e81: SWAP1
00000e82: DUP1
00000e83: DUP1
00000e84: CALLDATALOAD
00000e85: SWAP1
00000e86: PUSH1 0x20
00000e88: ADD
00000e89: SWAP1
00000e8a: SWAP3
00000e8b: SWAP2
00000e8c: SWAP1
00000e8d: POP
00000e8e: POP
00000e8f: POP
00000e90: PUSH2 0x2fba
00000e93: JUMP
00000e94: JUMPDEST
00000e95: PUSH1 0x40
00000e97: MLOAD
00000e98: DUP1
00000e99: DUP3
00000e9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eaf: AND
00000eb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec5: AND
00000ec6: DUP2
00000ec7: MSTORE
00000ec8: PUSH1 0x20
00000eca: ADD
00000ecb: SWAP2
00000ecc: POP
00000ecd: POP
00000ece: PUSH1 0x40
00000ed0: MLOAD
00000ed1: DUP1
00000ed2: SWAP2
00000ed3: SUB
00000ed4: SWAP1
00000ed5: RETURN
00000ed6: JUMPDEST
00000ed7: CALLVALUE
00000ed8: DUP1
00000ed9: ISZERO
00000eda: PUSH2 0x0ee2
00000edd: JUMPI
00000ede: PUSH1 0x00
00000ee0: DUP1
00000ee1: REVERT
00000ee2: JUMPDEST
00000ee3: POP
00000ee4: PUSH2 0x0f17
00000ee7: PUSH1 0x04
00000ee9: DUP1
00000eea: CALLDATASIZE
00000eeb: SUB
00000eec: DUP2
00000eed: ADD
00000eee: SWAP1
00000eef: DUP1
00000ef0: DUP1
00000ef1: CALLDATALOAD
00000ef2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f07: AND
00000f08: SWAP1
00000f09: PUSH1 0x20
00000f0b: ADD
00000f0c: SWAP1
00000f0d: SWAP3
00000f0e: SWAP2
00000f0f: SWAP1
00000f10: POP
00000f11: POP
00000f12: POP
00000f13: PUSH2 0x315f
00000f16: JUMP
00000f17: JUMPDEST
00000f18: STOP
00000f19: JUMPDEST
00000f1a: CALLVALUE
00000f1b: DUP1
00000f1c: ISZERO
00000f1d: PUSH2 0x0f25
00000f20: JUMPI
00000f21: PUSH1 0x00
00000f23: DUP1
00000f24: REVERT
00000f25: JUMPDEST
00000f26: POP
00000f27: PUSH2 0x0f44
00000f2a: PUSH1 0x04
00000f2c: DUP1
00000f2d: CALLDATASIZE
00000f2e: SUB
00000f2f: DUP2
00000f30: ADD
00000f31: SWAP1
00000f32: DUP1
00000f33: DUP1
00000f34: CALLDATALOAD
00000f35: SWAP1
00000f36: PUSH1 0x20
00000f38: ADD
00000f39: SWAP1
00000f3a: SWAP3
00000f3b: SWAP2
00000f3c: SWAP1
00000f3d: POP
00000f3e: POP
00000f3f: POP
00000f40: PUSH2 0x32b4
00000f43: JUMP
00000f44: JUMPDEST
00000f45: PUSH1 0x40
00000f47: MLOAD
00000f48: DUP1
00000f49: DUP3
00000f4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f5f: AND
00000f60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f75: AND
00000f76: DUP2
00000f77: MSTORE
00000f78: PUSH1 0x20
00000f7a: ADD
00000f7b: SWAP2
00000f7c: POP
00000f7d: POP
00000f7e: PUSH1 0x40
00000f80: MLOAD
00000f81: DUP1
00000f82: SWAP2
00000f83: SUB
00000f84: SWAP1
00000f85: RETURN
00000f86: JUMPDEST
00000f87: PUSH1 0x00
00000f89: PUSH1 0x03
00000f8b: PUSH1 0x00
00000f8d: DUP4
00000f8e: DUP2
00000f8f: MSTORE
00000f90: PUSH1 0x20
00000f92: ADD
00000f93: SWAP1
00000f94: DUP2
00000f95: MSTORE
00000f96: PUSH1 0x20
00000f98: ADD
00000f99: PUSH1 0x00
00000f9b: KECCAK256
00000f9c: SLOAD
00000f9d: SWAP1
00000f9e: POP
00000f9f: SWAP2
00000fa0: SWAP1
00000fa1: POP
00000fa2: JUMP
00000fa3: JUMPDEST
00000fa4: PUSH1 0x00
00000fa6: PUSH1 0x40
00000fa8: MLOAD
00000fa9: DUP1
00000faa: DUP1
00000fab: PUSH32 0x737570706f727473496e74657266616365286279746573342900000000000000
00000fcc: DUP2
00000fcd: MSTORE
00000fce: POP
00000fcf: PUSH1 0x19
00000fd1: ADD
00000fd2: SWAP1
00000fd3: POP
00000fd4: PUSH1 0x40
00000fd6: MLOAD
00000fd7: DUP1
00000fd8: SWAP2
00000fd9: SUB
00000fda: SWAP1
00000fdb: KECCAK256
00000fdc: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000ff9: NOT
00000ffa: AND
00000ffb: DUP3
00000ffc: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001019: NOT
0000101a: AND
0000101b: EQ
0000101c: DUP1
0000101d: PUSH2 0x123f
00001020: JUMPI
00001021: POP
00001022: PUSH1 0x40
00001024: MLOAD
00001025: DUP1
00001026: DUP1
00001027: PUSH32 0x746f74616c537570706c79282900000000000000000000000000000000000000
00001048: DUP2
00001049: MSTORE
0000104a: POP
0000104b: PUSH1 0x0d
0000104d: ADD
0000104e: SWAP1
0000104f: POP
00001050: PUSH1 0x40
00001052: MLOAD
00001053: DUP1
00001054: SWAP2
00001055: SUB
00001056: SWAP1
00001057: KECCAK256
00001058: PUSH1 0x40
0000105a: MLOAD
0000105b: DUP1
0000105c: DUP1
0000105d: PUSH32 0x7472616e7366657246726f6d28616464726573732c616464726573732c75696e
0000107e: DUP2
0000107f: MSTORE
00001080: PUSH1 0x20
00001082: ADD
00001083: PUSH32 0x7432353629000000000000000000000000000000000000000000000000000000
000010a4: DUP2
000010a5: MSTORE
000010a6: POP
000010a7: PUSH1 0x25
000010a9: ADD
000010aa: SWAP1
000010ab: POP
000010ac: PUSH1 0x40
000010ae: MLOAD
000010af: DUP1
000010b0: SWAP2
000010b1: SUB
000010b2: SWAP1
000010b3: KECCAK256
000010b4: PUSH1 0x40
000010b6: MLOAD
000010b7: DUP1
000010b8: DUP1
000010b9: PUSH32 0x7472616e7366657228616464726573732c75696e743235362900000000000000
000010da: DUP2
000010db: MSTORE
000010dc: POP
000010dd: PUSH1 0x19
000010df: ADD
000010e0: SWAP1
000010e1: POP
000010e2: PUSH1 0x40
000010e4: MLOAD
000010e5: DUP1
000010e6: SWAP2
000010e7: SUB
000010e8: SWAP1
000010e9: KECCAK256
000010ea: PUSH1 0x40
000010ec: MLOAD
000010ed: DUP1
000010ee: DUP1
000010ef: PUSH32 0x617070726f766528616464726573732c75696e74323536290000000000000000
00001110: DUP2
00001111: MSTORE
00001112: POP
00001113: PUSH1 0x18
00001115: ADD
00001116: SWAP1
00001117: POP
00001118: PUSH1 0x40
0000111a: MLOAD
0000111b: DUP1
0000111c: SWAP2
0000111d: SUB
0000111e: SWAP1
0000111f: KECCAK256
00001120: PUSH1 0x40
00001122: MLOAD
00001123: DUP1
00001124: DUP1
00001125: PUSH32 0x6f776e65724f662875696e743235362900000000000000000000000000000000
00001146: DUP2
00001147: MSTORE
00001148: POP
00001149: PUSH1 0x10
0000114b: ADD
0000114c: SWAP1
0000114d: POP
0000114e: PUSH1 0x40
00001150: MLOAD
00001151: DUP1
00001152: SWAP2
00001153: SUB
00001154: SWAP1
00001155: KECCAK256
00001156: PUSH1 0x40
00001158: MLOAD
00001159: DUP1
0000115a: DUP1
0000115b: PUSH32 0x62616c616e63654f662861646472657373290000000000000000000000000000
0000117c: DUP2
0000117d: MSTORE
0000117e: POP
0000117f: PUSH1 0x12
00001181: ADD
00001182: SWAP1
00001183: POP
00001184: PUSH1 0x40
00001186: MLOAD
00001187: DUP1
00001188: SWAP2
00001189: SUB
0000118a: SWAP1
0000118b: KECCAK256
0000118c: PUSH1 0x40
0000118e: MLOAD
0000118f: DUP1
00001190: DUP1
00001191: PUSH32 0x73796d626f6c2829000000000000000000000000000000000000000000000000
000011b2: DUP2
000011b3: MSTORE
000011b4: POP
000011b5: PUSH1 0x08
000011b7: ADD
000011b8: SWAP1
000011b9: POP
000011ba: PUSH1 0x40
000011bc: MLOAD
000011bd: DUP1
000011be: SWAP2
000011bf: SUB
000011c0: SWAP1
000011c1: KECCAK256
000011c2: PUSH1 0x40
000011c4: MLOAD
000011c5: DUP1
000011c6: DUP1
000011c7: PUSH32 0x6e616d6528290000000000000000000000000000000000000000000000000000
000011e8: DUP2
000011e9: MSTORE
000011ea: POP
000011eb: PUSH1 0x06
000011ed: ADD
000011ee: SWAP1
000011ef: POP
000011f0: PUSH1 0x40
000011f2: MLOAD
000011f3: DUP1
000011f4: SWAP2
000011f5: SUB
000011f6: SWAP1
000011f7: KECCAK256
000011f8: XOR
000011f9: XOR
000011fa: XOR
000011fb: XOR
000011fc: XOR
000011fd: XOR
000011fe: XOR
000011ff: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000121c: NOT
0000121d: AND
0000121e: DUP3
0000121f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000123c: NOT
0000123d: AND
0000123e: EQ
0000123f: JUMPDEST
00001240: SWAP1
00001241: POP
00001242: SWAP2
00001243: SWAP1
00001244: POP
00001245: JUMP
00001246: JUMPDEST
00001247: PUSH1 0x40
00001249: DUP1
0000124a: MLOAD
0000124b: SWAP1
0000124c: DUP2
0000124d: ADD
0000124e: PUSH1 0x40
00001250: MSTORE
00001251: DUP1
00001252: PUSH1 0x12
00001254: DUP2
00001255: MSTORE
00001256: PUSH1 0x20
00001258: ADD
00001259: PUSH32 0x43727970746f466561746865724974656d730000000000000000000000000000
0000127a: DUP2
0000127b: MSTORE
0000127c: POP
0000127d: DUP2
0000127e: JUMP
0000127f: JUMPDEST
00001280: PUSH1 0x00
00001282: PUSH1 0x14
00001284: SWAP1
00001285: SLOAD
00001286: SWAP1
00001287: PUSH2 0x0100
0000128a: EXP
0000128b: SWAP1
0000128c: DIV
0000128d: PUSH1 0xff
0000128f: AND
00001290: ISZERO
00001291: ISZERO
00001292: ISZERO
00001293: PUSH2 0x129b
00001296: JUMPI
00001297: PUSH1 0x00
00001299: DUP1
0000129a: REVERT
0000129b: JUMPDEST
0000129c: PUSH2 0x12a5
0000129f: CALLER
000012a0: DUP3
000012a1: PUSH2 0x32e7
000012a4: JUMP
000012a5: JUMPDEST
000012a6: ISZERO
000012a7: ISZERO
000012a8: PUSH2 0x12b0
000012ab: JUMPI
000012ac: PUSH1 0x00
000012ae: DUP1
000012af: REVERT
000012b0: JUMPDEST
000012b1: PUSH2 0x12ba
000012b4: DUP2
000012b5: DUP4
000012b6: PUSH2 0x3353
000012b9: JUMP
000012ba: JUMPDEST
000012bb: DUP2
000012bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d1: AND
000012d2: CALLER
000012d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e8: AND
000012e9: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000130a: DUP4
0000130b: PUSH1 0x40
0000130d: MLOAD
0000130e: DUP1
0000130f: DUP3
00001310: DUP2
00001311: MSTORE
00001312: PUSH1 0x20
00001314: ADD
00001315: SWAP2
00001316: POP
00001317: POP
00001318: PUSH1 0x40
0000131a: MLOAD
0000131b: DUP1
0000131c: SWAP2
0000131d: SUB
0000131e: SWAP1
0000131f: LOG3
00001320: POP
00001321: POP
00001322: JUMP
00001323: JUMPDEST
00001324: PUSH1 0x00
00001326: DUP1
00001327: PUSH2 0x132f
0000132a: DUP4
0000132b: PUSH2 0x0f86
0000132e: JUMP
0000132f: JUMPDEST
00001330: SWAP1
00001331: POP
00001332: PUSH1 0x04
00001334: PUSH1 0x00
00001336: DUP3
00001337: DUP2
00001338: MSTORE
00001339: PUSH1 0x20
0000133b: ADD
0000133c: SWAP1
0000133d: DUP2
0000133e: MSTORE
0000133f: PUSH1 0x20
00001341: ADD
00001342: PUSH1 0x00
00001344: KECCAK256
00001345: PUSH1 0x00
00001347: SWAP1
00001348: SLOAD
00001349: SWAP1
0000134a: PUSH2 0x0100
0000134d: EXP
0000134e: SWAP1
0000134f: DIV
00001350: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001365: AND
00001366: SWAP2
00001367: POP
00001368: POP
00001369: SWAP2
0000136a: SWAP1
0000136b: POP
0000136c: JUMP
0000136d: JUMPDEST
0000136e: PUSH1 0x09
00001370: PUSH1 0x20
00001372: MSTORE
00001373: DUP2
00001374: PUSH1 0x00
00001376: MSTORE
00001377: PUSH1 0x40
00001379: PUSH1 0x00
0000137b: KECCAK256
0000137c: PUSH1 0x20
0000137e: MSTORE
0000137f: DUP1
00001380: PUSH1 0x00
00001382: MSTORE
00001383: PUSH1 0x40
00001385: PUSH1 0x00
00001387: KECCAK256
00001388: PUSH1 0x00
0000138a: SWAP2
0000138b: POP
0000138c: SWAP2
0000138d: POP
0000138e: POP
0000138f: DUP1
00001390: PUSH1 0x00
00001392: ADD
00001393: SLOAD
00001394: SWAP1
00001395: POP
00001396: DUP2
00001397: JUMP
00001398: JUMPDEST
00001399: PUSH1 0x01
0000139b: SLOAD
0000139c: DUP2
0000139d: JUMP
0000139e: JUMPDEST
0000139f: PUSH1 0x00
000013a1: PUSH1 0x01
000013a3: PUSH1 0x02
000013a5: DUP1
000013a6: SLOAD
000013a7: SWAP1
000013a8: POP
000013a9: SUB
000013aa: SWAP1
000013ab: POP
000013ac: SWAP1
000013ad: JUMP
000013ae: JUMPDEST
000013af: PUSH1 0x00
000013b1: DUP1
000013b2: PUSH1 0x00
000013b4: DUP1
000013b5: PUSH1 0x00
000013b7: DUP1
000013b8: PUSH1 0x00
000013ba: PUSH1 0x14
000013bc: SWAP1
000013bd: SLOAD
000013be: SWAP1
000013bf: PUSH2 0x0100
000013c2: EXP
000013c3: SWAP1
000013c4: DIV
000013c5: PUSH1 0xff
000013c7: AND
000013c8: ISZERO
000013c9: ISZERO
000013ca: ISZERO
000013cb: PUSH2 0x13d3
000013ce: JUMPI
000013cf: PUSH1 0x00
000013d1: DUP1
000013d2: REVERT
000013d3: JUMPDEST
000013d4: PUSH1 0x01
000013d6: SLOAD
000013d7: CALLVALUE
000013d8: LT
000013d9: ISZERO
000013da: ISZERO
000013db: ISZERO
000013dc: PUSH2 0x13e4
000013df: JUMPI
000013e0: PUSH1 0x00
000013e2: DUP1
000013e3: REVERT
000013e4: JUMPDEST
000013e5: PUSH1 0x08
000013e7: PUSH1 0x00
000013e9: SWAP1
000013ea: SLOAD
000013eb: SWAP1
000013ec: PUSH2 0x0100
000013ef: EXP
000013f0: SWAP1
000013f1: DIV
000013f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001407: AND
00001408: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141d: AND
0000141e: PUSH4 0xf6d51638
00001423: DUP12
00001424: PUSH1 0x40
00001426: MLOAD
00001427: DUP3
00001428: PUSH4 0xffffffff
0000142d: AND
0000142e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000144c: MUL
0000144d: DUP2
0000144e: MSTORE
0000144f: PUSH1 0x04
00001451: ADD
00001452: DUP1
00001453: DUP3
00001454: DUP2
00001455: MSTORE
00001456: PUSH1 0x20
00001458: ADD
00001459: SWAP2
0000145a: POP
0000145b: POP
0000145c: PUSH1 0x20
0000145e: PUSH1 0x40
00001460: MLOAD
00001461: DUP1
00001462: DUP4
00001463: SUB
00001464: DUP2
00001465: PUSH1 0x00
00001467: DUP8
00001468: DUP1
00001469: EXTCODESIZE
0000146a: ISZERO
0000146b: DUP1
0000146c: ISZERO
0000146d: PUSH2 0x1475
00001470: JUMPI
00001471: PUSH1 0x00
00001473: DUP1
00001474: REVERT
00001475: JUMPDEST
00001476: POP
00001477: GAS
00001478: CALL
00001479: ISZERO
0000147a: DUP1
0000147b: ISZERO
0000147c: PUSH2 0x1489
0000147f: JUMPI
00001480: RETURNDATASIZE
00001481: PUSH1 0x00
00001483: DUP1
00001484: RETURNDATACOPY
00001485: RETURNDATASIZE
00001486: PUSH1 0x00
00001488: REVERT
00001489: JUMPDEST
0000148a: POP
0000148b: POP
0000148c: POP
0000148d: POP
0000148e: PUSH1 0x40
00001490: MLOAD
00001491: RETURNDATASIZE
00001492: PUSH1 0x20
00001494: DUP2
00001495: LT
00001496: ISZERO
00001497: PUSH2 0x149f
0000149a: JUMPI
0000149b: PUSH1 0x00
0000149d: DUP1
0000149e: REVERT
0000149f: JUMPDEST
000014a0: DUP2
000014a1: ADD
000014a2: SWAP1
000014a3: DUP1
000014a4: DUP1
000014a5: MLOAD
000014a6: SWAP1
000014a7: PUSH1 0x20
000014a9: ADD
000014aa: SWAP1
000014ab: SWAP3
000014ac: SWAP2
000014ad: SWAP1
000014ae: POP
000014af: POP
000014b0: POP
000014b1: SWAP5
000014b2: POP
000014b3: PUSH1 0x08
000014b5: PUSH1 0x00
000014b7: SWAP1
000014b8: SLOAD
000014b9: SWAP1
000014ba: PUSH2 0x0100
000014bd: EXP
000014be: SWAP1
000014bf: DIV
000014c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d5: AND
000014d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014eb: AND
000014ec: PUSH4 0x8119f4ae
000014f1: DUP7
000014f2: PUSH1 0x40
000014f4: MLOAD
000014f5: DUP3
000014f6: PUSH4 0xffffffff
000014fb: AND
000014fc: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000151a: MUL
0000151b: DUP2
0000151c: MSTORE
0000151d: PUSH1 0x04
0000151f: ADD
00001520: DUP1
00001521: DUP3
00001522: DUP2
00001523: MSTORE
00001524: PUSH1 0x20
00001526: ADD
00001527: SWAP2
00001528: POP
00001529: POP
0000152a: PUSH1 0x00
0000152c: PUSH1 0x40
0000152e: MLOAD
0000152f: DUP1
00001530: DUP4
00001531: SUB
00001532: DUP2
00001533: PUSH1 0x00
00001535: DUP8
00001536: DUP1
00001537: EXTCODESIZE
00001538: ISZERO
00001539: DUP1
0000153a: ISZERO
0000153b: PUSH2 0x1543
0000153e: JUMPI
0000153f: PUSH1 0x00
00001541: DUP1
00001542: REVERT
00001543: JUMPDEST
00001544: POP
00001545: GAS
00001546: CALL
00001547: ISZERO
00001548: DUP1
00001549: ISZERO
0000154a: PUSH2 0x1557
0000154d: JUMPI
0000154e: RETURNDATASIZE
0000154f: PUSH1 0x00
00001551: DUP1
00001552: RETURNDATACOPY
00001553: RETURNDATASIZE
00001554: PUSH1 0x00
00001556: REVERT
00001557: JUMPDEST
00001558: POP
00001559: POP
0000155a: POP
0000155b: POP
0000155c: PUSH1 0x40
0000155e: MLOAD
0000155f: RETURNDATASIZE
00001560: PUSH1 0x00
00001562: DUP3
00001563: RETURNDATACOPY
00001564: RETURNDATASIZE
00001565: PUSH1 0x1f
00001567: NOT
00001568: PUSH1 0x1f
0000156a: DUP3
0000156b: ADD
0000156c: AND
0000156d: DUP3
0000156e: ADD
0000156f: DUP1
00001570: PUSH1 0x40
00001572: MSTORE
00001573: POP
00001574: PUSH1 0x60
00001576: DUP2
00001577: LT
00001578: ISZERO
00001579: PUSH2 0x1581
0000157c: JUMPI
0000157d: PUSH1 0x00
0000157f: DUP1
00001580: REVERT
00001581: JUMPDEST
00001582: DUP2
00001583: ADD
00001584: SWAP1
00001585: DUP1
00001586: DUP1
00001587: MLOAD
00001588: SWAP1
00001589: PUSH1 0x20
0000158b: ADD
0000158c: SWAP1
0000158d: SWAP3
0000158e: SWAP2
0000158f: SWAP1
00001590: DUP1
00001591: MLOAD
00001592: PUSH5 0x0100000000
00001598: DUP2
00001599: GT
0000159a: ISZERO
0000159b: PUSH2 0x15a3
0000159e: JUMPI
0000159f: PUSH1 0x00
000015a1: DUP1
000015a2: REVERT
000015a3: JUMPDEST
000015a4: DUP3
000015a5: DUP2
000015a6: ADD
000015a7: SWAP1
000015a8: POP
000015a9: PUSH1 0x20
000015ab: DUP2
000015ac: ADD
000015ad: DUP5
000015ae: DUP2
000015af: GT
000015b0: ISZERO
000015b1: PUSH2 0x15b9
000015b4: JUMPI
000015b5: PUSH1 0x00
000015b7: DUP1
000015b8: REVERT
000015b9: JUMPDEST
000015ba: DUP2
000015bb: MLOAD
000015bc: DUP6
000015bd: PUSH1 0x01
000015bf: DUP3
000015c0: MUL
000015c1: DUP4
000015c2: ADD
000015c3: GT
000015c4: PUSH5 0x0100000000
000015ca: DUP3
000015cb: GT
000015cc: OR
000015cd: ISZERO
000015ce: PUSH2 0x15d6
000015d1: JUMPI
000015d2: PUSH1 0x00
000015d4: DUP1
000015d5: REVERT
000015d6: JUMPDEST
000015d7: POP
000015d8: POP
000015d9: SWAP3
000015da: SWAP2
000015db: SWAP1
000015dc: PUSH1 0x20
000015de: ADD
000015df: DUP1
000015e0: MLOAD
000015e1: SWAP1
000015e2: PUSH1 0x20
000015e4: ADD
000015e5: SWAP1
000015e6: SWAP3
000015e7: SWAP2
000015e8: SWAP1
000015e9: POP
000015ea: POP
000015eb: POP
000015ec: SWAP1
000015ed: SWAP2
000015ee: POP
000015ef: SWAP1
000015f0: POP
000015f1: DUP1
000015f2: SWAP5
000015f3: POP
000015f4: POP
000015f5: PUSH1 0x00
000015f7: DUP5
000015f8: EQ
000015f9: ISZERO
000015fa: ISZERO
000015fb: PUSH2 0x1603
000015fe: JUMPI
000015ff: PUSH1 0x00
00001601: DUP1
00001602: REVERT
00001603: JUMPDEST
00001604: PUSH1 0x00
00001606: SWAP3
00001607: POP
00001608: PUSH1 0x00
0000160a: DUP10
0000160b: GT
0000160c: ISZERO
0000160d: ISZERO
0000160e: PUSH2 0x1616
00001611: JUMPI
00001612: PUSH1 0x00
00001614: DUP1
00001615: REVERT
00001616: JUMPDEST
00001617: PUSH2 0x1620
0000161a: DUP11
0000161b: DUP11
0000161c: PUSH2 0x33a9
0000161f: JUMP
00001620: JUMPDEST
00001621: SWAP3
00001622: POP
00001623: PUSH1 0x00
00001625: SWAP2
00001626: POP
00001627: JUMPDEST
00001628: DUP8
00001629: DUP8
0000162a: SWAP1
0000162b: POP
0000162c: DUP3
0000162d: LT
0000162e: ISZERO
0000162f: PUSH2 0x1663
00001632: JUMPI
00001633: PUSH2 0x1655
00001636: DUP9
00001637: DUP9
00001638: DUP5
00001639: DUP2
0000163a: DUP2
0000163b: LT
0000163c: ISZERO
0000163d: ISZERO
0000163e: PUSH2 0x1643
00001641: JUMPI
00001642: INVALID
00001643: JUMPDEST
00001644: SWAP1
00001645: POP
00001646: PUSH1 0x20
00001648: MUL
00001649: ADD
0000164a: CALLDATALOAD
0000164b: PUSH1 0x00
0000164d: DUP1
0000164e: PUSH1 0x00
00001650: CALLER
00001651: PUSH2 0x3441
00001654: JUMP
00001655: JUMPDEST
00001656: POP
00001657: DUP2
00001658: DUP1
00001659: PUSH1 0x01
0000165b: ADD
0000165c: SWAP3
0000165d: POP
0000165e: POP
0000165f: PUSH2 0x1627
00001662: JUMP
00001663: JUMPDEST
00001664: PUSH1 0x01
00001666: SLOAD
00001667: CALLVALUE
00001668: SUB
00001669: SWAP1
0000166a: POP
0000166b: CALLER
0000166c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001681: AND
00001682: PUSH2 0x08fc
00001685: DUP3
00001686: SWAP1
00001687: DUP2
00001688: ISZERO
00001689: MUL
0000168a: SWAP1
0000168b: PUSH1 0x40
0000168d: MLOAD
0000168e: PUSH1 0x00
00001690: PUSH1 0x40
00001692: MLOAD
00001693: DUP1
00001694: DUP4
00001695: SUB
00001696: DUP2
00001697: DUP6
00001698: DUP9
00001699: DUP9
0000169a: CALL
0000169b: SWAP4
0000169c: POP
0000169d: POP
0000169e: POP
0000169f: POP
000016a0: ISZERO
000016a1: DUP1
000016a2: ISZERO
000016a3: PUSH2 0x16b0
000016a6: JUMPI
000016a7: RETURNDATASIZE
000016a8: PUSH1 0x00
000016aa: DUP1
000016ab: RETURNDATACOPY
000016ac: RETURNDATASIZE
000016ad: PUSH1 0x00
000016af: REVERT
000016b0: JUMPDEST
000016b1: POP
000016b2: DUP3
000016b3: SWAP6
000016b4: POP
000016b5: POP
000016b6: POP
000016b7: POP
000016b8: POP
000016b9: POP
000016ba: SWAP5
000016bb: SWAP4
000016bc: POP
000016bd: POP
000016be: POP
000016bf: POP
000016c0: JUMP
000016c1: JUMPDEST
000016c2: PUSH1 0x00
000016c4: DUP1
000016c5: PUSH1 0x00
000016c7: DUP1
000016c8: PUSH1 0x00
000016ca: DUP1
000016cb: PUSH1 0x00
000016cd: PUSH1 0x14
000016cf: SWAP1
000016d0: SLOAD
000016d1: SWAP1
000016d2: PUSH2 0x0100
000016d5: EXP
000016d6: SWAP1
000016d7: DIV
000016d8: PUSH1 0xff
000016da: AND
000016db: ISZERO
000016dc: ISZERO
000016dd: ISZERO
000016de: PUSH2 0x16e6
000016e1: JUMPI
000016e2: PUSH1 0x00
000016e4: DUP1
000016e5: REVERT
000016e6: JUMPDEST
000016e7: PUSH2 0x16ef
000016ea: DUP8
000016eb: PUSH2 0x0f86
000016ee: JUMP
000016ef: JUMPDEST
000016f0: SWAP6
000016f1: POP
000016f2: PUSH1 0x0a
000016f4: PUSH1 0x00
000016f6: DUP8
000016f7: DUP2
000016f8: MSTORE
000016f9: PUSH1 0x20
000016fb: ADD
000016fc: SWAP1
000016fd: DUP2
000016fe: MSTORE
000016ff: PUSH1 0x20
00001701: ADD
00001702: PUSH1 0x00
00001704: KECCAK256
00001705: SWAP5
00001706: POP
00001707: DUP5
00001708: PUSH1 0x01
0000170a: ADD
0000170b: PUSH1 0x00
0000170d: SWAP1
0000170e: SLOAD
0000170f: SWAP1
00001710: PUSH2 0x0100
00001713: EXP
00001714: SWAP1
00001715: DIV
00001716: PUSH16 0xffffffffffffffffffffffffffffffff
00001727: AND
00001728: SWAP4
00001729: POP
0000172a: DUP4
0000172b: PUSH16 0xffffffffffffffffffffffffffffffff
0000173c: AND
0000173d: CALLVALUE
0000173e: LT
0000173f: ISZERO
00001740: ISZERO
00001741: ISZERO
00001742: PUSH2 0x174a
00001745: JUMPI
00001746: PUSH1 0x00
00001748: DUP1
00001749: REVERT
0000174a: JUMPDEST
0000174b: DUP5
0000174c: PUSH1 0x00
0000174e: ADD
0000174f: PUSH1 0x00
00001751: SWAP1
00001752: SLOAD
00001753: SWAP1
00001754: PUSH2 0x0100
00001757: EXP
00001758: SWAP1
00001759: DIV
0000175a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176f: AND
00001770: SWAP3
00001771: POP
00001772: PUSH2 0x177a
00001775: DUP7
00001776: PUSH2 0x35b5
00001779: JUMP
0000177a: JUMPDEST
0000177b: PUSH1 0x00
0000177d: DUP5
0000177e: PUSH16 0xffffffffffffffffffffffffffffffff
0000178f: AND
00001790: GT
00001791: ISZERO
00001792: PUSH2 0x17ff
00001795: JUMPI
00001796: PUSH2 0x179e
00001799: DUP5
0000179a: PUSH2 0x3618
0000179d: JUMP
0000179e: JUMPDEST
0000179f: SWAP2
000017a0: POP
000017a1: DUP2
000017a2: DUP5
000017a3: SUB
000017a4: SWAP1
000017a5: POP
000017a6: DUP3
000017a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017bc: AND
000017bd: PUSH2 0x08fc
000017c0: DUP3
000017c1: PUSH16 0xffffffffffffffffffffffffffffffff
000017d2: AND
000017d3: SWAP1
000017d4: DUP2
000017d5: ISZERO
000017d6: MUL
000017d7: SWAP1
000017d8: PUSH1 0x40
000017da: MLOAD
000017db: PUSH1 0x00
000017dd: PUSH1 0x40
000017df: MLOAD
000017e0: DUP1
000017e1: DUP4
000017e2: SUB
000017e3: DUP2
000017e4: DUP6
000017e5: DUP9
000017e6: DUP9
000017e7: CALL
000017e8: SWAP4
000017e9: POP
000017ea: POP
000017eb: POP
000017ec: POP
000017ed: ISZERO
000017ee: DUP1
000017ef: ISZERO
000017f0: PUSH2 0x17fd
000017f3: JUMPI
000017f4: RETURNDATASIZE
000017f5: PUSH1 0x00
000017f7: DUP1
000017f8: RETURNDATACOPY
000017f9: RETURNDATASIZE
000017fa: PUSH1 0x00
000017fc: REVERT
000017fd: JUMPDEST
000017fe: POP
000017ff: JUMPDEST
00001800: CALLER
00001801: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001816: AND
00001817: PUSH2 0x08fc
0000181a: DUP6
0000181b: PUSH16 0xffffffffffffffffffffffffffffffff
0000182c: AND
0000182d: CALLVALUE
0000182e: SUB
0000182f: SWAP1
00001830: DUP2
00001831: ISZERO
00001832: MUL
00001833: SWAP1
00001834: PUSH1 0x40
00001836: MLOAD
00001837: PUSH1 0x00
00001839: PUSH1 0x40
0000183b: MLOAD
0000183c: DUP1
0000183d: DUP4
0000183e: SUB
0000183f: DUP2
00001840: DUP6
00001841: DUP9
00001842: DUP9
00001843: CALL
00001844: SWAP4
00001845: POP
00001846: POP
00001847: POP
00001848: POP
00001849: ISZERO
0000184a: DUP1
0000184b: ISZERO
0000184c: PUSH2 0x1859
0000184f: JUMPI
00001850: RETURNDATASIZE
00001851: PUSH1 0x00
00001853: DUP1
00001854: RETURNDATACOPY
00001855: RETURNDATASIZE
00001856: PUSH1 0x00
00001858: REVERT
00001859: JUMPDEST
0000185a: POP
0000185b: PUSH32 0x1cde15823ef185822d5774ddecddaa35629495fa00cdbab370a310d5ffba74fd
0000187c: DUP7
0000187d: DUP6
0000187e: CALLER
0000187f: PUSH1 0x40
00001881: MLOAD
00001882: DUP1
00001883: DUP5
00001884: DUP2
00001885: MSTORE
00001886: PUSH1 0x20
00001888: ADD
00001889: DUP4
0000188a: PUSH16 0xffffffffffffffffffffffffffffffff
0000189b: AND
0000189c: PUSH16 0xffffffffffffffffffffffffffffffff
000018ad: AND
000018ae: DUP2
000018af: MSTORE
000018b0: PUSH1 0x20
000018b2: ADD
000018b3: DUP3
000018b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c9: AND
000018ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018df: AND
000018e0: DUP2
000018e1: MSTORE
000018e2: PUSH1 0x20
000018e4: ADD
000018e5: SWAP4
000018e6: POP
000018e7: POP
000018e8: POP
000018e9: POP
000018ea: PUSH1 0x40
000018ec: MLOAD
000018ed: DUP1
000018ee: SWAP2
000018ef: SUB
000018f0: SWAP1
000018f1: LOG1
000018f2: PUSH2 0x18fc
000018f5: DUP4
000018f6: CALLER
000018f7: DUP9
000018f8: PUSH2 0x3645
000018fb: JUMP
000018fc: JUMPDEST
000018fd: PUSH1 0x00
000018ff: PUSH1 0x02
00001901: DUP8
00001902: DUP2
00001903: SLOAD
00001904: DUP2
00001905: LT
00001906: ISZERO
00001907: ISZERO
00001908: PUSH2 0x190d
0000190b: JUMPI
0000190c: INVALID
0000190d: JUMPDEST
0000190e: SWAP1
0000190f: PUSH1 0x00
00001911: MSTORE
00001912: PUSH1 0x20
00001914: PUSH1 0x00
00001916: KECCAK256
00001917: SWAP1
00001918: PUSH1 0x04
0000191a: MUL
0000191b: ADD
0000191c: PUSH1 0x01
0000191e: ADD
0000191f: PUSH1 0x00
00001921: PUSH2 0x0100
00001924: EXP
00001925: DUP2
00001926: SLOAD
00001927: DUP2
00001928: PUSH1 0xff
0000192a: MUL
0000192b: NOT
0000192c: AND
0000192d: SWAP1
0000192e: DUP4
0000192f: PUSH1 0xff
00001931: AND
00001932: MUL
00001933: OR
00001934: SWAP1
00001935: SSTORE
00001936: POP
00001937: POP
00001938: POP
00001939: POP
0000193a: POP
0000193b: POP
0000193c: POP
0000193d: POP
0000193e: JUMP
0000193f: JUMPDEST
00001940: PUSH1 0x00
00001942: DUP1
00001943: PUSH1 0x00
00001945: SWAP1
00001946: SLOAD
00001947: SWAP1
00001948: PUSH2 0x0100
0000194b: EXP
0000194c: SWAP1
0000194d: DIV
0000194e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001963: AND
00001964: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001979: AND
0000197a: CALLER
0000197b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001990: AND
00001991: EQ
00001992: ISZERO
00001993: ISZERO
00001994: PUSH2 0x199c
00001997: JUMPI
00001998: PUSH1 0x00
0000199a: DUP1
0000199b: REVERT
0000199c: JUMPDEST
0000199d: PUSH1 0x08
0000199f: PUSH1 0x00
000019a1: SWAP1
000019a2: SLOAD
000019a3: SWAP1
000019a4: PUSH2 0x0100
000019a7: EXP
000019a8: SWAP1
000019a9: DIV
000019aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019bf: AND
000019c0: SWAP1
000019c1: POP
000019c2: SWAP1
000019c3: JUMP
000019c4: JUMPDEST
000019c5: PUSH1 0x00
000019c7: PUSH1 0x14
000019c9: SWAP1
000019ca: SLOAD
000019cb: SWAP1
000019cc: PUSH2 0x0100
000019cf: EXP
000019d0: SWAP1
000019d1: DIV
000019d2: PUSH1 0xff
000019d4: AND
000019d5: ISZERO
000019d6: ISZERO
000019d7: ISZERO
000019d8: PUSH2 0x19e0
000019db: JUMPI
000019dc: PUSH1 0x00
000019de: DUP1
000019df: REVERT
000019e0: JUMPDEST
000019e1: PUSH1 0x00
000019e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f8: AND
000019f9: DUP3
000019fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0f: AND
00001a10: EQ
00001a11: ISZERO
00001a12: ISZERO
00001a13: ISZERO
00001a14: PUSH2 0x1a1c
00001a17: JUMPI
00001a18: PUSH1 0x00
00001a1a: DUP1
00001a1b: REVERT
00001a1c: JUMPDEST
00001a1d: PUSH2 0x1a26
00001a20: CALLER
00001a21: DUP3
00001a22: PUSH2 0x37da
00001a25: JUMP
00001a26: JUMPDEST
00001a27: ISZERO
00001a28: ISZERO
00001a29: PUSH2 0x1a31
00001a2c: JUMPI
00001a2d: PUSH1 0x00
00001a2f: DUP1
00001a30: REVERT
00001a31: JUMPDEST
00001a32: PUSH2 0x1a3b
00001a35: DUP4
00001a36: DUP3
00001a37: PUSH2 0x32e7
00001a3a: JUMP
00001a3b: JUMPDEST
00001a3c: ISZERO
00001a3d: ISZERO
00001a3e: PUSH2 0x1a46
00001a41: JUMPI
00001a42: PUSH1 0x00
00001a44: DUP1
00001a45: REVERT
00001a46: JUMPDEST
00001a47: PUSH2 0x1a51
00001a4a: DUP4
00001a4b: DUP4
00001a4c: DUP4
00001a4d: PUSH2 0x3645
00001a50: JUMP
00001a51: JUMPDEST
00001a52: POP
00001a53: POP
00001a54: POP
00001a55: JUMP
00001a56: JUMPDEST
00001a57: PUSH1 0x00
00001a59: PUSH2 0x1a60
00001a5c: PUSH2 0x3a5e
00001a5f: JUMP
00001a60: JUMPDEST
00001a61: PUSH1 0x09
00001a63: PUSH1 0x00
00001a65: DUP6
00001a66: DUP2
00001a67: MSTORE
00001a68: PUSH1 0x20
00001a6a: ADD
00001a6b: SWAP1
00001a6c: DUP2
00001a6d: MSTORE
00001a6e: PUSH1 0x20
00001a70: ADD
00001a71: PUSH1 0x00
00001a73: KECCAK256
00001a74: PUSH1 0x00
00001a76: DUP5
00001a77: DUP2
00001a78: MSTORE
00001a79: PUSH1 0x20
00001a7b: ADD
00001a7c: SWAP1
00001a7d: DUP2
00001a7e: MSTORE
00001a7f: PUSH1 0x20
00001a81: ADD
00001a82: PUSH1 0x00
00001a84: KECCAK256
00001a85: PUSH1 0x20
00001a87: PUSH1 0x40
00001a89: MLOAD
00001a8a: SWAP1
00001a8b: DUP2
00001a8c: ADD
00001a8d: PUSH1 0x40
00001a8f: MSTORE
00001a90: SWAP1
00001a91: DUP2
00001a92: PUSH1 0x00
00001a94: DUP3
00001a95: ADD
00001a96: SLOAD
00001a97: DUP2
00001a98: MSTORE
00001a99: POP
00001a9a: POP
00001a9b: SWAP1
00001a9c: POP
00001a9d: DUP1
00001a9e: PUSH1 0x00
00001aa0: ADD
00001aa1: MLOAD
00001aa2: SWAP2
00001aa3: POP
00001aa4: POP
00001aa5: SWAP3
00001aa6: SWAP2
00001aa7: POP
00001aa8: POP
00001aa9: JUMP
00001aaa: JUMPDEST
00001aab: PUSH1 0x00
00001aad: DUP1
00001aae: PUSH1 0x00
00001ab0: DUP1
00001ab1: PUSH2 0x1ab8
00001ab4: PUSH2 0x3a72
00001ab7: JUMP
00001ab8: JUMPDEST
00001ab9: PUSH1 0x02
00001abb: DUP7
00001abc: DUP2
00001abd: SLOAD
00001abe: DUP2
00001abf: LT
00001ac0: ISZERO
00001ac1: ISZERO
00001ac2: PUSH2 0x1ac7
00001ac5: JUMPI
00001ac6: INVALID
00001ac7: JUMPDEST
00001ac8: SWAP1
00001ac9: PUSH1 0x00
00001acb: MSTORE
00001acc: PUSH1 0x20
00001ace: PUSH1 0x00
00001ad0: KECCAK256
00001ad1: SWAP1
00001ad2: PUSH1 0x04
00001ad4: MUL
00001ad5: ADD
00001ad6: PUSH1 0x80
00001ad8: PUSH1 0x40
00001ada: MLOAD
00001adb: SWAP1
00001adc: DUP2
00001add: ADD
00001ade: PUSH1 0x40
00001ae0: MSTORE
00001ae1: SWAP1
00001ae2: DUP2
00001ae3: PUSH1 0x00
00001ae5: DUP3
00001ae6: ADD
00001ae7: SLOAD
00001ae8: DUP2
00001ae9: MSTORE
00001aea: PUSH1 0x20
00001aec: ADD
00001aed: PUSH1 0x01
00001aef: DUP3
00001af0: ADD
00001af1: PUSH1 0x00
00001af3: SWAP1
00001af4: SLOAD
00001af5: SWAP1
00001af6: PUSH2 0x0100
00001af9: EXP
00001afa: SWAP1
00001afb: DIV
00001afc: PUSH1 0xff
00001afe: AND
00001aff: PUSH1 0xff
00001b01: AND
00001b02: PUSH1 0xff
00001b04: AND
00001b05: DUP2
00001b06: MSTORE
00001b07: PUSH1 0x20
00001b09: ADD
00001b0a: PUSH1 0x02
00001b0c: DUP3
00001b0d: ADD
00001b0e: SLOAD
00001b0f: DUP2
00001b10: MSTORE
00001b11: PUSH1 0x20
00001b13: ADD
00001b14: PUSH1 0x03
00001b16: DUP3
00001b17: ADD
00001b18: PUSH1 0x00
00001b1a: SWAP1
00001b1b: SLOAD
00001b1c: SWAP1
00001b1d: PUSH2 0x0100
00001b20: EXP
00001b21: SWAP1
00001b22: DIV
00001b23: PUSH1 0xff
00001b25: AND
00001b26: PUSH1 0xff
00001b28: AND
00001b29: PUSH1 0xff
00001b2b: AND
00001b2c: DUP2
00001b2d: MSTORE
00001b2e: POP
00001b2f: POP
00001b30: SWAP1
00001b31: POP
00001b32: DUP1
00001b33: PUSH1 0x00
00001b35: ADD
00001b36: MLOAD
00001b37: SWAP5
00001b38: POP
00001b39: DUP1
00001b3a: PUSH1 0x20
00001b3c: ADD
00001b3d: MLOAD
00001b3e: PUSH1 0xff
00001b40: AND
00001b41: SWAP4
00001b42: POP
00001b43: DUP1
00001b44: PUSH1 0x40
00001b46: ADD
00001b47: MLOAD
00001b48: SWAP3
00001b49: POP
00001b4a: DUP1
00001b4b: PUSH1 0x60
00001b4d: ADD
00001b4e: MLOAD
00001b4f: PUSH1 0xff
00001b51: AND
00001b52: SWAP2
00001b53: POP
00001b54: POP
00001b55: SWAP2
00001b56: SWAP4
00001b57: POP
00001b58: SWAP2
00001b59: SWAP4
00001b5a: JUMP
00001b5b: JUMPDEST
00001b5c: PUSH1 0x00
00001b5e: DUP1
00001b5f: SWAP1
00001b60: SLOAD
00001b61: SWAP1
00001b62: PUSH2 0x0100
00001b65: EXP
00001b66: SWAP1
00001b67: DIV
00001b68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b7d: AND
00001b7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b93: AND
00001b94: CALLER
00001b95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001baa: AND
00001bab: EQ
00001bac: ISZERO
00001bad: ISZERO
00001bae: PUSH2 0x1bb6
00001bb1: JUMPI
00001bb2: PUSH1 0x00
00001bb4: DUP1
00001bb5: REVERT
00001bb6: JUMPDEST
00001bb7: PUSH1 0x00
00001bb9: PUSH1 0x14
00001bbb: SWAP1
00001bbc: SLOAD
00001bbd: SWAP1
00001bbe: PUSH2 0x0100
00001bc1: EXP
00001bc2: SWAP1
00001bc3: DIV
00001bc4: PUSH1 0xff
00001bc6: AND
00001bc7: ISZERO
00001bc8: ISZERO
00001bc9: PUSH2 0x1bd1
00001bcc: JUMPI
00001bcd: PUSH1 0x00
00001bcf: DUP1
00001bd0: REVERT
00001bd1: JUMPDEST
00001bd2: PUSH1 0x00
00001bd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be9: AND
00001bea: PUSH1 0x0c
00001bec: PUSH1 0x00
00001bee: SWAP1
00001bef: SLOAD
00001bf0: SWAP1
00001bf1: PUSH2 0x0100
00001bf4: EXP
00001bf5: SWAP1
00001bf6: DIV
00001bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c0c: AND
00001c0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c22: AND
00001c23: EQ
00001c24: ISZERO
00001c25: ISZERO
00001c26: PUSH2 0x1c2e
00001c29: JUMPI
00001c2a: PUSH1 0x00
00001c2c: DUP1
00001c2d: REVERT
00001c2e: JUMPDEST
00001c2f: PUSH2 0x1c36
00001c32: PUSH2 0x3846
00001c35: JUMP
00001c36: JUMPDEST
00001c37: JUMP
00001c38: JUMPDEST
00001c39: PUSH1 0x00
00001c3b: DUP1
00001c3c: SWAP1
00001c3d: SLOAD
00001c3e: SWAP1
00001c3f: PUSH2 0x0100
00001c42: EXP
00001c43: SWAP1
00001c44: DIV
00001c45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c5a: AND
00001c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c70: AND
00001c71: CALLER
00001c72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c87: AND
00001c88: EQ
00001c89: ISZERO
00001c8a: ISZERO
00001c8b: PUSH2 0x1c93
00001c8e: JUMPI
00001c8f: PUSH1 0x00
00001c91: DUP1
00001c92: REVERT
00001c93: JUMPDEST
00001c94: DUP1
00001c95: PUSH1 0x07
00001c97: PUSH1 0x00
00001c99: PUSH2 0x0100
00001c9c: EXP
00001c9d: DUP2
00001c9e: SLOAD
00001c9f: DUP2
00001ca0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb5: MUL
00001cb6: NOT
00001cb7: AND
00001cb8: SWAP1
00001cb9: DUP4
00001cba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ccf: AND
00001cd0: MUL
00001cd1: OR
00001cd2: SWAP1
00001cd3: SSTORE
00001cd4: POP
00001cd5: PUSH1 0x07
00001cd7: PUSH1 0x00
00001cd9: SWAP1
00001cda: SLOAD
00001cdb: SWAP1
00001cdc: PUSH2 0x0100
00001cdf: EXP
00001ce0: SWAP1
00001ce1: DIV
00001ce2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf7: AND
00001cf8: PUSH1 0x08
00001cfa: PUSH1 0x00
00001cfc: PUSH2 0x0100
00001cff: EXP
00001d00: DUP2
00001d01: SLOAD
00001d02: DUP2
00001d03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d18: MUL
00001d19: NOT
00001d1a: AND
00001d1b: SWAP1
00001d1c: DUP4
00001d1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d32: AND
00001d33: MUL
00001d34: OR
00001d35: SWAP1
00001d36: SSTORE
00001d37: POP
00001d38: POP
00001d39: JUMP
00001d3a: JUMPDEST
00001d3b: PUSH1 0x00
00001d3d: DUP1
00001d3e: PUSH1 0x00
00001d40: DUP1
00001d41: PUSH2 0x1d48
00001d44: PUSH2 0x3a72
00001d47: JUMP
00001d48: JUMPDEST
00001d49: PUSH1 0x00
00001d4b: DUP1
00001d4c: PUSH1 0x00
00001d4e: PUSH1 0x14
00001d50: SWAP1
00001d51: SLOAD
00001d52: SWAP1
00001d53: PUSH2 0x0100
00001d56: EXP
00001d57: SWAP1
00001d58: DIV
00001d59: PUSH1 0xff
00001d5b: AND
00001d5c: ISZERO
00001d5d: ISZERO
00001d5e: ISZERO
00001d5f: PUSH2 0x1d67
00001d62: JUMPI
00001d63: PUSH1 0x00
00001d65: DUP1
00001d66: REVERT
00001d67: JUMPDEST
00001d68: PUSH1 0x08
00001d6a: PUSH1 0x00
00001d6c: SWAP1
00001d6d: SLOAD
00001d6e: SWAP1
00001d6f: PUSH2 0x0100
00001d72: EXP
00001d73: SWAP1
00001d74: DIV
00001d75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d8a: AND
00001d8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da0: AND
00001da1: PUSH4 0xf6d51638
00001da6: DUP10
00001da7: PUSH1 0x40
00001da9: MLOAD
00001daa: DUP3
00001dab: PUSH4 0xffffffff
00001db0: AND
00001db1: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001dcf: MUL
00001dd0: DUP2
00001dd1: MSTORE
00001dd2: PUSH1 0x04
00001dd4: ADD
00001dd5: DUP1
00001dd6: DUP3
00001dd7: DUP2
00001dd8: MSTORE
00001dd9: PUSH1 0x20
00001ddb: ADD
00001ddc: SWAP2
00001ddd: POP
00001dde: POP
00001ddf: PUSH1 0x20
00001de1: PUSH1 0x40
00001de3: MLOAD
00001de4: DUP1
00001de5: DUP4
00001de6: SUB
00001de7: DUP2
00001de8: PUSH1 0x00
00001dea: DUP8
00001deb: DUP1
00001dec: EXTCODESIZE
00001ded: ISZERO
00001dee: DUP1
00001def: ISZERO
00001df0: PUSH2 0x1df8
00001df3: JUMPI
00001df4: PUSH1 0x00
00001df6: DUP1
00001df7: REVERT
00001df8: JUMPDEST
00001df9: POP
00001dfa: GAS
00001dfb: CALL
00001dfc: ISZERO
00001dfd: DUP1
00001dfe: ISZERO
00001dff: PUSH2 0x1e0c
00001e02: JUMPI
00001e03: RETURNDATASIZE
00001e04: PUSH1 0x00
00001e06: DUP1
00001e07: RETURNDATACOPY
00001e08: RETURNDATASIZE
00001e09: PUSH1 0x00
00001e0b: REVERT
00001e0c: JUMPDEST
00001e0d: POP
00001e0e: POP
00001e0f: POP
00001e10: POP
00001e11: PUSH1 0x40
00001e13: MLOAD
00001e14: RETURNDATASIZE
00001e15: PUSH1 0x20
00001e17: DUP2
00001e18: LT
00001e19: ISZERO
00001e1a: PUSH2 0x1e22
00001e1d: JUMPI
00001e1e: PUSH1 0x00
00001e20: DUP1
00001e21: REVERT
00001e22: JUMPDEST
00001e23: DUP2
00001e24: ADD
00001e25: SWAP1
00001e26: DUP1
00001e27: DUP1
00001e28: MLOAD
00001e29: SWAP1
00001e2a: PUSH1 0x20
00001e2c: ADD
00001e2d: SWAP1
00001e2e: SWAP3
00001e2f: SWAP2
00001e30: SWAP1
00001e31: POP
00001e32: POP
00001e33: POP
00001e34: SWAP6
00001e35: POP
00001e36: PUSH1 0x00
00001e38: SWAP5
00001e39: POP
00001e3a: JUMPDEST
00001e3b: DUP12
00001e3c: DUP12
00001e3d: SWAP1
00001e3e: POP
00001e3f: DUP6
00001e40: LT
00001e41: ISZERO
00001e42: PUSH2 0x2114
00001e45: JUMPI
00001e46: PUSH2 0x1e62
00001e49: DUP13
00001e4a: DUP13
00001e4b: DUP8
00001e4c: DUP2
00001e4d: DUP2
00001e4e: LT
00001e4f: ISZERO
00001e50: ISZERO
00001e51: PUSH2 0x1e56
00001e54: JUMPI
00001e55: INVALID
00001e56: JUMPDEST
00001e57: SWAP1
00001e58: POP
00001e59: PUSH1 0x20
00001e5b: MUL
00001e5c: ADD
00001e5d: CALLDATALOAD
00001e5e: PUSH2 0x0f86
00001e61: JUMP
00001e62: JUMPDEST
00001e63: SWAP4
00001e64: POP
00001e65: PUSH1 0x02
00001e67: DUP5
00001e68: DUP2
00001e69: SLOAD
00001e6a: DUP2
00001e6b: LT
00001e6c: ISZERO
00001e6d: ISZERO
00001e6e: PUSH2 0x1e73
00001e71: JUMPI
00001e72: INVALID
00001e73: JUMPDEST
00001e74: SWAP1
00001e75: PUSH1 0x00
00001e77: MSTORE
00001e78: PUSH1 0x20
00001e7a: PUSH1 0x00
00001e7c: KECCAK256
00001e7d: SWAP1
00001e7e: PUSH1 0x04
00001e80: MUL
00001e81: ADD
00001e82: PUSH1 0x80
00001e84: PUSH1 0x40
00001e86: MLOAD
00001e87: SWAP1
00001e88: DUP2
00001e89: ADD
00001e8a: PUSH1 0x40
00001e8c: MSTORE
00001e8d: SWAP1
00001e8e: DUP2
00001e8f: PUSH1 0x00
00001e91: DUP3
00001e92: ADD
00001e93: SLOAD
00001e94: DUP2
00001e95: MSTORE
00001e96: PUSH1 0x20
00001e98: ADD
00001e99: PUSH1 0x01
00001e9b: DUP3
00001e9c: ADD
00001e9d: PUSH1 0x00
00001e9f: SWAP1
00001ea0: SLOAD
00001ea1: SWAP1
00001ea2: PUSH2 0x0100
00001ea5: EXP
00001ea6: SWAP1
00001ea7: DIV
00001ea8: PUSH1 0xff
00001eaa: AND
00001eab: PUSH1 0xff
00001ead: AND
00001eae: PUSH1 0xff
00001eb0: AND
00001eb1: DUP2
00001eb2: MSTORE
00001eb3: PUSH1 0x20
00001eb5: ADD
00001eb6: PUSH1 0x02
00001eb8: DUP3
00001eb9: ADD
00001eba: SLOAD
00001ebb: DUP2
00001ebc: MSTORE
00001ebd: PUSH1 0x20
00001ebf: ADD
00001ec0: PUSH1 0x03
00001ec2: DUP3
00001ec3: ADD
00001ec4: PUSH1 0x00
00001ec6: SWAP1
00001ec7: SLOAD
00001ec8: SWAP1
00001ec9: PUSH2 0x0100
00001ecc: EXP
00001ecd: SWAP1
00001ece: DIV
00001ecf: PUSH1 0xff
00001ed1: AND
00001ed2: PUSH1 0xff
00001ed4: AND
00001ed5: PUSH1 0xff
00001ed7: AND
00001ed8: DUP2
00001ed9: MSTORE
00001eda: POP
00001edb: POP
00001edc: SWAP3
00001edd: POP
00001ede: PUSH1 0x00
00001ee0: DUP4
00001ee1: PUSH1 0x20
00001ee3: ADD
00001ee4: MLOAD
00001ee5: PUSH1 0xff
00001ee7: AND
00001ee8: EQ
00001ee9: ISZERO
00001eea: ISZERO
00001eeb: PUSH2 0x1ef3
00001eee: JUMPI
00001eef: PUSH1 0x00
00001ef1: DUP1
00001ef2: REVERT
00001ef3: JUMPDEST
00001ef4: PUSH1 0x01
00001ef6: DUP4
00001ef7: PUSH1 0x60
00001ef9: ADD
00001efa: MLOAD
00001efb: PUSH1 0xff
00001efd: AND
00001efe: EQ
00001eff: ISZERO
00001f00: ISZERO
00001f01: PUSH2 0x1f09
00001f04: JUMPI
00001f05: PUSH1 0x00
00001f07: DUP1
00001f08: REVERT
00001f09: JUMPDEST
00001f0a: DUP8
00001f0b: DUP4
00001f0c: PUSH1 0x40
00001f0e: ADD
00001f0f: MLOAD
00001f10: EQ
00001f11: ISZERO
00001f12: ISZERO
00001f13: PUSH2 0x1f1b
00001f16: JUMPI
00001f17: PUSH1 0x00
00001f19: DUP1
00001f1a: REVERT
00001f1b: JUMPDEST
00001f1c: PUSH1 0x00
00001f1e: PUSH1 0x02
00001f20: DUP6
00001f21: DUP2
00001f22: SLOAD
00001f23: DUP2
00001f24: LT
00001f25: ISZERO
00001f26: ISZERO
00001f27: PUSH2 0x1f2c
00001f2a: JUMPI
00001f2b: INVALID
00001f2c: JUMPDEST
00001f2d: SWAP1
00001f2e: PUSH1 0x00
00001f30: MSTORE
00001f31: PUSH1 0x20
00001f33: PUSH1 0x00
00001f35: KECCAK256
00001f36: SWAP1
00001f37: PUSH1 0x04
00001f39: MUL
00001f3a: ADD
00001f3b: PUSH1 0x02
00001f3d: ADD
00001f3e: DUP2
00001f3f: SWAP1
00001f40: SSTORE
00001f41: POP
00001f42: PUSH1 0x00
00001f44: PUSH1 0x02
00001f46: DUP6
00001f47: DUP2
00001f48: SLOAD
00001f49: DUP2
00001f4a: LT
00001f4b: ISZERO
00001f4c: ISZERO
00001f4d: PUSH2 0x1f52
00001f50: JUMPI
00001f51: INVALID
00001f52: JUMPDEST
00001f53: SWAP1
00001f54: PUSH1 0x00
00001f56: MSTORE
00001f57: PUSH1 0x20
00001f59: PUSH1 0x00
00001f5b: KECCAK256
00001f5c: SWAP1
00001f5d: PUSH1 0x04
00001f5f: MUL
00001f60: ADD
00001f61: PUSH1 0x03
00001f63: ADD
00001f64: PUSH1 0x00
00001f66: PUSH2 0x0100
00001f69: EXP
00001f6a: DUP2
00001f6b: SLOAD
00001f6c: DUP2
00001f6d: PUSH1 0xff
00001f6f: MUL
00001f70: NOT
00001f71: AND
00001f72: SWAP1
00001f73: DUP4
00001f74: PUSH1 0xff
00001f76: AND
00001f77: MUL
00001f78: OR
00001f79: SWAP1
00001f7a: SSTORE
00001f7b: POP
00001f7c: PUSH1 0x04
00001f7e: PUSH1 0x00
00001f80: DUP6
00001f81: DUP2
00001f82: MSTORE
00001f83: PUSH1 0x20
00001f85: ADD
00001f86: SWAP1
00001f87: DUP2
00001f88: MSTORE
00001f89: PUSH1 0x20
00001f8b: ADD
00001f8c: PUSH1 0x00
00001f8e: KECCAK256
00001f8f: PUSH1 0x00
00001f91: SWAP1
00001f92: SLOAD
00001f93: SWAP1
00001f94: PUSH2 0x0100
00001f97: EXP
00001f98: SWAP1
00001f99: DIV
00001f9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001faf: AND
00001fb0: SWAP2
00001fb1: POP
00001fb2: PUSH1 0x08
00001fb4: PUSH1 0x00
00001fb6: SWAP1
00001fb7: SLOAD
00001fb8: SWAP1
00001fb9: PUSH2 0x0100
00001fbc: EXP
00001fbd: SWAP1
00001fbe: DIV
00001fbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd4: AND
00001fd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fea: AND
00001feb: PUSH4 0x4ea5a6ac
00001ff0: DUP8
00001ff1: PUSH1 0x40
00001ff3: MLOAD
00001ff4: DUP3
00001ff5: PUSH4 0xffffffff
00001ffa: AND
00001ffb: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002019: MUL
0000201a: DUP2
0000201b: MSTORE
0000201c: PUSH1 0x04
0000201e: ADD
0000201f: DUP1
00002020: DUP3
00002021: DUP2
00002022: MSTORE
00002023: PUSH1 0x20
00002025: ADD
00002026: SWAP2
00002027: POP
00002028: POP
00002029: PUSH1 0x20
0000202b: PUSH1 0x40
0000202d: MLOAD
0000202e: DUP1
0000202f: DUP4
00002030: SUB
00002031: DUP2
00002032: PUSH1 0x00
00002034: DUP8
00002035: DUP1
00002036: EXTCODESIZE
00002037: ISZERO
00002038: DUP1
00002039: ISZERO
0000203a: PUSH2 0x2042
0000203d: JUMPI
0000203e: PUSH1 0x00
00002040: DUP1
00002041: REVERT
00002042: JUMPDEST
00002043: POP
00002044: GAS
00002045: CALL
00002046: ISZERO
00002047: DUP1
00002048: ISZERO
00002049: PUSH2 0x2056
0000204c: JUMPI
0000204d: RETURNDATASIZE
0000204e: PUSH1 0x00
00002050: DUP1
00002051: RETURNDATACOPY
00002052: RETURNDATASIZE
00002053: PUSH1 0x00
00002055: REVERT
00002056: JUMPDEST
00002057: POP
00002058: POP
00002059: POP
0000205a: POP
0000205b: PUSH1 0x40
0000205d: MLOAD
0000205e: RETURNDATASIZE
0000205f: PUSH1 0x20
00002061: DUP2
00002062: LT
00002063: ISZERO
00002064: PUSH2 0x206c
00002067: JUMPI
00002068: PUSH1 0x00
0000206a: DUP1
0000206b: REVERT
0000206c: JUMPDEST
0000206d: DUP2
0000206e: ADD
0000206f: SWAP1
00002070: DUP1
00002071: DUP1
00002072: MLOAD
00002073: SWAP1
00002074: PUSH1 0x20
00002076: ADD
00002077: SWAP1
00002078: SWAP3
00002079: SWAP2
0000207a: SWAP1
0000207b: POP
0000207c: POP
0000207d: POP
0000207e: SWAP1
0000207f: POP
00002080: DUP1
00002081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002096: AND
00002097: DUP3
00002098: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ad: AND
000020ae: EQ
000020af: ISZERO
000020b0: ISZERO
000020b1: PUSH2 0x2107
000020b4: JUMPI
000020b5: DUP1
000020b6: PUSH1 0x04
000020b8: PUSH1 0x00
000020ba: DUP7
000020bb: DUP2
000020bc: MSTORE
000020bd: PUSH1 0x20
000020bf: ADD
000020c0: SWAP1
000020c1: DUP2
000020c2: MSTORE
000020c3: PUSH1 0x20
000020c5: ADD
000020c6: PUSH1 0x00
000020c8: KECCAK256
000020c9: PUSH1 0x00
000020cb: PUSH2 0x0100
000020ce: EXP
000020cf: DUP2
000020d0: SLOAD
000020d1: DUP2
000020d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e7: MUL
000020e8: NOT
000020e9: AND
000020ea: SWAP1
000020eb: DUP4
000020ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002101: AND
00002102: MUL
00002103: OR
00002104: SWAP1
00002105: SSTORE
00002106: POP
00002107: JUMPDEST
00002108: DUP5
00002109: DUP1
0000210a: PUSH1 0x01
0000210c: ADD
0000210d: SWAP6
0000210e: POP
0000210f: POP
00002110: PUSH2 0x1e3a
00002113: JUMP
00002114: JUMPDEST
00002115: PUSH1 0x00
00002117: SWAP5
00002118: POP
00002119: JUMPDEST
0000211a: DUP10
0000211b: DUP10
0000211c: SWAP1
0000211d: POP
0000211e: DUP6
0000211f: LT
00002120: ISZERO
00002121: PUSH2 0x2269
00002124: JUMPI
00002125: PUSH2 0x2141
00002128: DUP11
00002129: DUP11
0000212a: DUP8
0000212b: DUP2
0000212c: DUP2
0000212d: LT
0000212e: ISZERO
0000212f: ISZERO
00002130: PUSH2 0x2135
00002133: JUMPI
00002134: INVALID
00002135: JUMPDEST
00002136: SWAP1
00002137: POP
00002138: PUSH1 0x20
0000213a: MUL
0000213b: ADD
0000213c: CALLDATALOAD
0000213d: PUSH2 0x0f86
00002140: JUMP
00002141: JUMPDEST
00002142: SWAP4
00002143: POP
00002144: PUSH1 0x02
00002146: DUP5
00002147: DUP2
00002148: SLOAD
00002149: DUP2
0000214a: LT
0000214b: ISZERO
0000214c: ISZERO
0000214d: PUSH2 0x2152
00002150: JUMPI
00002151: INVALID
00002152: JUMPDEST
00002153: SWAP1
00002154: PUSH1 0x00
00002156: MSTORE
00002157: PUSH1 0x20
00002159: PUSH1 0x00
0000215b: KECCAK256
0000215c: SWAP1
0000215d: PUSH1 0x04
0000215f: MUL
00002160: ADD
00002161: PUSH1 0x80
00002163: PUSH1 0x40
00002165: MLOAD
00002166: SWAP1
00002167: DUP2
00002168: ADD
00002169: PUSH1 0x40
0000216b: MSTORE
0000216c: SWAP1
0000216d: DUP2
0000216e: PUSH1 0x00
00002170: DUP3
00002171: ADD
00002172: SLOAD
00002173: DUP2
00002174: MSTORE
00002175: PUSH1 0x20
00002177: ADD
00002178: PUSH1 0x01
0000217a: DUP3
0000217b: ADD
0000217c: PUSH1 0x00
0000217e: SWAP1
0000217f: SLOAD
00002180: SWAP1
00002181: PUSH2 0x0100
00002184: EXP
00002185: SWAP1
00002186: DIV
00002187: PUSH1 0xff
00002189: AND
0000218a: PUSH1 0xff
0000218c: AND
0000218d: PUSH1 0xff
0000218f: AND
00002190: DUP2
00002191: MSTORE
00002192: PUSH1 0x20
00002194: ADD
00002195: PUSH1 0x02
00002197: DUP3
00002198: ADD
00002199: SLOAD
0000219a: DUP2
0000219b: MSTORE
0000219c: PUSH1 0x20
0000219e: ADD
0000219f: PUSH1 0x03
000021a1: DUP3
000021a2: ADD
000021a3: PUSH1 0x00
000021a5: SWAP1
000021a6: SLOAD
000021a7: SWAP1
000021a8: PUSH2 0x0100
000021ab: EXP
000021ac: SWAP1
000021ad: DIV
000021ae: PUSH1 0xff
000021b0: AND
000021b1: PUSH1 0xff
000021b3: AND
000021b4: PUSH1 0xff
000021b6: AND
000021b7: DUP2
000021b8: MSTORE
000021b9: POP
000021ba: POP
000021bb: SWAP3
000021bc: POP
000021bd: PUSH2 0x21c6
000021c0: CALLER
000021c1: DUP6
000021c2: PUSH2 0x32e7
000021c5: JUMP
000021c6: JUMPDEST
000021c7: ISZERO
000021c8: ISZERO
000021c9: PUSH2 0x21d1
000021cc: JUMPI
000021cd: PUSH1 0x00
000021cf: DUP1
000021d0: REVERT
000021d1: JUMPDEST
000021d2: PUSH1 0x00
000021d4: DUP4
000021d5: PUSH1 0x20
000021d7: ADD
000021d8: MLOAD
000021d9: PUSH1 0xff
000021db: AND
000021dc: EQ
000021dd: ISZERO
000021de: ISZERO
000021df: PUSH2 0x21e7
000021e2: JUMPI
000021e3: PUSH1 0x00
000021e5: DUP1
000021e6: REVERT
000021e7: JUMPDEST
000021e8: PUSH1 0x00
000021ea: DUP4
000021eb: PUSH1 0x60
000021ed: ADD
000021ee: MLOAD
000021ef: PUSH1 0xff
000021f1: AND
000021f2: EQ
000021f3: ISZERO
000021f4: ISZERO
000021f5: PUSH2 0x21fd
000021f8: JUMPI
000021f9: PUSH1 0x00
000021fb: DUP1
000021fc: REVERT
000021fd: JUMPDEST
000021fe: DUP8
000021ff: PUSH1 0x02
00002201: DUP6
00002202: DUP2
00002203: SLOAD
00002204: DUP2
00002205: LT
00002206: ISZERO
00002207: ISZERO
00002208: PUSH2 0x220d
0000220b: JUMPI
0000220c: INVALID
0000220d: JUMPDEST
0000220e: SWAP1
0000220f: PUSH1 0x00
00002211: MSTORE
00002212: PUSH1 0x20
00002214: PUSH1 0x00
00002216: KECCAK256
00002217: SWAP1
00002218: PUSH1 0x04
0000221a: MUL
0000221b: ADD
0000221c: PUSH1 0x02
0000221e: ADD
0000221f: DUP2
00002220: SWAP1
00002221: SSTORE
00002222: POP
00002223: PUSH1 0x01
00002225: PUSH1 0x02
00002227: DUP6
00002228: DUP2
00002229: SLOAD
0000222a: DUP2
0000222b: LT
0000222c: ISZERO
0000222d: ISZERO
0000222e: PUSH2 0x2233
00002231: JUMPI
00002232: INVALID
00002233: JUMPDEST
00002234: SWAP1
00002235: PUSH1 0x00
00002237: MSTORE
00002238: PUSH1 0x20
0000223a: PUSH1 0x00
0000223c: KECCAK256
0000223d: SWAP1
0000223e: PUSH1 0x04
00002240: MUL
00002241: ADD
00002242: PUSH1 0x03
00002244: ADD
00002245: PUSH1 0x00
00002247: PUSH2 0x0100
0000224a: EXP
0000224b: DUP2
0000224c: SLOAD
0000224d: DUP2
0000224e: PUSH1 0xff
00002250: MUL
00002251: NOT
00002252: AND
00002253: SWAP1
00002254: DUP4
00002255: PUSH1 0xff
00002257: AND
00002258: MUL
00002259: OR
0000225a: SWAP1
0000225b: SSTORE
0000225c: POP
0000225d: DUP5
0000225e: DUP1
0000225f: PUSH1 0x01
00002261: ADD
00002262: SWAP6
00002263: POP
00002264: POP
00002265: PUSH2 0x2119
00002268: JUMP
00002269: JUMPDEST
0000226a: PUSH1 0x01
0000226c: SWAP7
0000226d: POP
0000226e: POP
0000226f: POP
00002270: POP
00002271: POP
00002272: POP
00002273: POP
00002274: SWAP6
00002275: SWAP5
00002276: POP
00002277: POP
00002278: POP
00002279: POP
0000227a: POP
0000227b: JUMP
0000227c: JUMPDEST
0000227d: PUSH1 0x00
0000227f: PUSH2 0x2286
00002282: PUSH2 0x3a72
00002285: JUMP
00002286: JUMPDEST
00002287: PUSH2 0x228e
0000228a: PUSH2 0x3aa1
0000228d: JUMP
0000228e: JUMPDEST
0000228f: PUSH1 0x00
00002291: PUSH1 0x14
00002293: SWAP1
00002294: SLOAD
00002295: SWAP1
00002296: PUSH2 0x0100
00002299: EXP
0000229a: SWAP1
0000229b: DIV
0000229c: PUSH1 0xff
0000229e: AND
0000229f: ISZERO
000022a0: ISZERO
000022a1: ISZERO
000022a2: PUSH2 0x22aa
000022a5: JUMPI
000022a6: PUSH1 0x00
000022a8: DUP1
000022a9: REVERT
000022aa: JUMPDEST
000022ab: DUP4
000022ac: PUSH16 0xffffffffffffffffffffffffffffffff
000022bd: AND
000022be: DUP5
000022bf: EQ
000022c0: ISZERO
000022c1: ISZERO
000022c2: PUSH2 0x22ca
000022c5: JUMPI
000022c6: PUSH1 0x00
000022c8: DUP1
000022c9: REVERT
000022ca: JUMPDEST
000022cb: PUSH2 0x22d3
000022ce: DUP6
000022cf: PUSH2 0x0f86
000022d2: JUMP
000022d3: JUMPDEST
000022d4: SWAP3
000022d5: POP
000022d6: PUSH2 0x22df
000022d9: CALLER
000022da: DUP5
000022db: PUSH2 0x32e7
000022de: JUMP
000022df: JUMPDEST
000022e0: ISZERO
000022e1: ISZERO
000022e2: PUSH2 0x22ea
000022e5: JUMPI
000022e6: PUSH1 0x00
000022e8: DUP1
000022e9: REVERT
000022ea: JUMPDEST
000022eb: PUSH1 0x02
000022ed: DUP4
000022ee: DUP2
000022ef: SLOAD
000022f0: DUP2
000022f1: LT
000022f2: ISZERO
000022f3: ISZERO
000022f4: PUSH2 0x22f9
000022f7: JUMPI
000022f8: INVALID
000022f9: JUMPDEST
000022fa: SWAP1
000022fb: PUSH1 0x00
000022fd: MSTORE
000022fe: PUSH1 0x20
00002300: PUSH1 0x00
00002302: KECCAK256
00002303: SWAP1
00002304: PUSH1 0x04
00002306: MUL
00002307: ADD
00002308: PUSH1 0x80
0000230a: PUSH1 0x40
0000230c: MLOAD
0000230d: SWAP1
0000230e: DUP2
0000230f: ADD
00002310: PUSH1 0x40
00002312: MSTORE
00002313: SWAP1
00002314: DUP2
00002315: PUSH1 0x00
00002317: DUP3
00002318: ADD
00002319: SLOAD
0000231a: DUP2
0000231b: MSTORE
0000231c: PUSH1 0x20
0000231e: ADD
0000231f: PUSH1 0x01
00002321: DUP3
00002322: ADD
00002323: PUSH1 0x00
00002325: SWAP1
00002326: SLOAD
00002327: SWAP1
00002328: PUSH2 0x0100
0000232b: EXP
0000232c: SWAP1
0000232d: DIV
0000232e: PUSH1 0xff
00002330: AND
00002331: PUSH1 0xff
00002333: AND
00002334: PUSH1 0xff
00002336: AND
00002337: DUP2
00002338: MSTORE
00002339: PUSH1 0x20
0000233b: ADD
0000233c: PUSH1 0x02
0000233e: DUP3
0000233f: ADD
00002340: SLOAD
00002341: DUP2
00002342: MSTORE
00002343: PUSH1 0x20
00002345: ADD
00002346: PUSH1 0x03
00002348: DUP3
00002349: ADD
0000234a: PUSH1 0x00
0000234c: SWAP1
0000234d: SLOAD
0000234e: SWAP1
0000234f: PUSH2 0x0100
00002352: EXP
00002353: SWAP1
00002354: DIV
00002355: PUSH1 0xff
00002357: AND
00002358: PUSH1 0xff
0000235a: AND
0000235b: PUSH1 0xff
0000235d: AND
0000235e: DUP2
0000235f: MSTORE
00002360: POP
00002361: POP
00002362: SWAP2
00002363: POP
00002364: PUSH1 0x00
00002366: DUP3
00002367: PUSH1 0x20
00002369: ADD
0000236a: MLOAD
0000236b: PUSH1 0xff
0000236d: AND
0000236e: EQ
0000236f: ISZERO
00002370: ISZERO
00002371: PUSH2 0x2379
00002374: JUMPI
00002375: PUSH1 0x00
00002377: DUP1
00002378: REVERT
00002379: JUMPDEST
0000237a: PUSH1 0x00
0000237c: DUP3
0000237d: PUSH1 0x40
0000237f: ADD
00002380: MLOAD
00002381: EQ
00002382: ISZERO
00002383: ISZERO
00002384: PUSH2 0x238c
00002387: JUMPI
00002388: PUSH1 0x00
0000238a: DUP1
0000238b: REVERT
0000238c: JUMPDEST
0000238d: PUSH1 0x00
0000238f: DUP3
00002390: PUSH1 0x60
00002392: ADD
00002393: MLOAD
00002394: PUSH1 0xff
00002396: AND
00002397: EQ
00002398: ISZERO
00002399: ISZERO
0000239a: PUSH2 0x23a2
0000239d: JUMPI
0000239e: PUSH1 0x00
000023a0: DUP1
000023a1: REVERT
000023a2: JUMPDEST
000023a3: PUSH2 0x23ac
000023a6: DUP4
000023a7: CALLER
000023a8: PUSH2 0x3353
000023ab: JUMP
000023ac: JUMPDEST
000023ad: PUSH2 0x23b6
000023b0: CALLER
000023b1: DUP5
000023b2: PUSH2 0x3904
000023b5: JUMP
000023b6: JUMPDEST
000023b7: PUSH1 0x40
000023b9: DUP1
000023ba: MLOAD
000023bb: SWAP1
000023bc: DUP2
000023bd: ADD
000023be: PUSH1 0x40
000023c0: MSTORE
000023c1: DUP1
000023c2: CALLER
000023c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d8: AND
000023d9: DUP2
000023da: MSTORE
000023db: PUSH1 0x20
000023dd: ADD
000023de: DUP6
000023df: PUSH16 0xffffffffffffffffffffffffffffffff
000023f0: AND
000023f1: DUP2
000023f2: MSTORE
000023f3: POP
000023f4: SWAP1
000023f5: POP
000023f6: PUSH1 0x01
000023f8: PUSH1 0x02
000023fa: DUP5
000023fb: DUP2
000023fc: SLOAD
000023fd: DUP2
000023fe: LT
000023ff: ISZERO
00002400: ISZERO
00002401: PUSH2 0x2406
00002404: JUMPI
00002405: INVALID
00002406: JUMPDEST
00002407: SWAP1
00002408: PUSH1 0x00
0000240a: MSTORE
0000240b: PUSH1 0x20
0000240d: PUSH1 0x00
0000240f: KECCAK256
00002410: SWAP1
00002411: PUSH1 0x04
00002413: MUL
00002414: ADD
00002415: PUSH1 0x01
00002417: ADD
00002418: PUSH1 0x00
0000241a: PUSH2 0x0100
0000241d: EXP
0000241e: DUP2
0000241f: SLOAD
00002420: DUP2
00002421: PUSH1 0xff
00002423: MUL
00002424: NOT
00002425: AND
00002426: SWAP1
00002427: DUP4
00002428: PUSH1 0xff
0000242a: AND
0000242b: MUL
0000242c: OR
0000242d: SWAP1
0000242e: SSTORE
0000242f: POP
00002430: PUSH2 0x2439
00002433: DUP4
00002434: DUP3
00002435: PUSH2 0x3913
00002438: JUMP
00002439: JUMPDEST
0000243a: POP
0000243b: POP
0000243c: POP
0000243d: POP
0000243e: POP
0000243f: JUMP
00002440: JUMPDEST
00002441: PUSH1 0x00
00002443: PUSH1 0x14
00002445: SWAP1
00002446: SLOAD
00002447: SWAP1
00002448: PUSH2 0x0100
0000244b: EXP
0000244c: SWAP1
0000244d: DIV
0000244e: PUSH1 0xff
00002450: AND
00002451: DUP2
00002452: JUMP
00002453: JUMPDEST
00002454: PUSH1 0x00
00002456: PUSH1 0x04
00002458: PUSH1 0x00
0000245a: DUP4
0000245b: DUP2
0000245c: MSTORE
0000245d: PUSH1 0x20
0000245f: ADD
00002460: SWAP1
00002461: DUP2
00002462: MSTORE
00002463: PUSH1 0x20
00002465: ADD
00002466: PUSH1 0x00
00002468: KECCAK256
00002469: PUSH1 0x00
0000246b: SWAP1
0000246c: SLOAD
0000246d: SWAP1
0000246e: PUSH2 0x0100
00002471: EXP
00002472: SWAP1
00002473: DIV
00002474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002489: AND
0000248a: SWAP1
0000248b: POP
0000248c: PUSH1 0x00
0000248e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a3: AND
000024a4: DUP2
000024a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ba: AND
000024bb: EQ
000024bc: ISZERO
000024bd: ISZERO
000024be: ISZERO
000024bf: PUSH2 0x24c7
000024c2: JUMPI
000024c3: PUSH1 0x00
000024c5: DUP1
000024c6: REVERT
000024c7: JUMPDEST
000024c8: SWAP2
000024c9: SWAP1
000024ca: POP
000024cb: JUMP
000024cc: JUMPDEST
000024cd: PUSH1 0x05
000024cf: PUSH1 0x20
000024d1: MSTORE
000024d2: DUP1
000024d3: PUSH1 0x00
000024d5: MSTORE
000024d6: PUSH1 0x40
000024d8: PUSH1 0x00
000024da: KECCAK256
000024db: PUSH1 0x00
000024dd: SWAP2
000024de: POP
000024df: SWAP1
000024e0: POP
000024e1: SLOAD
000024e2: DUP2
000024e3: JUMP
000024e4: JUMPDEST
000024e5: PUSH1 0x0c
000024e7: PUSH1 0x00
000024e9: SWAP1
000024ea: SLOAD
000024eb: SWAP1
000024ec: PUSH2 0x0100
000024ef: EXP
000024f0: SWAP1
000024f1: DIV
000024f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002507: AND
00002508: DUP2
00002509: JUMP
0000250a: JUMPDEST
0000250b: PUSH1 0x00
0000250d: PUSH1 0x05
0000250f: PUSH1 0x00
00002511: DUP4
00002512: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002527: AND
00002528: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000253d: AND
0000253e: DUP2
0000253f: MSTORE
00002540: PUSH1 0x20
00002542: ADD
00002543: SWAP1
00002544: DUP2
00002545: MSTORE
00002546: PUSH1 0x20
00002548: ADD
00002549: PUSH1 0x00
0000254b: KECCAK256
0000254c: SLOAD
0000254d: SWAP1
0000254e: POP
0000254f: SWAP2
00002550: SWAP1
00002551: POP
00002552: JUMP
00002553: JUMPDEST
00002554: PUSH1 0x00
00002556: DUP1
00002557: PUSH1 0x00
00002559: DUP1
0000255a: PUSH1 0x14
0000255c: SWAP1
0000255d: SLOAD
0000255e: SWAP1
0000255f: PUSH2 0x0100
00002562: EXP
00002563: SWAP1
00002564: DIV
00002565: PUSH1 0xff
00002567: AND
00002568: ISZERO
00002569: ISZERO
0000256a: PUSH2 0x2572
0000256d: JUMPI
0000256e: PUSH1 0x00
00002570: DUP1
00002571: REVERT
00002572: JUMPDEST
00002573: PUSH1 0x00
00002575: DUP1
00002576: SWAP1
00002577: SLOAD
00002578: SWAP1
00002579: PUSH2 0x0100
0000257c: EXP
0000257d: SWAP1
0000257e: DIV
0000257f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002594: AND
00002595: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025aa: AND
000025ab: CALLER
000025ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025c1: AND
000025c2: EQ
000025c3: ISZERO
000025c4: ISZERO
000025c5: PUSH2 0x25cd
000025c8: JUMPI
000025c9: PUSH1 0x00
000025cb: DUP1
000025cc: REVERT
000025cd: JUMPDEST
000025ce: PUSH2 0x25d6
000025d1: DUP5
000025d2: PUSH2 0x0f86
000025d5: JUMP
000025d6: JUMPDEST
000025d7: SWAP3
000025d8: POP
000025d9: PUSH1 0x0a
000025db: PUSH1 0x00
000025dd: DUP5
000025de: DUP2
000025df: MSTORE
000025e0: PUSH1 0x20
000025e2: ADD
000025e3: SWAP1
000025e4: DUP2
000025e5: MSTORE
000025e6: PUSH1 0x20
000025e8: ADD
000025e9: PUSH1 0x00
000025eb: KECCAK256
000025ec: SWAP2
000025ed: POP
000025ee: DUP2
000025ef: PUSH1 0x00
000025f1: ADD
000025f2: PUSH1 0x00
000025f4: SWAP1
000025f5: SLOAD
000025f6: SWAP1
000025f7: PUSH2 0x0100
000025fa: EXP
000025fb: SWAP1
000025fc: DIV
000025fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002612: AND
00002613: SWAP1
00002614: POP
00002615: PUSH2 0x261d
00002618: DUP4
00002619: PUSH2 0x3a1b
0000261c: JUMP
0000261d: JUMPDEST
0000261e: DUP1
0000261f: PUSH1 0x04
00002621: PUSH1 0x00
00002623: DUP6
00002624: DUP2
00002625: MSTORE
00002626: PUSH1 0x20
00002628: ADD
00002629: SWAP1
0000262a: DUP2
0000262b: MSTORE
0000262c: PUSH1 0x20
0000262e: ADD
0000262f: PUSH1 0x00
00002631: KECCAK256
00002632: PUSH1 0x00
00002634: PUSH2 0x0100
00002637: EXP
00002638: DUP2
00002639: SLOAD
0000263a: DUP2
0000263b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002650: MUL
00002651: NOT
00002652: AND
00002653: SWAP1
00002654: DUP4
00002655: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000266a: AND
0000266b: MUL
0000266c: OR
0000266d: SWAP1
0000266e: SSTORE
0000266f: POP
00002670: PUSH1 0x00
00002672: PUSH1 0x02
00002674: DUP5
00002675: DUP2
00002676: SLOAD
00002677: DUP2
00002678: LT
00002679: ISZERO
0000267a: ISZERO
0000267b: PUSH2 0x2680
0000267e: JUMPI
0000267f: INVALID
00002680: JUMPDEST
00002681: SWAP1
00002682: PUSH1 0x00
00002684: MSTORE
00002685: PUSH1 0x20
00002687: PUSH1 0x00
00002689: KECCAK256
0000268a: SWAP1
0000268b: PUSH1 0x04
0000268d: MUL
0000268e: ADD
0000268f: PUSH1 0x01
00002691: ADD
00002692: PUSH1 0x00
00002694: PUSH2 0x0100
00002697: EXP
00002698: DUP2
00002699: SLOAD
0000269a: DUP2
0000269b: PUSH1 0xff
0000269d: MUL
0000269e: NOT
0000269f: AND
000026a0: SWAP1
000026a1: DUP4
000026a2: PUSH1 0xff
000026a4: AND
000026a5: MUL
000026a6: OR
000026a7: SWAP1
000026a8: SSTORE
000026a9: POP
000026aa: POP
000026ab: POP
000026ac: POP
000026ad: POP
000026ae: JUMP
000026af: JUMPDEST
000026b0: PUSH1 0x00
000026b2: DUP1
000026b3: PUSH1 0x00
000026b5: DUP1
000026b6: PUSH2 0x26bd
000026b9: PUSH2 0x3a72
000026bc: JUMP
000026bd: JUMPDEST
000026be: PUSH1 0x02
000026c0: PUSH2 0x26c8
000026c3: DUP8
000026c4: PUSH2 0x0f86
000026c7: JUMP
000026c8: JUMPDEST
000026c9: DUP2
000026ca: SLOAD
000026cb: DUP2
000026cc: LT
000026cd: ISZERO
000026ce: ISZERO
000026cf: PUSH2 0x26d4
000026d2: JUMPI
000026d3: INVALID
000026d4: JUMPDEST
000026d5: SWAP1
000026d6: PUSH1 0x00
000026d8: MSTORE
000026d9: PUSH1 0x20
000026db: PUSH1 0x00
000026dd: KECCAK256
000026de: SWAP1
000026df: PUSH1 0x04
000026e1: MUL
000026e2: ADD
000026e3: PUSH1 0x80
000026e5: PUSH1 0x40
000026e7: MLOAD
000026e8: SWAP1
000026e9: DUP2
000026ea: ADD
000026eb: PUSH1 0x40
000026ed: MSTORE
000026ee: SWAP1
000026ef: DUP2
000026f0: PUSH1 0x00
000026f2: DUP3
000026f3: ADD
000026f4: SLOAD
000026f5: DUP2
000026f6: MSTORE
000026f7: PUSH1 0x20
000026f9: ADD
000026fa: PUSH1 0x01
000026fc: DUP3
000026fd: ADD
000026fe: PUSH1 0x00
00002700: SWAP1
00002701: SLOAD
00002702: SWAP1
00002703: PUSH2 0x0100
00002706: EXP
00002707: SWAP1
00002708: DIV
00002709: PUSH1 0xff
0000270b: AND
0000270c: PUSH1 0xff
0000270e: AND
0000270f: PUSH1 0xff
00002711: AND
00002712: DUP2
00002713: MSTORE
00002714: PUSH1 0x20
00002716: ADD
00002717: PUSH1 0x02
00002719: DUP3
0000271a: ADD
0000271b: SLOAD
0000271c: DUP2
0000271d: MSTORE
0000271e: PUSH1 0x20
00002720: ADD
00002721: PUSH1 0x03
00002723: DUP3
00002724: ADD
00002725: PUSH1 0x00
00002727: SWAP1
00002728: SLOAD
00002729: SWAP1
0000272a: PUSH2 0x0100
0000272d: EXP
0000272e: SWAP1
0000272f: DIV
00002730: PUSH1 0xff
00002732: AND
00002733: PUSH1 0xff
00002735: AND
00002736: PUSH1 0xff
00002738: AND
00002739: DUP2
0000273a: MSTORE
0000273b: POP
0000273c: POP
0000273d: SWAP1
0000273e: POP
0000273f: DUP1
00002740: PUSH1 0x00
00002742: ADD
00002743: MLOAD
00002744: SWAP5
00002745: POP
00002746: DUP1
00002747: PUSH1 0x20
00002749: ADD
0000274a: MLOAD
0000274b: PUSH1 0xff
0000274d: AND
0000274e: SWAP4
0000274f: POP
00002750: DUP1
00002751: PUSH1 0x40
00002753: ADD
00002754: MLOAD
00002755: SWAP3
00002756: POP
00002757: DUP1
00002758: PUSH1 0x60
0000275a: ADD
0000275b: MLOAD
0000275c: PUSH1 0xff
0000275e: AND
0000275f: SWAP2
00002760: POP
00002761: POP
00002762: SWAP2
00002763: SWAP4
00002764: POP
00002765: SWAP2
00002766: SWAP4
00002767: JUMP
00002768: JUMPDEST
00002769: PUSH1 0x07
0000276b: PUSH1 0x00
0000276d: SWAP1
0000276e: SLOAD
0000276f: SWAP1
00002770: PUSH2 0x0100
00002773: EXP
00002774: SWAP1
00002775: DIV
00002776: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000278b: AND
0000278c: DUP2
0000278d: JUMP
0000278e: JUMPDEST
0000278f: PUSH1 0x00
00002791: DUP1
00002792: SWAP1
00002793: SLOAD
00002794: SWAP1
00002795: PUSH2 0x0100
00002798: EXP
00002799: SWAP1
0000279a: DIV
0000279b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027b0: AND
000027b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027c6: AND
000027c7: CALLER
000027c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027dd: AND
000027de: EQ
000027df: ISZERO
000027e0: ISZERO
000027e1: PUSH2 0x27e9
000027e4: JUMPI
000027e5: PUSH1 0x00
000027e7: DUP1
000027e8: REVERT
000027e9: JUMPDEST
000027ea: PUSH2 0x2710
000027ed: DUP2
000027ee: GT
000027ef: ISZERO
000027f0: ISZERO
000027f1: ISZERO
000027f2: PUSH2 0x27fa
000027f5: JUMPI
000027f6: PUSH1 0x00
000027f8: DUP1
000027f9: REVERT
000027fa: JUMPDEST
000027fb: DUP1
000027fc: PUSH1 0x0b
000027fe: DUP2
000027ff: SWAP1
00002800: SSTORE
00002801: POP
00002802: POP
00002803: JUMP
00002804: JUMPDEST
00002805: PUSH1 0x00
00002807: DUP1
00002808: PUSH1 0x00
0000280a: PUSH2 0x2812
0000280d: DUP5
0000280e: PUSH2 0x0f86
00002811: JUMP
00002812: JUMPDEST
00002813: SWAP3
00002814: POP
00002815: PUSH1 0x0a
00002817: PUSH1 0x00
00002819: DUP5
0000281a: DUP2
0000281b: MSTORE
0000281c: PUSH1 0x20
0000281e: ADD
0000281f: SWAP1
00002820: DUP2
00002821: MSTORE
00002822: PUSH1 0x20
00002824: ADD
00002825: PUSH1 0x00
00002827: KECCAK256
00002828: SWAP2
00002829: POP
0000282a: DUP2
0000282b: PUSH1 0x00
0000282d: ADD
0000282e: PUSH1 0x00
00002830: SWAP1
00002831: SLOAD
00002832: SWAP1
00002833: PUSH2 0x0100
00002836: EXP
00002837: SWAP1
00002838: DIV
00002839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000284e: AND
0000284f: SWAP1
00002850: POP
00002851: DUP1
00002852: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002867: AND
00002868: CALLER
00002869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000287e: AND
0000287f: EQ
00002880: ISZERO
00002881: ISZERO
00002882: PUSH2 0x288a
00002885: JUMPI
00002886: PUSH1 0x00
00002888: DUP1
00002889: REVERT
0000288a: JUMPDEST
0000288b: PUSH2 0x2893
0000288e: DUP4
0000288f: PUSH2 0x3a1b
00002892: JUMP
00002893: JUMPDEST
00002894: DUP1
00002895: PUSH1 0x04
00002897: PUSH1 0x00
00002899: DUP6
0000289a: DUP2
0000289b: MSTORE
0000289c: PUSH1 0x20
0000289e: ADD
0000289f: SWAP1
000028a0: DUP2
000028a1: MSTORE
000028a2: PUSH1 0x20
000028a4: ADD
000028a5: PUSH1 0x00
000028a7: KECCAK256
000028a8: PUSH1 0x00
000028aa: PUSH2 0x0100
000028ad: EXP
000028ae: DUP2
000028af: SLOAD
000028b0: DUP2
000028b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028c6: MUL
000028c7: NOT
000028c8: AND
000028c9: SWAP1
000028ca: DUP4
000028cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e0: AND
000028e1: MUL
000028e2: OR
000028e3: SWAP1
000028e4: SSTORE
000028e5: POP
000028e6: PUSH1 0x00
000028e8: PUSH1 0x02
000028ea: DUP5
000028eb: DUP2
000028ec: SLOAD
000028ed: DUP2
000028ee: LT
000028ef: ISZERO
000028f0: ISZERO
000028f1: PUSH2 0x28f6
000028f4: JUMPI
000028f5: INVALID
000028f6: JUMPDEST
000028f7: SWAP1
000028f8: PUSH1 0x00
000028fa: MSTORE
000028fb: PUSH1 0x20
000028fd: PUSH1 0x00
000028ff: KECCAK256
00002900: SWAP1
00002901: PUSH1 0x04
00002903: MUL
00002904: ADD
00002905: PUSH1 0x01
00002907: ADD
00002908: PUSH1 0x00
0000290a: PUSH2 0x0100
0000290d: EXP
0000290e: DUP2
0000290f: SLOAD
00002910: DUP2
00002911: PUSH1 0xff
00002913: MUL
00002914: NOT
00002915: AND
00002916: SWAP1
00002917: DUP4
00002918: PUSH1 0xff
0000291a: AND
0000291b: MUL
0000291c: OR
0000291d: SWAP1
0000291e: SSTORE
0000291f: POP
00002920: POP
00002921: POP
00002922: POP
00002923: POP
00002924: JUMP
00002925: JUMPDEST
00002926: PUSH1 0x00
00002928: DUP1
00002929: SWAP1
0000292a: SLOAD
0000292b: SWAP1
0000292c: PUSH2 0x0100
0000292f: EXP
00002930: SWAP1
00002931: DIV
00002932: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002947: AND
00002948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000295d: AND
0000295e: CALLER
0000295f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002974: AND
00002975: EQ
00002976: ISZERO
00002977: ISZERO
00002978: PUSH2 0x2980
0000297b: JUMPI
0000297c: PUSH1 0x00
0000297e: DUP1
0000297f: REVERT
00002980: JUMPDEST
00002981: DUP1
00002982: PUSH1 0x01
00002984: DUP2
00002985: SWAP1
00002986: SSTORE
00002987: POP
00002988: POP
00002989: JUMP
0000298a: JUMPDEST
0000298b: PUSH1 0x0b
0000298d: SLOAD
0000298e: DUP2
0000298f: JUMP
00002990: JUMPDEST
00002991: PUSH1 0x00
00002993: DUP1
00002994: SWAP1
00002995: SLOAD
00002996: SWAP1
00002997: PUSH2 0x0100
0000299a: EXP
0000299b: SWAP1
0000299c: DIV
0000299d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b2: AND
000029b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029c8: AND
000029c9: CALLER
000029ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029df: AND
000029e0: EQ
000029e1: ISZERO
000029e2: ISZERO
000029e3: PUSH2 0x29eb
000029e6: JUMPI
000029e7: PUSH1 0x00
000029e9: DUP1
000029ea: REVERT
000029eb: JUMPDEST
000029ec: PUSH1 0x00
000029ee: PUSH1 0x14
000029f0: SWAP1
000029f1: SLOAD
000029f2: SWAP1
000029f3: PUSH2 0x0100
000029f6: EXP
000029f7: SWAP1
000029f8: DIV
000029f9: PUSH1 0xff
000029fb: AND
000029fc: ISZERO
000029fd: ISZERO
000029fe: ISZERO
000029ff: PUSH2 0x2a07
00002a02: JUMPI
00002a03: PUSH1 0x00
00002a05: DUP1
00002a06: REVERT
00002a07: JUMPDEST
00002a08: PUSH1 0x01
00002a0a: PUSH1 0x00
00002a0c: PUSH1 0x14
00002a0e: PUSH2 0x0100
00002a11: EXP
00002a12: DUP2
00002a13: SLOAD
00002a14: DUP2
00002a15: PUSH1 0xff
00002a17: MUL
00002a18: NOT
00002a19: AND
00002a1a: SWAP1
00002a1b: DUP4
00002a1c: ISZERO
00002a1d: ISZERO
00002a1e: MUL
00002a1f: OR
00002a20: SWAP1
00002a21: SSTORE
00002a22: POP
00002a23: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625
00002a44: PUSH1 0x40
00002a46: MLOAD
00002a47: PUSH1 0x40
00002a49: MLOAD
00002a4a: DUP1
00002a4b: SWAP2
00002a4c: SUB
00002a4d: SWAP1
00002a4e: LOG1
00002a4f: JUMP
00002a50: JUMPDEST
00002a51: PUSH1 0x06
00002a53: PUSH1 0x20
00002a55: MSTORE
00002a56: DUP1
00002a57: PUSH1 0x00
00002a59: MSTORE
00002a5a: PUSH1 0x40
00002a5c: PUSH1 0x00
00002a5e: KECCAK256
00002a5f: PUSH1 0x00
00002a61: SWAP2
00002a62: POP
00002a63: SLOAD
00002a64: SWAP1
00002a65: PUSH2 0x0100
00002a68: EXP
00002a69: SWAP1
00002a6a: DIV
00002a6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a80: AND
00002a81: DUP2
00002a82: JUMP
00002a83: JUMPDEST
00002a84: PUSH1 0x00
00002a86: DUP1
00002a87: SWAP1
00002a88: SLOAD
00002a89: SWAP1
00002a8a: PUSH2 0x0100
00002a8d: EXP
00002a8e: SWAP1
00002a8f: DIV
00002a90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aa5: AND
00002aa6: DUP2
00002aa7: JUMP
00002aa8: JUMPDEST
00002aa9: PUSH1 0x03
00002aab: PUSH1 0x20
00002aad: MSTORE
00002aae: DUP1
00002aaf: PUSH1 0x00
00002ab1: MSTORE
00002ab2: PUSH1 0x40
00002ab4: PUSH1 0x00
00002ab6: KECCAK256
00002ab7: PUSH1 0x00
00002ab9: SWAP2
00002aba: POP
00002abb: SWAP1
00002abc: POP
00002abd: SLOAD
00002abe: DUP2
00002abf: JUMP
00002ac0: JUMPDEST
00002ac1: PUSH1 0x40
00002ac3: DUP1
00002ac4: MLOAD
00002ac5: SWAP1
00002ac6: DUP2
00002ac7: ADD
00002ac8: PUSH1 0x40
00002aca: MSTORE
00002acb: DUP1
00002acc: PUSH1 0x04
00002ace: DUP2
00002acf: MSTORE
00002ad0: PUSH1 0x20
00002ad2: ADD
00002ad3: PUSH32 0x4343484900000000000000000000000000000000000000000000000000000000
00002af4: DUP2
00002af5: MSTORE
00002af6: POP
00002af7: DUP2
00002af8: JUMP
00002af9: JUMPDEST
00002afa: PUSH1 0x00
00002afc: DUP1
00002afd: PUSH1 0x00
00002aff: DUP1
00002b00: PUSH1 0x00
00002b02: SWAP1
00002b03: SLOAD
00002b04: SWAP1
00002b05: PUSH2 0x0100
00002b08: EXP
00002b09: SWAP1
00002b0a: DIV
00002b0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b20: AND
00002b21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b36: AND
00002b37: CALLER
00002b38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b4d: AND
00002b4e: EQ
00002b4f: ISZERO
00002b50: ISZERO
00002b51: PUSH2 0x2b59
00002b54: JUMPI
00002b55: PUSH1 0x00
00002b57: DUP1
00002b58: REVERT
00002b59: JUMPDEST
00002b5a: PUSH1 0x00
00002b5c: SWAP2
00002b5d: POP
00002b5e: JUMPDEST
00002b5f: DUP7
00002b60: DUP7
00002b61: SWAP1
00002b62: POP
00002b63: DUP3
00002b64: LT
00002b65: ISZERO
00002b66: PUSH2 0x2bc5
00002b69: JUMPI
00002b6a: PUSH2 0x2bb6
00002b6d: DUP8
00002b6e: DUP8
00002b6f: DUP5
00002b70: DUP2
00002b71: DUP2
00002b72: LT
00002b73: ISZERO
00002b74: ISZERO
00002b75: PUSH2 0x2b7a
00002b78: JUMPI
00002b79: INVALID
00002b7a: JUMPDEST
00002b7b: SWAP1
00002b7c: POP
00002b7d: PUSH1 0x20
00002b7f: MUL
00002b80: ADD
00002b81: CALLDATALOAD
00002b82: PUSH1 0x00
00002b84: DUP1
00002b85: PUSH1 0x00
00002b87: DUP10
00002b88: DUP10
00002b89: DUP9
00002b8a: DUP2
00002b8b: DUP2
00002b8c: LT
00002b8d: ISZERO
00002b8e: ISZERO
00002b8f: PUSH2 0x2b94
00002b92: JUMPI
00002b93: INVALID
00002b94: JUMPDEST
00002b95: SWAP1
00002b96: POP
00002b97: PUSH1 0x20
00002b99: MUL
00002b9a: ADD
00002b9b: CALLDATALOAD
00002b9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bb1: AND
00002bb2: PUSH2 0x3441
00002bb5: JUMP
00002bb6: JUMPDEST
00002bb7: SWAP1
00002bb8: POP
00002bb9: DUP2
00002bba: DUP1
00002bbb: PUSH1 0x01
00002bbd: ADD
00002bbe: SWAP3
00002bbf: POP
00002bc0: POP
00002bc1: PUSH2 0x2b5e
00002bc4: JUMP
00002bc5: JUMPDEST
00002bc6: DUP1
00002bc7: SWAP3
00002bc8: POP
00002bc9: POP
00002bca: POP
00002bcb: SWAP5
00002bcc: SWAP4
00002bcd: POP
00002bce: POP
00002bcf: POP
00002bd0: POP
00002bd1: JUMP
00002bd2: JUMPDEST
00002bd3: PUSH1 0x00
00002bd5: PUSH1 0x14
00002bd7: SWAP1
00002bd8: SLOAD
00002bd9: SWAP1
00002bda: PUSH2 0x0100
00002bdd: EXP
00002bde: SWAP1
00002bdf: DIV
00002be0: PUSH1 0xff
00002be2: AND
00002be3: ISZERO
00002be4: ISZERO
00002be5: ISZERO
00002be6: PUSH2 0x2bee
00002be9: JUMPI
00002bea: PUSH1 0x00
00002bec: DUP1
00002bed: REVERT
00002bee: JUMPDEST
00002bef: PUSH1 0x00
00002bf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c06: AND
00002c07: DUP3
00002c08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c1d: AND
00002c1e: EQ
00002c1f: ISZERO
00002c20: ISZERO
00002c21: ISZERO
00002c22: PUSH2 0x2c2a
00002c25: JUMPI
00002c26: PUSH1 0x00
00002c28: DUP1
00002c29: REVERT
00002c2a: JUMPDEST
00002c2b: PUSH2 0x2c34
00002c2e: CALLER
00002c2f: DUP3
00002c30: PUSH2 0x32e7
00002c33: JUMP
00002c34: JUMPDEST
00002c35: ISZERO
00002c36: ISZERO
00002c37: PUSH2 0x2c3f
00002c3a: JUMPI
00002c3b: PUSH1 0x00
00002c3d: DUP1
00002c3e: REVERT
00002c3f: JUMPDEST
00002c40: PUSH2 0x2c4a
00002c43: CALLER
00002c44: DUP4
00002c45: DUP4
00002c46: PUSH2 0x3645
00002c49: JUMP
00002c4a: JUMPDEST
00002c4b: POP
00002c4c: POP
00002c4d: JUMP
00002c4e: JUMPDEST
00002c4f: PUSH1 0x00
00002c51: DUP1
00002c52: PUSH1 0x00
00002c54: DUP1
00002c55: PUSH2 0x2c5d
00002c58: DUP6
00002c59: PUSH2 0x0f86
00002c5c: JUMP
00002c5d: JUMPDEST
00002c5e: SWAP2
00002c5f: POP
00002c60: PUSH1 0x0a
00002c62: PUSH1 0x00
00002c64: DUP4
00002c65: DUP2
00002c66: MSTORE
00002c67: PUSH1 0x20
00002c69: ADD
00002c6a: SWAP1
00002c6b: DUP2
00002c6c: MSTORE
00002c6d: PUSH1 0x20
00002c6f: ADD
00002c70: PUSH1 0x00
00002c72: KECCAK256
00002c73: SWAP1
00002c74: POP
00002c75: DUP1
00002c76: PUSH1 0x00
00002c78: ADD
00002c79: PUSH1 0x00
00002c7b: SWAP1
00002c7c: SLOAD
00002c7d: SWAP1
00002c7e: PUSH2 0x0100
00002c81: EXP
00002c82: SWAP1
00002c83: DIV
00002c84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c99: AND
00002c9a: SWAP4
00002c9b: POP
00002c9c: DUP1
00002c9d: PUSH1 0x01
00002c9f: ADD
00002ca0: PUSH1 0x00
00002ca2: SWAP1
00002ca3: SLOAD
00002ca4: SWAP1
00002ca5: PUSH2 0x0100
00002ca8: EXP
00002ca9: SWAP1
00002caa: DIV
00002cab: PUSH16 0xffffffffffffffffffffffffffffffff
00002cbc: AND
00002cbd: PUSH16 0xffffffffffffffffffffffffffffffff
00002cce: AND
00002ccf: SWAP3
00002cd0: POP
00002cd1: POP
00002cd2: POP
00002cd3: SWAP2
00002cd4: POP
00002cd5: SWAP2
00002cd6: JUMP
00002cd7: JUMPDEST
00002cd8: PUSH1 0x02
00002cda: DUP2
00002cdb: DUP2
00002cdc: SLOAD
00002cdd: DUP2
00002cde: LT
00002cdf: ISZERO
00002ce0: ISZERO
00002ce1: PUSH2 0x2ce6
00002ce4: JUMPI
00002ce5: INVALID
00002ce6: JUMPDEST
00002ce7: SWAP1
00002ce8: PUSH1 0x00
00002cea: MSTORE
00002ceb: PUSH1 0x20
00002ced: PUSH1 0x00
00002cef: KECCAK256
00002cf0: SWAP1
00002cf1: PUSH1 0x04
00002cf3: MUL
00002cf4: ADD
00002cf5: PUSH1 0x00
00002cf7: SWAP2
00002cf8: POP
00002cf9: SWAP1
00002cfa: POP
00002cfb: DUP1
00002cfc: PUSH1 0x00
00002cfe: ADD
00002cff: SLOAD
00002d00: SWAP1
00002d01: DUP1
00002d02: PUSH1 0x01
00002d04: ADD
00002d05: PUSH1 0x00
00002d07: SWAP1
00002d08: SLOAD
00002d09: SWAP1
00002d0a: PUSH2 0x0100
00002d0d: EXP
00002d0e: SWAP1
00002d0f: DIV
00002d10: PUSH1 0xff
00002d12: AND
00002d13: SWAP1
00002d14: DUP1
00002d15: PUSH1 0x02
00002d17: ADD
00002d18: SLOAD
00002d19: SWAP1
00002d1a: DUP1
00002d1b: PUSH1 0x03
00002d1d: ADD
00002d1e: PUSH1 0x00
00002d20: SWAP1
00002d21: SLOAD
00002d22: SWAP1
00002d23: PUSH2 0x0100
00002d26: EXP
00002d27: SWAP1
00002d28: DIV
00002d29: PUSH1 0xff
00002d2b: AND
00002d2c: SWAP1
00002d2d: POP
00002d2e: DUP5
00002d2f: JUMP
00002d30: JUMPDEST
00002d31: PUSH1 0x00
00002d33: DUP1
00002d34: PUSH2 0x2d3b
00002d37: PUSH2 0x3a72
00002d3a: JUMP
00002d3b: JUMPDEST
00002d3c: PUSH1 0x00
00002d3e: PUSH1 0x14
00002d40: SWAP1
00002d41: SLOAD
00002d42: SWAP1
00002d43: PUSH2 0x0100
00002d46: EXP
00002d47: SWAP1
00002d48: DIV
00002d49: PUSH1 0xff
00002d4b: AND
00002d4c: ISZERO
00002d4d: ISZERO
00002d4e: ISZERO
00002d4f: PUSH2 0x2d57
00002d52: JUMPI
00002d53: PUSH1 0x00
00002d55: DUP1
00002d56: REVERT
00002d57: JUMPDEST
00002d58: PUSH2 0x2d60
00002d5b: DUP5
00002d5c: PUSH2 0x0f86
00002d5f: JUMP
00002d60: JUMPDEST
00002d61: SWAP2
00002d62: POP
00002d63: PUSH1 0x02
00002d65: DUP3
00002d66: DUP2
00002d67: SLOAD
00002d68: DUP2
00002d69: LT
00002d6a: ISZERO
00002d6b: ISZERO
00002d6c: PUSH2 0x2d71
00002d6f: JUMPI
00002d70: INVALID
00002d71: JUMPDEST
00002d72: SWAP1
00002d73: PUSH1 0x00
00002d75: MSTORE
00002d76: PUSH1 0x20
00002d78: PUSH1 0x00
00002d7a: KECCAK256
00002d7b: SWAP1
00002d7c: PUSH1 0x04
00002d7e: MUL
00002d7f: ADD
00002d80: PUSH1 0x80
00002d82: PUSH1 0x40
00002d84: MLOAD
00002d85: SWAP1
00002d86: DUP2
00002d87: ADD
00002d88: PUSH1 0x40
00002d8a: MSTORE
00002d8b: SWAP1
00002d8c: DUP2
00002d8d: PUSH1 0x00
00002d8f: DUP3
00002d90: ADD
00002d91: SLOAD
00002d92: DUP2
00002d93: MSTORE
00002d94: PUSH1 0x20
00002d96: ADD
00002d97: PUSH1 0x01
00002d99: DUP3
00002d9a: ADD
00002d9b: PUSH1 0x00
00002d9d: SWAP1
00002d9e: SLOAD
00002d9f: SWAP1
00002da0: PUSH2 0x0100
00002da3: EXP
00002da4: SWAP1
00002da5: DIV
00002da6: PUSH1 0xff
00002da8: AND
00002da9: PUSH1 0xff
00002dab: AND
00002dac: PUSH1 0xff
00002dae: AND
00002daf: DUP2
00002db0: MSTORE
00002db1: PUSH1 0x20
00002db3: ADD
00002db4: PUSH1 0x02
00002db6: DUP3
00002db7: ADD
00002db8: SLOAD
00002db9: DUP2
00002dba: MSTORE
00002dbb: PUSH1 0x20
00002dbd: ADD
00002dbe: PUSH1 0x03
00002dc0: DUP3
00002dc1: ADD
00002dc2: PUSH1 0x00
00002dc4: SWAP1
00002dc5: SLOAD
00002dc6: SWAP1
00002dc7: PUSH2 0x0100
00002dca: EXP
00002dcb: SWAP1
00002dcc: DIV
00002dcd: PUSH1 0xff
00002dcf: AND
00002dd0: PUSH1 0xff
00002dd2: AND
00002dd3: PUSH1 0xff
00002dd5: AND
00002dd6: DUP2
00002dd7: MSTORE
00002dd8: POP
00002dd9: POP
00002dda: SWAP1
00002ddb: POP
00002ddc: PUSH2 0x2de5
00002ddf: CALLER
00002de0: DUP4
00002de1: PUSH2 0x32e7
00002de4: JUMP
00002de5: JUMPDEST
00002de6: ISZERO
00002de7: ISZERO
00002de8: PUSH2 0x2df0
00002deb: JUMPI
00002dec: PUSH1 0x00
00002dee: DUP1
00002def: REVERT
00002df0: JUMPDEST
00002df1: PUSH1 0x00
00002df3: DUP2
00002df4: PUSH1 0x20
00002df6: ADD
00002df7: MLOAD
00002df8: PUSH1 0xff
00002dfa: AND
00002dfb: EQ
00002dfc: ISZERO
00002dfd: ISZERO
00002dfe: PUSH2 0x2e06
00002e01: JUMPI
00002e02: PUSH1 0x00
00002e04: DUP1
00002e05: REVERT
00002e06: JUMPDEST
00002e07: PUSH1 0x00
00002e09: DUP2
00002e0a: PUSH1 0x60
00002e0c: ADD
00002e0d: MLOAD
00002e0e: PUSH1 0xff
00002e10: AND
00002e11: EQ
00002e12: ISZERO
00002e13: ISZERO
00002e14: PUSH2 0x2e1c
00002e17: JUMPI
00002e18: PUSH1 0x00
00002e1a: DUP1
00002e1b: REVERT
00002e1c: JUMPDEST
00002e1d: PUSH1 0x03
00002e1f: PUSH1 0x00
00002e21: DUP6
00002e22: DUP2
00002e23: MSTORE
00002e24: PUSH1 0x20
00002e26: ADD
00002e27: SWAP1
00002e28: DUP2
00002e29: MSTORE
00002e2a: PUSH1 0x20
00002e2c: ADD
00002e2d: PUSH1 0x00
00002e2f: KECCAK256
00002e30: PUSH1 0x00
00002e32: SWAP1
00002e33: SSTORE
00002e34: PUSH1 0x02
00002e36: DUP3
00002e37: DUP2
00002e38: SLOAD
00002e39: DUP2
00002e3a: LT
00002e3b: ISZERO
00002e3c: ISZERO
00002e3d: PUSH2 0x2e42
00002e40: JUMPI
00002e41: INVALID
00002e42: JUMPDEST
00002e43: SWAP1
00002e44: PUSH1 0x00
00002e46: MSTORE
00002e47: PUSH1 0x20
00002e49: PUSH1 0x00
00002e4b: KECCAK256
00002e4c: SWAP1
00002e4d: PUSH1 0x04
00002e4f: MUL
00002e50: ADD
00002e51: PUSH1 0x00
00002e53: DUP1
00002e54: DUP3
00002e55: ADD
00002e56: PUSH1 0x00
00002e58: SWAP1
00002e59: SSTORE
00002e5a: PUSH1 0x01
00002e5c: DUP3
00002e5d: ADD
00002e5e: PUSH1 0x00
00002e60: PUSH2 0x0100
00002e63: EXP
00002e64: DUP2
00002e65: SLOAD
00002e66: SWAP1
00002e67: PUSH1 0xff
00002e69: MUL
00002e6a: NOT
00002e6b: AND
00002e6c: SWAP1
00002e6d: SSTORE
00002e6e: PUSH1 0x02
00002e70: DUP3
00002e71: ADD
00002e72: PUSH1 0x00
00002e74: SWAP1
00002e75: SSTORE
00002e76: PUSH1 0x03
00002e78: DUP3
00002e79: ADD
00002e7a: PUSH1 0x00
00002e7c: PUSH2 0x0100
00002e7f: EXP
00002e80: DUP2
00002e81: SLOAD
00002e82: SWAP1
00002e83: PUSH1 0xff
00002e85: MUL
00002e86: NOT
00002e87: AND
00002e88: SWAP1
00002e89: SSTORE
00002e8a: POP
00002e8b: POP
00002e8c: PUSH1 0x04
00002e8e: PUSH1 0x00
00002e90: DUP4
00002e91: DUP2
00002e92: MSTORE
00002e93: PUSH1 0x20
00002e95: ADD
00002e96: SWAP1
00002e97: DUP2
00002e98: MSTORE
00002e99: PUSH1 0x20
00002e9b: ADD
00002e9c: PUSH1 0x00
00002e9e: KECCAK256
00002e9f: PUSH1 0x00
00002ea1: PUSH2 0x0100
00002ea4: EXP
00002ea5: DUP2
00002ea6: SLOAD
00002ea7: SWAP1
00002ea8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ebd: MUL
00002ebe: NOT
00002ebf: AND
00002ec0: SWAP1
00002ec1: SSTORE
00002ec2: PUSH1 0x01
00002ec4: SWAP3
00002ec5: POP
00002ec6: POP
00002ec7: POP
00002ec8: SWAP2
00002ec9: SWAP1
00002eca: POP
00002ecb: JUMP
00002ecc: JUMPDEST
00002ecd: PUSH1 0x00
00002ecf: DUP1
00002ed0: PUSH1 0x00
00002ed2: SWAP1
00002ed3: SLOAD
00002ed4: SWAP1
00002ed5: PUSH2 0x0100
00002ed8: EXP
00002ed9: SWAP1
00002eda: DIV
00002edb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ef0: AND
00002ef1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f06: AND
00002f07: CALLER
00002f08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f1d: AND
00002f1e: EQ
00002f1f: ISZERO
00002f20: ISZERO
00002f21: PUSH2 0x2f29
00002f24: JUMPI
00002f25: PUSH1 0x00
00002f27: DUP1
00002f28: REVERT
00002f29: JUMPDEST
00002f2a: ADDRESS
00002f2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f40: AND
00002f41: BALANCE
00002f42: SWAP1
00002f43: POP
00002f44: DUP2
00002f45: DUP2
00002f46: GT
00002f47: ISZERO
00002f48: PUSH2 0x2fb6
00002f4b: JUMPI
00002f4c: PUSH1 0x00
00002f4e: DUP1
00002f4f: SWAP1
00002f50: SLOAD
00002f51: SWAP1
00002f52: PUSH2 0x0100
00002f55: EXP
00002f56: SWAP1
00002f57: DIV
00002f58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f6d: AND
00002f6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f83: AND
00002f84: PUSH2 0x08fc
00002f87: DUP4
00002f88: DUP4
00002f89: SUB
00002f8a: SWAP1
00002f8b: DUP2
00002f8c: ISZERO
00002f8d: MUL
00002f8e: SWAP1
00002f8f: PUSH1 0x40
00002f91: MLOAD
00002f92: PUSH1 0x00
00002f94: PUSH1 0x40
00002f96: MLOAD
00002f97: DUP1
00002f98: DUP4
00002f99: SUB
00002f9a: DUP2
00002f9b: DUP6
00002f9c: DUP9
00002f9d: DUP9
00002f9e: CALL
00002f9f: SWAP4
00002fa0: POP
00002fa1: POP
00002fa2: POP
00002fa3: POP
00002fa4: ISZERO
00002fa5: DUP1
00002fa6: ISZERO
00002fa7: PUSH2 0x2fb4
00002faa: JUMPI
00002fab: RETURNDATASIZE
00002fac: PUSH1 0x00
00002fae: DUP1
00002faf: RETURNDATACOPY
00002fb0: RETURNDATASIZE
00002fb1: PUSH1 0x00
00002fb3: REVERT
00002fb4: JUMPDEST
00002fb5: POP
00002fb6: JUMPDEST
00002fb7: POP
00002fb8: POP
00002fb9: JUMP
00002fba: JUMPDEST
00002fbb: PUSH1 0x00
00002fbd: DUP1
00002fbe: PUSH1 0x08
00002fc0: PUSH1 0x00
00002fc2: SWAP1
00002fc3: SLOAD
00002fc4: SWAP1
00002fc5: PUSH2 0x0100
00002fc8: EXP
00002fc9: SWAP1
00002fca: DIV
00002fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fe0: AND
00002fe1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ff6: AND
00002ff7: PUSH4 0xf6d51638
00002ffc: DUP5
00002ffd: PUSH1 0x40
00002fff: MLOAD
00003000: DUP3
00003001: PUSH4 0xffffffff
00003006: AND
00003007: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00003025: MUL
00003026: DUP2
00003027: MSTORE
00003028: PUSH1 0x04
0000302a: ADD
0000302b: DUP1
0000302c: DUP3
0000302d: DUP2
0000302e: MSTORE
0000302f: PUSH1 0x20
00003031: ADD
00003032: SWAP2
00003033: POP
00003034: POP
00003035: PUSH1 0x20
00003037: PUSH1 0x40
00003039: MLOAD
0000303a: DUP1
0000303b: DUP4
0000303c: SUB
0000303d: DUP2
0000303e: PUSH1 0x00
00003040: DUP8
00003041: DUP1
00003042: EXTCODESIZE
00003043: ISZERO
00003044: DUP1
00003045: ISZERO
00003046: PUSH2 0x304e
00003049: JUMPI
0000304a: PUSH1 0x00
0000304c: DUP1
0000304d: REVERT
0000304e: JUMPDEST
0000304f: POP
00003050: GAS
00003051: CALL
00003052: ISZERO
00003053: DUP1
00003054: ISZERO
00003055: PUSH2 0x3062
00003058: JUMPI
00003059: RETURNDATASIZE
0000305a: PUSH1 0x00
0000305c: DUP1
0000305d: RETURNDATACOPY
0000305e: RETURNDATASIZE
0000305f: PUSH1 0x00
00003061: REVERT
00003062: JUMPDEST
00003063: POP
00003064: POP
00003065: POP
00003066: POP
00003067: PUSH1 0x40
00003069: MLOAD
0000306a: RETURNDATASIZE
0000306b: PUSH1 0x20
0000306d: DUP2
0000306e: LT
0000306f: ISZERO
00003070: PUSH2 0x3078
00003073: JUMPI
00003074: PUSH1 0x00
00003076: DUP1
00003077: REVERT
00003078: JUMPDEST
00003079: DUP2
0000307a: ADD
0000307b: SWAP1
0000307c: DUP1
0000307d: DUP1
0000307e: MLOAD
0000307f: SWAP1
00003080: PUSH1 0x20
00003082: ADD
00003083: SWAP1
00003084: SWAP3
00003085: SWAP2
00003086: SWAP1
00003087: POP
00003088: POP
00003089: POP
0000308a: SWAP1
0000308b: POP
0000308c: PUSH1 0x08
0000308e: PUSH1 0x00
00003090: SWAP1
00003091: SLOAD
00003092: SWAP1
00003093: PUSH2 0x0100
00003096: EXP
00003097: SWAP1
00003098: DIV
00003099: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030ae: AND
000030af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030c4: AND
000030c5: PUSH4 0x4ea5a6ac
000030ca: DUP3
000030cb: PUSH1 0x40
000030cd: MLOAD
000030ce: DUP3
000030cf: PUSH4 0xffffffff
000030d4: AND
000030d5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000030f3: MUL
000030f4: DUP2
000030f5: MSTORE
000030f6: PUSH1 0x04
000030f8: ADD
000030f9: DUP1
000030fa: DUP3
000030fb: DUP2
000030fc: MSTORE
000030fd: PUSH1 0x20
000030ff: ADD
00003100: SWAP2
00003101: POP
00003102: POP
00003103: PUSH1 0x20
00003105: PUSH1 0x40
00003107: MLOAD
00003108: DUP1
00003109: DUP4
0000310a: SUB
0000310b: DUP2
0000310c: PUSH1 0x00
0000310e: DUP8
0000310f: DUP1
00003110: EXTCODESIZE
00003111: ISZERO
00003112: DUP1
00003113: ISZERO
00003114: PUSH2 0x311c
00003117: JUMPI
00003118: PUSH1 0x00
0000311a: DUP1
0000311b: REVERT
0000311c: JUMPDEST
0000311d: POP
0000311e: GAS
0000311f: CALL
00003120: ISZERO
00003121: DUP1
00003122: ISZERO
00003123: PUSH2 0x3130
00003126: JUMPI
00003127: RETURNDATASIZE
00003128: PUSH1 0x00
0000312a: DUP1
0000312b: RETURNDATACOPY
0000312c: RETURNDATASIZE
0000312d: PUSH1 0x00
0000312f: REVERT
00003130: JUMPDEST
00003131: POP
00003132: POP
00003133: POP
00003134: POP
00003135: PUSH1 0x40
00003137: MLOAD
00003138: RETURNDATASIZE
00003139: PUSH1 0x20
0000313b: DUP2
0000313c: LT
0000313d: ISZERO
0000313e: PUSH2 0x3146
00003141: JUMPI
00003142: PUSH1 0x00
00003144: DUP1
00003145: REVERT
00003146: JUMPDEST
00003147: DUP2
00003148: ADD
00003149: SWAP1
0000314a: DUP1
0000314b: DUP1
0000314c: MLOAD
0000314d: SWAP1
0000314e: PUSH1 0x20
00003150: ADD
00003151: SWAP1
00003152: SWAP3
00003153: SWAP2
00003154: SWAP1
00003155: POP
00003156: POP
00003157: POP
00003158: SWAP2
00003159: POP
0000315a: POP
0000315b: SWAP2
0000315c: SWAP1
0000315d: POP
0000315e: JUMP
0000315f: JUMPDEST
00003160: PUSH1 0x00
00003162: DUP1
00003163: SWAP1
00003164: SLOAD
00003165: SWAP1
00003166: PUSH2 0x0100
00003169: EXP
0000316a: SWAP1
0000316b: DIV
0000316c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003181: AND
00003182: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003197: AND
00003198: CALLER
00003199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031ae: AND
000031af: EQ
000031b0: ISZERO
000031b1: ISZERO
000031b2: PUSH2 0x31ba
000031b5: JUMPI
000031b6: PUSH1 0x00
000031b8: DUP1
000031b9: REVERT
000031ba: JUMPDEST
000031bb: PUSH1 0x00
000031bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031d2: AND
000031d3: DUP2
000031d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031e9: AND
000031ea: EQ
000031eb: ISZERO
000031ec: ISZERO
000031ed: ISZERO
000031ee: PUSH2 0x31f6
000031f1: JUMPI
000031f2: PUSH1 0x00
000031f4: DUP1
000031f5: REVERT
000031f6: JUMPDEST
000031f7: DUP1
000031f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000320d: AND
0000320e: PUSH1 0x00
00003210: DUP1
00003211: SWAP1
00003212: SLOAD
00003213: SWAP1
00003214: PUSH2 0x0100
00003217: EXP
00003218: SWAP1
00003219: DIV
0000321a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000322f: AND
00003230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003245: AND
00003246: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00003267: PUSH1 0x40
00003269: MLOAD
0000326a: PUSH1 0x40
0000326c: MLOAD
0000326d: DUP1
0000326e: SWAP2
0000326f: SUB
00003270: SWAP1
00003271: LOG3
00003272: DUP1
00003273: PUSH1 0x00
00003275: DUP1
00003276: PUSH2 0x0100
00003279: EXP
0000327a: DUP2
0000327b: SLOAD
0000327c: DUP2
0000327d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003292: MUL
00003293: NOT
00003294: AND
00003295: SWAP1
00003296: DUP4
00003297: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032ac: AND
000032ad: MUL
000032ae: OR
000032af: SWAP1
000032b0: SSTORE
000032b1: POP
000032b2: POP
000032b3: JUMP
000032b4: JUMPDEST
000032b5: PUSH1 0x04
000032b7: PUSH1 0x20
000032b9: MSTORE
000032ba: DUP1
000032bb: PUSH1 0x00
000032bd: MSTORE
000032be: PUSH1 0x40
000032c0: PUSH1 0x00
000032c2: KECCAK256
000032c3: PUSH1 0x00
000032c5: SWAP2
000032c6: POP
000032c7: SLOAD
000032c8: SWAP1
000032c9: PUSH2 0x0100
000032cc: EXP
000032cd: SWAP1
000032ce: DIV
000032cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032e4: AND
000032e5: DUP2
000032e6: JUMP
000032e7: JUMPDEST
000032e8: PUSH1 0x00
000032ea: DUP3
000032eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003300: AND
00003301: PUSH1 0x04
00003303: PUSH1 0x00
00003305: DUP5
00003306: DUP2
00003307: MSTORE
00003308: PUSH1 0x20
0000330a: ADD
0000330b: SWAP1
0000330c: DUP2
0000330d: MSTORE
0000330e: PUSH1 0x20
00003310: ADD
00003311: PUSH1 0x00
00003313: KECCAK256
00003314: PUSH1 0x00
00003316: SWAP1
00003317: SLOAD
00003318: SWAP1
00003319: PUSH2 0x0100
0000331c: EXP
0000331d: SWAP1
0000331e: DIV
0000331f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003334: AND
00003335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000334a: AND
0000334b: EQ
0000334c: SWAP1
0000334d: POP
0000334e: SWAP3
0000334f: SWAP2
00003350: POP
00003351: POP
00003352: JUMP
00003353: JUMPDEST
00003354: DUP1
00003355: PUSH1 0x06
00003357: PUSH1 0x00
00003359: DUP5
0000335a: DUP2
0000335b: MSTORE
0000335c: PUSH1 0x20
0000335e: ADD
0000335f: SWAP1
00003360: DUP2
00003361: MSTORE
00003362: PUSH1 0x20
00003364: ADD
00003365: PUSH1 0x00
00003367: KECCAK256
00003368: PUSH1 0x00
0000336a: PUSH2 0x0100
0000336d: EXP
0000336e: DUP2
0000336f: SLOAD
00003370: DUP2
00003371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003386: MUL
00003387: NOT
00003388: AND
00003389: SWAP1
0000338a: DUP4
0000338b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033a0: AND
000033a1: MUL
000033a2: OR
000033a3: SWAP1
000033a4: SSTORE
000033a5: POP
000033a6: POP
000033a7: POP
000033a8: JUMP
000033a9: JUMPDEST
000033aa: PUSH1 0x00
000033ac: PUSH2 0x33b3
000033af: PUSH2 0x3a5e
000033b2: JUMP
000033b3: JUMPDEST
000033b4: PUSH1 0x20
000033b6: PUSH1 0x40
000033b8: MLOAD
000033b9: SWAP1
000033ba: DUP2
000033bb: ADD
000033bc: PUSH1 0x40
000033be: MSTORE
000033bf: DUP1
000033c0: DUP5
000033c1: DUP2
000033c2: MSTORE
000033c3: POP
000033c4: SWAP1
000033c5: POP
000033c6: DUP1
000033c7: PUSH1 0x09
000033c9: PUSH1 0x00
000033cb: DUP7
000033cc: DUP2
000033cd: MSTORE
000033ce: PUSH1 0x20
000033d0: ADD
000033d1: SWAP1
000033d2: DUP2
000033d3: MSTORE
000033d4: PUSH1 0x20
000033d6: ADD
000033d7: PUSH1 0x00
000033d9: KECCAK256
000033da: PUSH1 0x00
000033dc: DUP6
000033dd: DUP2
000033de: MSTORE
000033df: PUSH1 0x20
000033e1: ADD
000033e2: SWAP1
000033e3: DUP2
000033e4: MSTORE
000033e5: PUSH1 0x20
000033e7: ADD
000033e8: PUSH1 0x00
000033ea: KECCAK256
000033eb: PUSH1 0x00
000033ed: DUP3
000033ee: ADD
000033ef: MLOAD
000033f0: DUP2
000033f1: PUSH1 0x00
000033f3: ADD
000033f4: SSTORE
000033f5: SWAP1
000033f6: POP
000033f7: POP
000033f8: PUSH32 0xd74036d0a17d4446b747ce494e60573744f560c13d416b6ffb1eb9a81ff18cab
00003419: DUP4
0000341a: DUP6
0000341b: PUSH1 0x40
0000341d: MLOAD
0000341e: DUP1
0000341f: DUP4
00003420: DUP2
00003421: MSTORE
00003422: PUSH1 0x20
00003424: ADD
00003425: DUP3
00003426: DUP2
00003427: MSTORE
00003428: PUSH1 0x20
0000342a: ADD
0000342b: SWAP3
0000342c: POP
0000342d: POP
0000342e: POP
0000342f: PUSH1 0x40
00003431: MLOAD
00003432: DUP1
00003433: SWAP2
00003434: SUB
00003435: SWAP1
00003436: LOG1
00003437: PUSH1 0x01
00003439: SWAP2
0000343a: POP
0000343b: POP
0000343c: SWAP3
0000343d: SWAP2
0000343e: POP
0000343f: POP
00003440: JUMP
00003441: JUMPDEST
00003442: PUSH1 0x00
00003444: PUSH2 0x344b
00003447: PUSH2 0x3a72
0000344a: JUMP
0000344b: JUMPDEST
0000344c: PUSH1 0x00
0000344e: PUSH1 0x80
00003450: PUSH1 0x40
00003452: MLOAD
00003453: SWAP1
00003454: DUP2
00003455: ADD
00003456: PUSH1 0x40
00003458: MSTORE
00003459: DUP1
0000345a: DUP10
0000345b: DUP2
0000345c: MSTORE
0000345d: PUSH1 0x20
0000345f: ADD
00003460: DUP9
00003461: PUSH1 0xff
00003463: AND
00003464: DUP2
00003465: MSTORE
00003466: PUSH1 0x20
00003468: ADD
00003469: DUP8
0000346a: DUP2
0000346b: MSTORE
0000346c: PUSH1 0x20
0000346e: ADD
0000346f: DUP7
00003470: PUSH1 0xff
00003472: AND
00003473: DUP2
00003474: MSTORE
00003475: POP
00003476: SWAP2
00003477: POP
00003478: PUSH1 0x01
0000347a: PUSH1 0x02
0000347c: DUP4
0000347d: SWAP1
0000347e: DUP1
0000347f: PUSH1 0x01
00003481: DUP2
00003482: SLOAD
00003483: ADD
00003484: DUP1
00003485: DUP3
00003486: SSTORE
00003487: DUP1
00003488: SWAP2
00003489: POP
0000348a: POP
0000348b: SWAP1
0000348c: PUSH1 0x01
0000348e: DUP3
0000348f: SUB
00003490: SWAP1
00003491: PUSH1 0x00
00003493: MSTORE
00003494: PUSH1 0x20
00003496: PUSH1 0x00
00003498: KECCAK256
00003499: SWAP1
0000349a: PUSH1 0x04
0000349c: MUL
0000349d: ADD
0000349e: PUSH1 0x00
000034a0: SWAP1
000034a1: SWAP2
000034a2: SWAP3
000034a3: SWAP1
000034a4: SWAP2
000034a5: SWAP1
000034a6: SWAP2
000034a7: POP
000034a8: PUSH1 0x00
000034aa: DUP3
000034ab: ADD
000034ac: MLOAD
000034ad: DUP2
000034ae: PUSH1 0x00
000034b0: ADD
000034b1: SSTORE
000034b2: PUSH1 0x20
000034b4: DUP3
000034b5: ADD
000034b6: MLOAD
000034b7: DUP2
000034b8: PUSH1 0x01
000034ba: ADD
000034bb: PUSH1 0x00
000034bd: PUSH2 0x0100
000034c0: EXP
000034c1: DUP2
000034c2: SLOAD
000034c3: DUP2
000034c4: PUSH1 0xff
000034c6: MUL
000034c7: NOT
000034c8: AND
000034c9: SWAP1
000034ca: DUP4
000034cb: PUSH1 0xff
000034cd: AND
000034ce: MUL
000034cf: OR
000034d0: SWAP1
000034d1: SSTORE
000034d2: POP
000034d3: PUSH1 0x40
000034d5: DUP3
000034d6: ADD
000034d7: MLOAD
000034d8: DUP2
000034d9: PUSH1 0x02
000034db: ADD
000034dc: SSTORE
000034dd: PUSH1 0x60
000034df: DUP3
000034e0: ADD
000034e1: MLOAD
000034e2: DUP2
000034e3: PUSH1 0x03
000034e5: ADD
000034e6: PUSH1 0x00
000034e8: PUSH2 0x0100
000034eb: EXP
000034ec: DUP2
000034ed: SLOAD
000034ee: DUP2
000034ef: PUSH1 0xff
000034f1: MUL
000034f2: NOT
000034f3: AND
000034f4: SWAP1
000034f5: DUP4
000034f6: PUSH1 0xff
000034f8: AND
000034f9: MUL
000034fa: OR
000034fb: SWAP1
000034fc: SSTORE
000034fd: POP
000034fe: POP
000034ff: POP
00003500: SUB
00003501: SWAP1
00003502: POP
00003503: DUP1
00003504: DUP2
00003505: EQ
00003506: ISZERO
00003507: ISZERO
00003508: PUSH2 0x3510
0000350b: JUMPI
0000350c: PUSH1 0x00
0000350e: DUP1
0000350f: REVERT
00003510: JUMPDEST
00003511: PUSH32 0x58f25bafb74c20778a1e28941b2b8b439c6585dcf2f5ebb39c3050bd7e26f09a
00003532: DUP5
00003533: DUP3
00003534: DUP11
00003535: PUSH1 0x40
00003537: MLOAD
00003538: DUP1
00003539: DUP5
0000353a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000354f: AND
00003550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003565: AND
00003566: DUP2
00003567: MSTORE
00003568: PUSH1 0x20
0000356a: ADD
0000356b: DUP4
0000356c: DUP2
0000356d: MSTORE
0000356e: PUSH1 0x20
00003570: ADD
00003571: DUP3
00003572: DUP2
00003573: MSTORE
00003574: PUSH1 0x20
00003576: ADD
00003577: SWAP4
00003578: POP
00003579: POP
0000357a: POP
0000357b: POP
0000357c: PUSH1 0x40
0000357e: MLOAD
0000357f: DUP1
00003580: SWAP2
00003581: SUB
00003582: SWAP1
00003583: LOG1
00003584: DUP1
00003585: PUSH1 0x03
00003587: PUSH1 0x00
00003589: DUP11
0000358a: DUP2
0000358b: MSTORE
0000358c: PUSH1 0x20
0000358e: ADD
0000358f: SWAP1
00003590: DUP2
00003591: MSTORE
00003592: PUSH1 0x20
00003594: ADD
00003595: PUSH1 0x00
00003597: KECCAK256
00003598: DUP2
00003599: SWAP1
0000359a: SSTORE
0000359b: POP
0000359c: PUSH2 0x35a7
0000359f: PUSH1 0x00
000035a1: DUP6
000035a2: DUP4
000035a3: PUSH2 0x3645
000035a6: JUMP
000035a7: JUMPDEST
000035a8: DUP1
000035a9: SWAP3
000035aa: POP
000035ab: POP
000035ac: POP
000035ad: SWAP6
000035ae: SWAP5
000035af: POP
000035b0: POP
000035b1: POP
000035b2: POP
000035b3: POP
000035b4: JUMP
000035b5: JUMPDEST
000035b6: PUSH1 0x0a
000035b8: PUSH1 0x00
000035ba: DUP3
000035bb: DUP2
000035bc: MSTORE
000035bd: PUSH1 0x20
000035bf: ADD
000035c0: SWAP1
000035c1: DUP2
000035c2: MSTORE
000035c3: PUSH1 0x20
000035c5: ADD
000035c6: PUSH1 0x00
000035c8: KECCAK256
000035c9: PUSH1 0x00
000035cb: DUP1
000035cc: DUP3
000035cd: ADD
000035ce: PUSH1 0x00
000035d0: PUSH2 0x0100
000035d3: EXP
000035d4: DUP2
000035d5: SLOAD
000035d6: SWAP1
000035d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035ec: MUL
000035ed: NOT
000035ee: AND
000035ef: SWAP1
000035f0: SSTORE
000035f1: PUSH1 0x01
000035f3: DUP3
000035f4: ADD
000035f5: PUSH1 0x00
000035f7: PUSH2 0x0100
000035fa: EXP
000035fb: DUP2
000035fc: SLOAD
000035fd: SWAP1
000035fe: PUSH16 0xffffffffffffffffffffffffffffffff
0000360f: MUL
00003610: NOT
00003611: AND
00003612: SWAP1
00003613: SSTORE
00003614: POP
00003615: POP
00003616: POP
00003617: JUMP
00003618: JUMPDEST
00003619: PUSH1 0x00
0000361b: PUSH2 0x2710
0000361e: PUSH1 0x0b
00003620: SLOAD
00003621: DUP4
00003622: PUSH16 0xffffffffffffffffffffffffffffffff
00003633: AND
00003634: MUL
00003635: DUP2
00003636: ISZERO
00003637: ISZERO
00003638: PUSH2 0x363d
0000363b: JUMPI
0000363c: INVALID
0000363d: JUMPDEST
0000363e: DIV
0000363f: SWAP1
00003640: POP
00003641: SWAP2
00003642: SWAP1
00003643: POP
00003644: JUMP
00003645: JUMPDEST
00003646: PUSH1 0x05
00003648: PUSH1 0x00
0000364a: DUP4
0000364b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003660: AND
00003661: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003676: AND
00003677: DUP2
00003678: MSTORE
00003679: PUSH1 0x20
0000367b: ADD
0000367c: SWAP1
0000367d: DUP2
0000367e: MSTORE
0000367f: PUSH1 0x20
00003681: ADD
00003682: PUSH1 0x00
00003684: KECCAK256
00003685: PUSH1 0x00
00003687: DUP2
00003688: SLOAD
00003689: DUP1
0000368a: SWAP3
0000368b: SWAP2
0000368c: SWAP1
0000368d: PUSH1 0x01
0000368f: ADD
00003690: SWAP2
00003691: SWAP1
00003692: POP
00003693: SSTORE
00003694: POP
00003695: PUSH1 0x05
00003697: PUSH1 0x00
00003699: DUP5
0000369a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036af: AND
000036b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036c5: AND
000036c6: DUP2
000036c7: MSTORE
000036c8: PUSH1 0x20
000036ca: ADD
000036cb: SWAP1
000036cc: DUP2
000036cd: MSTORE
000036ce: PUSH1 0x20
000036d0: ADD
000036d1: PUSH1 0x00
000036d3: KECCAK256
000036d4: PUSH1 0x00
000036d6: DUP2
000036d7: SLOAD
000036d8: DUP1
000036d9: SWAP3
000036da: SWAP2
000036db: SWAP1
000036dc: PUSH1 0x01
000036de: SWAP1
000036df: SUB
000036e0: SWAP2
000036e1: SWAP1
000036e2: POP
000036e3: SSTORE
000036e4: POP
000036e5: DUP2
000036e6: PUSH1 0x04
000036e8: PUSH1 0x00
000036ea: DUP4
000036eb: DUP2
000036ec: MSTORE
000036ed: PUSH1 0x20
000036ef: ADD
000036f0: SWAP1
000036f1: DUP2
000036f2: MSTORE
000036f3: PUSH1 0x20
000036f5: ADD
000036f6: PUSH1 0x00
000036f8: KECCAK256
000036f9: PUSH1 0x00
000036fb: PUSH2 0x0100
000036fe: EXP
000036ff: DUP2
00003700: SLOAD
00003701: DUP2
00003702: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003717: MUL
00003718: NOT
00003719: AND
0000371a: SWAP1
0000371b: DUP4
0000371c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003731: AND
00003732: MUL
00003733: OR
00003734: SWAP1
00003735: SSTORE
00003736: POP
00003737: PUSH32 0xa147cb4b0f35c9a0d326bd3c5186ffddbf8a675d4979ac8faf34839853a72b1a
00003758: DUP4
00003759: DUP4
0000375a: DUP4
0000375b: PUSH1 0x40
0000375d: MLOAD
0000375e: DUP1
0000375f: DUP5
00003760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003775: AND
00003776: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000378b: AND
0000378c: DUP2
0000378d: MSTORE
0000378e: PUSH1 0x20
00003790: ADD
00003791: DUP4
00003792: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037a7: AND
000037a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037bd: AND
000037be: DUP2
000037bf: MSTORE
000037c0: PUSH1 0x20
000037c2: ADD
000037c3: DUP3
000037c4: DUP2
000037c5: MSTORE
000037c6: PUSH1 0x20
000037c8: ADD
000037c9: SWAP4
000037ca: POP
000037cb: POP
000037cc: POP
000037cd: POP
000037ce: PUSH1 0x40
000037d0: MLOAD
000037d1: DUP1
000037d2: SWAP2
000037d3: SUB
000037d4: SWAP1
000037d5: LOG1
000037d6: POP
000037d7: POP
000037d8: POP
000037d9: JUMP
000037da: JUMPDEST
000037db: PUSH1 0x00
000037dd: DUP3
000037de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037f3: AND
000037f4: PUSH1 0x06
000037f6: PUSH1 0x00
000037f8: DUP5
000037f9: DUP2
000037fa: MSTORE
000037fb: PUSH1 0x20
000037fd: ADD
000037fe: SWAP1
000037ff: DUP2
00003800: MSTORE
00003801: PUSH1 0x20
00003803: ADD
00003804: PUSH1 0x00
00003806: KECCAK256
00003807: PUSH1 0x00
00003809: SWAP1
0000380a: SLOAD
0000380b: SWAP1
0000380c: PUSH2 0x0100
0000380f: EXP
00003810: SWAP1
00003811: DIV
00003812: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003827: AND
00003828: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000383d: AND
0000383e: EQ
0000383f: SWAP1
00003840: POP
00003841: SWAP3
00003842: SWAP2
00003843: POP
00003844: POP
00003845: JUMP
00003846: JUMPDEST
00003847: PUSH1 0x00
00003849: DUP1
0000384a: SWAP1
0000384b: SLOAD
0000384c: SWAP1
0000384d: PUSH2 0x0100
00003850: EXP
00003851: SWAP1
00003852: DIV
00003853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003868: AND
00003869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000387e: AND
0000387f: CALLER
00003880: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003895: AND
00003896: EQ
00003897: ISZERO
00003898: ISZERO
00003899: PUSH2 0x38a1
0000389c: JUMPI
0000389d: PUSH1 0x00
0000389f: DUP1
000038a0: REVERT
000038a1: JUMPDEST
000038a2: PUSH1 0x00
000038a4: PUSH1 0x14
000038a6: SWAP1
000038a7: SLOAD
000038a8: SWAP1
000038a9: PUSH2 0x0100
000038ac: EXP
000038ad: SWAP1
000038ae: DIV
000038af: PUSH1 0xff
000038b1: AND
000038b2: ISZERO
000038b3: ISZERO
000038b4: PUSH2 0x38bc
000038b7: JUMPI
000038b8: PUSH1 0x00
000038ba: DUP1
000038bb: REVERT
000038bc: JUMPDEST
000038bd: PUSH1 0x00
000038bf: DUP1
000038c0: PUSH1 0x14
000038c2: PUSH2 0x0100
000038c5: EXP
000038c6: DUP2
000038c7: SLOAD
000038c8: DUP2
000038c9: PUSH1 0xff
000038cb: MUL
000038cc: NOT
000038cd: AND
000038ce: SWAP1
000038cf: DUP4
000038d0: ISZERO
000038d1: ISZERO
000038d2: MUL
000038d3: OR
000038d4: SWAP1
000038d5: SSTORE
000038d6: POP
000038d7: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33
000038f8: PUSH1 0x40
000038fa: MLOAD
000038fb: PUSH1 0x40
000038fd: MLOAD
000038fe: DUP1
000038ff: SWAP2
00003900: SUB
00003901: SWAP1
00003902: LOG1
00003903: JUMP
00003904: JUMPDEST
00003905: PUSH2 0x390f
00003908: DUP3
00003909: ADDRESS
0000390a: DUP4
0000390b: PUSH2 0x19c4
0000390e: JUMP
0000390f: JUMPDEST
00003910: POP
00003911: POP
00003912: JUMP
00003913: JUMPDEST
00003914: DUP1
00003915: PUSH1 0x0a
00003917: PUSH1 0x00
00003919: DUP5
0000391a: DUP2
0000391b: MSTORE
0000391c: PUSH1 0x20
0000391e: ADD
0000391f: SWAP1
00003920: DUP2
00003921: MSTORE
00003922: PUSH1 0x20
00003924: ADD
00003925: PUSH1 0x00
00003927: KECCAK256
00003928: PUSH1 0x00
0000392a: DUP3
0000392b: ADD
0000392c: MLOAD
0000392d: DUP2
0000392e: PUSH1 0x00
00003930: ADD
00003931: PUSH1 0x00
00003933: PUSH2 0x0100
00003936: EXP
00003937: DUP2
00003938: SLOAD
00003939: DUP2
0000393a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000394f: MUL
00003950: NOT
00003951: AND
00003952: SWAP1
00003953: DUP4
00003954: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003969: AND
0000396a: MUL
0000396b: OR
0000396c: SWAP1
0000396d: SSTORE
0000396e: POP
0000396f: PUSH1 0x20
00003971: DUP3
00003972: ADD
00003973: MLOAD
00003974: DUP2
00003975: PUSH1 0x01
00003977: ADD
00003978: PUSH1 0x00
0000397a: PUSH2 0x0100
0000397d: EXP
0000397e: DUP2
0000397f: SLOAD
00003980: DUP2
00003981: PUSH16 0xffffffffffffffffffffffffffffffff
00003992: MUL
00003993: NOT
00003994: AND
00003995: SWAP1
00003996: DUP4
00003997: PUSH16 0xffffffffffffffffffffffffffffffff
000039a8: AND
000039a9: MUL
000039aa: OR
000039ab: SWAP1
000039ac: SSTORE
000039ad: POP
000039ae: SWAP1
000039af: POP
000039b0: POP
000039b1: PUSH32 0xf12aef2c32646275a380f60302a80ca6e9dea94aed5852880284c0a3f315e5d4
000039d2: DUP3
000039d3: DUP3
000039d4: PUSH1 0x20
000039d6: ADD
000039d7: MLOAD
000039d8: PUSH1 0x40
000039da: MLOAD
000039db: DUP1
000039dc: DUP4
000039dd: DUP2
000039de: MSTORE
000039df: PUSH1 0x20
000039e1: ADD
000039e2: DUP3
000039e3: PUSH16 0xffffffffffffffffffffffffffffffff
000039f4: AND
000039f5: PUSH16 0xffffffffffffffffffffffffffffffff
00003a06: AND
00003a07: DUP2
00003a08: MSTORE
00003a09: PUSH1 0x20
00003a0b: ADD
00003a0c: SWAP3
00003a0d: POP
00003a0e: POP
00003a0f: POP
00003a10: PUSH1 0x40
00003a12: MLOAD
00003a13: DUP1
00003a14: SWAP2
00003a15: SUB
00003a16: SWAP1
00003a17: LOG1
00003a18: POP
00003a19: POP
00003a1a: JUMP
00003a1b: JUMPDEST
00003a1c: PUSH2 0x3a24
00003a1f: DUP2
00003a20: PUSH2 0x35b5
00003a23: JUMP
00003a24: JUMPDEST
00003a25: PUSH32 0x8005b97e00de46db9e17d13eb84fe0ed3cabd23bfcc76ce93a5db1d6c3ed7ea8
00003a46: DUP2
00003a47: PUSH1 0x40
00003a49: MLOAD
00003a4a: DUP1
00003a4b: DUP3
00003a4c: DUP2
00003a4d: MSTORE
00003a4e: PUSH1 0x20
00003a50: ADD
00003a51: SWAP2
00003a52: POP
00003a53: POP
00003a54: PUSH1 0x40
00003a56: MLOAD
00003a57: DUP1
00003a58: SWAP2
00003a59: SUB
00003a5a: SWAP1
00003a5b: LOG1
00003a5c: POP
00003a5d: JUMP
00003a5e: JUMPDEST
00003a5f: PUSH1 0x20
00003a61: PUSH1 0x40
00003a63: MLOAD
00003a64: SWAP1
00003a65: DUP2
00003a66: ADD
00003a67: PUSH1 0x40
00003a69: MSTORE
00003a6a: DUP1
00003a6b: PUSH1 0x00
00003a6d: DUP2
00003a6e: MSTORE
00003a6f: POP
00003a70: SWAP1
00003a71: JUMP
00003a72: JUMPDEST
00003a73: PUSH1 0x80
00003a75: PUSH1 0x40
00003a77: MLOAD
00003a78: SWAP1
00003a79: DUP2
00003a7a: ADD
00003a7b: PUSH1 0x40
00003a7d: MSTORE
00003a7e: DUP1
00003a7f: PUSH1 0x00
00003a81: DUP2
00003a82: MSTORE
00003a83: PUSH1 0x20
00003a85: ADD
00003a86: PUSH1 0x00
00003a88: PUSH1 0xff
00003a8a: AND
00003a8b: DUP2
00003a8c: MSTORE
00003a8d: PUSH1 0x20
00003a8f: ADD
00003a90: PUSH1 0x00
00003a92: DUP2
00003a93: MSTORE
00003a94: PUSH1 0x20
00003a96: ADD
00003a97: PUSH1 0x00
00003a99: PUSH1 0xff
00003a9b: AND
00003a9c: DUP2
00003a9d: MSTORE
00003a9e: POP
00003a9f: SWAP1
00003aa0: JUMP
00003aa1: JUMPDEST
00003aa2: PUSH1 0x40
00003aa4: DUP1
00003aa5: MLOAD
00003aa6: SWAP1
00003aa7: DUP2
00003aa8: ADD
00003aa9: PUSH1 0x40
00003aab: MSTORE
00003aac: DUP1
00003aad: PUSH1 0x00
00003aaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ac4: AND
00003ac5: DUP2
00003ac6: MSTORE
00003ac7: PUSH1 0x20
00003ac9: ADD
00003aca: PUSH1 0x00
00003acc: PUSH16 0xffffffffffffffffffffffffffffffff
00003add: AND
00003ade: DUP2
00003adf: MSTORE
00003ae0: POP
00003ae1: SWAP1
00003ae2: JUMP
00003ae3: STOP
00003ae4: LOG1
00003ae5: PUSH6 0x627a7a723058
00003aec: KECCAK256
00003aed: PUSH8 0xc4d0c7c9b3d34c9a
00003af6: INVALID
00003af7: UNKNOWN(0xDE)
00003af8: UNKNOWN(0xDC)
00003af9: RETURN
00003afa: SWAP5
00003afb: SHL
00003afc: PUSH17 0x050f334370dc7c742af1485f4a8b2eb900
00003b0e: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xd44514fd00e6708e703bbaaa183d57e62690bd12d13aa604f5851121ee6dcad5
call_targets: 0xe2bef3e4da2dfce1fd970c8a9d233951c5c4382f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd44514fd00e6708e703bbaaa183d57e62690bd12d13aa604f5851121ee6dcad5",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe2bef3e4da2dfce1fd970c8a9d233951c5c4382f"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x016e03b1",
            "selector": "0x016e03b1",
            "calldata_variants": [
                "0x016e03b1",
                "0x016e03b10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0b0740ae",
            "selector": "0x0b0740ae",
            "calldata_variants": [
                "0x0b0740ae",
                "0x0b0740ae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0e22f284",
            "selector": "0x0e22f284",
            "calldata_variants": [
                "0x0e22f284",
                "0x0e22f2840000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x16685890",
            "selector": "0x16685890",
            "calldata_variants": [
                "0x16685890",
                "0x166858900000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5240,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5446,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5786,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 10,
    "guards_detected": [
        {
            "pc": 6522,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7060,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7281,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9643,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10183,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10344,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10590,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10697,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 11063,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 12039,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 12696,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 14463,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 10
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xd44514fd00e6708e703bbaaa183d57e62690bd12d13aa604f5851121ee6dcad5
call_targets: 0xe2bef3e4da2dfce1fd970c8a9d233951c5c4382f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd44514fd00e6708e703bbaaa183d57e62690bd12d13aa604f5851121ee6dcad5",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe2bef3e4da2dfce1fd970c8a9d233951c5c4382f"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x016e03b1",
            "selector": "0x016e03b1",
            "calldata_variants": [
                "0x016e03b1",
                "0x016e03b10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0b0740ae",
            "selector": "0x0b0740ae",
            "calldata_variants": [
                "0x0b0740ae",
                "0x0b0740ae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0e22f284",
            "selector": "0x0e22f284",
            "calldata_variants": [
                "0x0e22f284",
                "0x0e22f2840000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x16685890",
            "selector": "0x16685890",
            "calldata_variants": [
                "0x16685890",
                "0x166858900000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5240,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5446,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5786,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 10,
    "guards_detected": [
        {
            "pc": 6522,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7060,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7281,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9643,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10183,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10344,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10590,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10697,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 11063,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 12039,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 12696,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 14463,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}