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

Analysis Run

019b477e-ab7b-7065-bce4-2d49889fc77e

complete
Chain ID
1
Address
0x71eadb3f4acb430e485c34e655b1f350ac963e35
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
21027 artifact.fetch complete 1 / 3 4 months ago
21028 tool.cast_disasm complete 1 / 3 4 months ago
63990 analysis.bundle complete 1 / 3 2 weeks ago
63991 capability.graph complete 1 / 3 2 weeks ago
63992 detector.run complete 1 / 3 2 weeks ago
63993 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)
16
EXT*/BALANCE
15
Total opcodes
6332
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01b7
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x12da6e2b
0000003c: EQ
0000003d: PUSH2 0x047e
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x1e171d7c
00000047: EQ
00000048: PUSH2 0x04a7
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x25feb519
00000052: EQ
00000053: PUSH2 0x04d4
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x27dc297e
0000005d: EQ
0000005e: PUSH2 0x04fd
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x2c4e722e
00000068: EQ
00000069: PUSH2 0x0567
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x3197cbb6
00000073: EQ
00000074: PUSH2 0x0590
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x38bbfa50
0000007e: EQ
0000007f: PUSH2 0x05b9
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x40193883
00000089: EQ
0000008a: PUSH2 0x0666
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x4042b66f
00000094: EQ
00000095: PUSH2 0x068f
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x499caf09
0000009f: EQ
000000a0: PUSH2 0x06b8
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x4d77551a
000000aa: EQ
000000ab: PUSH2 0x06e1
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x4fb19db5
000000b5: EQ
000000b6: PUSH2 0x070a
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x550b1f48
000000c0: EQ
000000c1: PUSH2 0x0733
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x65bdadf6
000000cb: EQ
000000cc: PUSH2 0x075c
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x673a7e28
000000d6: EQ
000000d7: PUSH2 0x0785
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x6777e4eb
000000e1: EQ
000000e2: PUSH2 0x078f
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x68a6e74b
000000ec: EQ
000000ed: PUSH2 0x07b8
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x6f7bc9be
000000f7: EQ
000000f8: PUSH2 0x080d
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x707c750e
00000102: EQ
00000103: PUSH2 0x0865
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x71535f0d
0000010d: EQ
0000010e: PUSH2 0x088e
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x71ef7862
00000118: EQ
00000119: PUSH2 0x08b7
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0x746022c2
00000123: EQ
00000124: PUSH2 0x08e0
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0x77610ba2
0000012e: EQ
0000012f: PUSH2 0x08f5
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0x78e97925
00000139: EQ
0000013a: PUSH2 0x0918
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0x7d3d6522
00000144: EQ
00000145: PUSH2 0x0941
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0x8da5cb5b
0000014f: EQ
00000150: PUSH2 0x096e
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0x9a526b97
0000015a: EQ
0000015b: PUSH2 0x09c3
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0xb6f50c29
00000165: EQ
00000166: PUSH2 0x09fc
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0xbb424892
00000170: EQ
00000171: PUSH2 0x0a35
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0xc8997121
0000017b: EQ
0000017c: PUSH2 0x0a5e
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0xe00ac9a3
00000186: EQ
00000187: PUSH2 0x0a81
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0xecb70fb7
00000191: EQ
00000192: PUSH2 0x0aaa
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0xf1a252b8
0000019c: EQ
0000019d: PUSH2 0x0ad7
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0xf2fde38b
000001a7: EQ
000001a8: PUSH2 0x0aec
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0xfc0c546a
000001b2: EQ
000001b3: PUSH2 0x0b25
000001b6: JUMPI
000001b7: JUMPDEST
000001b8: PUSH1 0x00
000001ba: DUP1
000001bb: PUSH2 0x01c2
000001be: PUSH2 0x0b7a
000001c1: JUMP
000001c2: JUMPDEST
000001c3: ISZERO
000001c4: ISZERO
000001c5: ISZERO
000001c6: PUSH2 0x01ce
000001c9: JUMPI
000001ca: PUSH1 0x00
000001cc: DUP1
000001cd: REVERT
000001ce: JUMPDEST
000001cf: PUSH2 0x01d6
000001d2: PUSH2 0x0b86
000001d5: JUMP
000001d6: JUMPDEST
000001d7: ISZERO
000001d8: ISZERO
000001d9: ISZERO
000001da: PUSH2 0x01e2
000001dd: JUMPI
000001de: PUSH1 0x00
000001e0: DUP1
000001e1: REVERT
000001e2: JUMPDEST
000001e3: PUSH1 0x10
000001e5: SLOAD
000001e6: TIMESTAMP
000001e7: GT
000001e8: ISZERO
000001e9: ISZERO
000001ea: PUSH2 0x01f2
000001ed: JUMPI
000001ee: PUSH1 0x00
000001f0: DUP1
000001f1: REVERT
000001f2: JUMPDEST
000001f3: PUSH1 0x1d
000001f5: SLOAD
000001f6: CALLVALUE
000001f7: LT
000001f8: ISZERO
000001f9: ISZERO
000001fa: ISZERO
000001fb: PUSH2 0x0203
000001fe: JUMPI
000001ff: PUSH1 0x00
00000201: DUP1
00000202: REVERT
00000203: JUMPDEST
00000204: PUSH2 0x020c
00000207: CALLVALUE
00000208: PUSH2 0x0c63
0000020b: JUMP
0000020c: JUMPDEST
0000020d: ISZERO
0000020e: ISZERO
0000020f: PUSH2 0x0217
00000212: JUMPI
00000213: PUSH1 0x00
00000215: DUP1
00000216: REVERT
00000217: JUMPDEST
00000218: CALLVALUE
00000219: SWAP2
0000021a: POP
0000021b: PUSH2 0x0222
0000021e: PUSH2 0x0c76
00000221: JUMP
00000222: JUMPDEST
00000223: PUSH1 0x1b
00000225: DUP2
00000226: SWAP1
00000227: SSTORE
00000228: POP
00000229: PUSH2 0x023d
0000022c: PUSH1 0x1b
0000022e: SLOAD
0000022f: DUP4
00000230: PUSH2 0x0e2c
00000233: SWAP1
00000234: SWAP2
00000235: SWAP1
00000236: PUSH4 0xffffffff
0000023b: AND
0000023c: JUMP
0000023d: JUMPDEST
0000023e: SWAP1
0000023f: POP
00000240: PUSH2 0x0254
00000243: DUP3
00000244: PUSH1 0x1e
00000246: SLOAD
00000247: PUSH2 0x0e47
0000024a: SWAP1
0000024b: SWAP2
0000024c: SWAP1
0000024d: PUSH4 0xffffffff
00000252: AND
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH1 0x1e
00000257: DUP2
00000258: SWAP1
00000259: SSTORE
0000025a: POP
0000025b: PUSH1 0x0b
0000025d: PUSH1 0x00
0000025f: SWAP1
00000260: SLOAD
00000261: SWAP1
00000262: PUSH2 0x0100
00000265: EXP
00000266: SWAP1
00000267: DIV
00000268: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000027d: AND
0000027e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000293: AND
00000294: PUSH4 0x40c10f19
00000299: CALLER
0000029a: PUSH2 0x02b1
0000029d: PUSH1 0x19
0000029f: SLOAD
000002a0: PUSH1 0x0a
000002a2: EXP
000002a3: DUP6
000002a4: PUSH2 0x0e65
000002a7: SWAP1
000002a8: SWAP2
000002a9: SWAP1
000002aa: PUSH4 0xffffffff
000002af: AND
000002b0: JUMP
000002b1: JUMPDEST
000002b2: PUSH1 0x00
000002b4: PUSH1 0x40
000002b6: MLOAD
000002b7: PUSH1 0x20
000002b9: ADD
000002ba: MSTORE
000002bb: PUSH1 0x40
000002bd: MLOAD
000002be: DUP4
000002bf: PUSH4 0xffffffff
000002c4: AND
000002c5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000002e3: MUL
000002e4: DUP2
000002e5: MSTORE
000002e6: PUSH1 0x04
000002e8: ADD
000002e9: DUP1
000002ea: DUP4
000002eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000300: AND
00000301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000316: AND
00000317: DUP2
00000318: MSTORE
00000319: PUSH1 0x20
0000031b: ADD
0000031c: DUP3
0000031d: DUP2
0000031e: MSTORE
0000031f: PUSH1 0x20
00000321: ADD
00000322: SWAP3
00000323: POP
00000324: POP
00000325: POP
00000326: PUSH1 0x20
00000328: PUSH1 0x40
0000032a: MLOAD
0000032b: DUP1
0000032c: DUP4
0000032d: SUB
0000032e: DUP2
0000032f: PUSH1 0x00
00000331: DUP8
00000332: DUP1
00000333: EXTCODESIZE
00000334: ISZERO
00000335: ISZERO
00000336: PUSH2 0x033e
00000339: JUMPI
0000033a: PUSH1 0x00
0000033c: DUP1
0000033d: REVERT
0000033e: JUMPDEST
0000033f: PUSH2 0x02c6
00000342: GAS
00000343: SUB
00000344: CALL
00000345: ISZERO
00000346: ISZERO
00000347: PUSH2 0x034f
0000034a: JUMPI
0000034b: PUSH1 0x00
0000034d: DUP1
0000034e: REVERT
0000034f: JUMPDEST
00000350: POP
00000351: POP
00000352: POP
00000353: PUSH1 0x40
00000355: MLOAD
00000356: DUP1
00000357: MLOAD
00000358: SWAP1
00000359: POP
0000035a: POP
0000035b: CALLVALUE
0000035c: PUSH1 0x0c
0000035e: PUSH1 0x00
00000360: CALLER
00000361: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000376: AND
00000377: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000038c: AND
0000038d: DUP2
0000038e: MSTORE
0000038f: PUSH1 0x20
00000391: ADD
00000392: SWAP1
00000393: DUP2
00000394: MSTORE
00000395: PUSH1 0x20
00000397: ADD
00000398: PUSH1 0x00
0000039a: KECCAK256
0000039b: PUSH1 0x00
0000039d: ADD
0000039e: PUSH1 0x00
000003a0: DUP3
000003a1: DUP3
000003a2: SLOAD
000003a3: ADD
000003a4: SWAP3
000003a5: POP
000003a6: POP
000003a7: DUP2
000003a8: SWAP1
000003a9: SSTORE
000003aa: POP
000003ab: PUSH1 0x08
000003ad: DUP1
000003ae: SLOAD
000003af: DUP1
000003b0: PUSH1 0x01
000003b2: ADD
000003b3: DUP3
000003b4: DUP2
000003b5: PUSH2 0x03be
000003b8: SWAP2
000003b9: SWAP1
000003ba: PUSH2 0x35a3
000003bd: JUMP
000003be: JUMPDEST
000003bf: SWAP2
000003c0: PUSH1 0x00
000003c2: MSTORE
000003c3: PUSH1 0x20
000003c5: PUSH1 0x00
000003c7: KECCAK256
000003c8: SWAP1
000003c9: ADD
000003ca: PUSH1 0x00
000003cc: CALLER
000003cd: SWAP1
000003ce: SWAP2
000003cf: SWAP1
000003d0: SWAP2
000003d1: PUSH2 0x0100
000003d4: EXP
000003d5: DUP2
000003d6: SLOAD
000003d7: DUP2
000003d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ed: MUL
000003ee: NOT
000003ef: AND
000003f0: SWAP1
000003f1: DUP4
000003f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000407: AND
00000408: MUL
00000409: OR
0000040a: SWAP1
0000040b: SSTORE
0000040c: POP
0000040d: POP
0000040e: CALLER
0000040f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000424: AND
00000425: CALLER
00000426: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000043b: AND
0000043c: PUSH32 0x623b3804fa71d67900d064613da8f94b9617215ee90799290593e1745087ad18
0000045d: DUP5
0000045e: DUP5
0000045f: PUSH1 0x40
00000461: MLOAD
00000462: DUP1
00000463: DUP4
00000464: DUP2
00000465: MSTORE
00000466: PUSH1 0x20
00000468: ADD
00000469: DUP3
0000046a: DUP2
0000046b: MSTORE
0000046c: PUSH1 0x20
0000046e: ADD
0000046f: SWAP3
00000470: POP
00000471: POP
00000472: POP
00000473: PUSH1 0x40
00000475: MLOAD
00000476: DUP1
00000477: SWAP2
00000478: SUB
00000479: SWAP1
0000047a: LOG3
0000047b: POP
0000047c: POP
0000047d: STOP
0000047e: JUMPDEST
0000047f: CALLVALUE
00000480: ISZERO
00000481: PUSH2 0x0489
00000484: JUMPI
00000485: PUSH1 0x00
00000487: DUP1
00000488: REVERT
00000489: JUMPDEST
0000048a: PUSH2 0x0491
0000048d: PUSH2 0x0e98
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH1 0x40
00000494: MLOAD
00000495: DUP1
00000496: DUP3
00000497: DUP2
00000498: MSTORE
00000499: PUSH1 0x20
0000049b: ADD
0000049c: SWAP2
0000049d: POP
0000049e: POP
0000049f: PUSH1 0x40
000004a1: MLOAD
000004a2: DUP1
000004a3: SWAP2
000004a4: SUB
000004a5: SWAP1
000004a6: RETURN
000004a7: JUMPDEST
000004a8: CALLVALUE
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: PUSH2 0x04ba
000004b6: PUSH2 0x0b86
000004b9: JUMP
000004ba: JUMPDEST
000004bb: PUSH1 0x40
000004bd: MLOAD
000004be: DUP1
000004bf: DUP3
000004c0: ISZERO
000004c1: ISZERO
000004c2: ISZERO
000004c3: ISZERO
000004c4: DUP2
000004c5: MSTORE
000004c6: PUSH1 0x20
000004c8: ADD
000004c9: SWAP2
000004ca: POP
000004cb: POP
000004cc: PUSH1 0x40
000004ce: MLOAD
000004cf: DUP1
000004d0: SWAP2
000004d1: SUB
000004d2: SWAP1
000004d3: RETURN
000004d4: JUMPDEST
000004d5: CALLVALUE
000004d6: ISZERO
000004d7: PUSH2 0x04df
000004da: JUMPI
000004db: PUSH1 0x00
000004dd: DUP1
000004de: REVERT
000004df: JUMPDEST
000004e0: PUSH2 0x04e7
000004e3: PUSH2 0x0e9e
000004e6: JUMP
000004e7: JUMPDEST
000004e8: PUSH1 0x40
000004ea: MLOAD
000004eb: DUP1
000004ec: DUP3
000004ed: DUP2
000004ee: MSTORE
000004ef: PUSH1 0x20
000004f1: ADD
000004f2: SWAP2
000004f3: POP
000004f4: POP
000004f5: PUSH1 0x40
000004f7: MLOAD
000004f8: DUP1
000004f9: SWAP2
000004fa: SUB
000004fb: SWAP1
000004fc: RETURN
000004fd: JUMPDEST
000004fe: CALLVALUE
000004ff: ISZERO
00000500: PUSH2 0x0508
00000503: JUMPI
00000504: PUSH1 0x00
00000506: DUP1
00000507: REVERT
00000508: JUMPDEST
00000509: PUSH2 0x0565
0000050c: PUSH1 0x04
0000050e: DUP1
0000050f: DUP1
00000510: CALLDATALOAD
00000511: PUSH1 0x00
00000513: NOT
00000514: AND
00000515: SWAP1
00000516: PUSH1 0x20
00000518: ADD
00000519: SWAP1
0000051a: SWAP2
0000051b: SWAP1
0000051c: DUP1
0000051d: CALLDATALOAD
0000051e: SWAP1
0000051f: PUSH1 0x20
00000521: ADD
00000522: SWAP1
00000523: DUP3
00000524: ADD
00000525: DUP1
00000526: CALLDATALOAD
00000527: SWAP1
00000528: PUSH1 0x20
0000052a: ADD
0000052b: SWAP1
0000052c: DUP1
0000052d: DUP1
0000052e: PUSH1 0x1f
00000530: ADD
00000531: PUSH1 0x20
00000533: DUP1
00000534: SWAP2
00000535: DIV
00000536: MUL
00000537: PUSH1 0x20
00000539: ADD
0000053a: PUSH1 0x40
0000053c: MLOAD
0000053d: SWAP1
0000053e: DUP2
0000053f: ADD
00000540: PUSH1 0x40
00000542: MSTORE
00000543: DUP1
00000544: SWAP4
00000545: SWAP3
00000546: SWAP2
00000547: SWAP1
00000548: DUP2
00000549: DUP2
0000054a: MSTORE
0000054b: PUSH1 0x20
0000054d: ADD
0000054e: DUP4
0000054f: DUP4
00000550: DUP1
00000551: DUP3
00000552: DUP5
00000553: CALLDATACOPY
00000554: DUP3
00000555: ADD
00000556: SWAP2
00000557: POP
00000558: POP
00000559: POP
0000055a: POP
0000055b: POP
0000055c: POP
0000055d: SWAP2
0000055e: SWAP1
0000055f: POP
00000560: POP
00000561: PUSH2 0x0ea4
00000564: JUMP
00000565: JUMPDEST
00000566: STOP
00000567: JUMPDEST
00000568: CALLVALUE
00000569: ISZERO
0000056a: PUSH2 0x0572
0000056d: JUMPI
0000056e: PUSH1 0x00
00000570: DUP1
00000571: REVERT
00000572: JUMPDEST
00000573: PUSH2 0x057a
00000576: PUSH2 0x0faa
00000579: JUMP
0000057a: JUMPDEST
0000057b: PUSH1 0x40
0000057d: MLOAD
0000057e: DUP1
0000057f: DUP3
00000580: DUP2
00000581: MSTORE
00000582: PUSH1 0x20
00000584: ADD
00000585: SWAP2
00000586: POP
00000587: POP
00000588: PUSH1 0x40
0000058a: MLOAD
0000058b: DUP1
0000058c: SWAP2
0000058d: SUB
0000058e: SWAP1
0000058f: RETURN
00000590: JUMPDEST
00000591: CALLVALUE
00000592: ISZERO
00000593: PUSH2 0x059b
00000596: JUMPI
00000597: PUSH1 0x00
00000599: DUP1
0000059a: REVERT
0000059b: JUMPDEST
0000059c: PUSH2 0x05a3
0000059f: PUSH2 0x0fb0
000005a2: JUMP
000005a3: JUMPDEST
000005a4: PUSH1 0x40
000005a6: MLOAD
000005a7: DUP1
000005a8: DUP3
000005a9: DUP2
000005aa: MSTORE
000005ab: PUSH1 0x20
000005ad: ADD
000005ae: SWAP2
000005af: POP
000005b0: POP
000005b1: PUSH1 0x40
000005b3: MLOAD
000005b4: DUP1
000005b5: SWAP2
000005b6: SUB
000005b7: SWAP1
000005b8: RETURN
000005b9: JUMPDEST
000005ba: CALLVALUE
000005bb: ISZERO
000005bc: PUSH2 0x05c4
000005bf: JUMPI
000005c0: PUSH1 0x00
000005c2: DUP1
000005c3: REVERT
000005c4: JUMPDEST
000005c5: PUSH2 0x0664
000005c8: PUSH1 0x04
000005ca: DUP1
000005cb: DUP1
000005cc: CALLDATALOAD
000005cd: PUSH1 0x00
000005cf: NOT
000005d0: AND
000005d1: SWAP1
000005d2: PUSH1 0x20
000005d4: ADD
000005d5: SWAP1
000005d6: SWAP2
000005d7: SWAP1
000005d8: DUP1
000005d9: CALLDATALOAD
000005da: SWAP1
000005db: PUSH1 0x20
000005dd: ADD
000005de: SWAP1
000005df: DUP3
000005e0: ADD
000005e1: DUP1
000005e2: CALLDATALOAD
000005e3: SWAP1
000005e4: PUSH1 0x20
000005e6: ADD
000005e7: SWAP1
000005e8: DUP1
000005e9: DUP1
000005ea: PUSH1 0x1f
000005ec: ADD
000005ed: PUSH1 0x20
000005ef: DUP1
000005f0: SWAP2
000005f1: DIV
000005f2: MUL
000005f3: PUSH1 0x20
000005f5: ADD
000005f6: PUSH1 0x40
000005f8: MLOAD
000005f9: SWAP1
000005fa: DUP2
000005fb: ADD
000005fc: PUSH1 0x40
000005fe: MSTORE
000005ff: DUP1
00000600: SWAP4
00000601: SWAP3
00000602: SWAP2
00000603: SWAP1
00000604: DUP2
00000605: DUP2
00000606: MSTORE
00000607: PUSH1 0x20
00000609: ADD
0000060a: DUP4
0000060b: DUP4
0000060c: DUP1
0000060d: DUP3
0000060e: DUP5
0000060f: CALLDATACOPY
00000610: DUP3
00000611: ADD
00000612: SWAP2
00000613: POP
00000614: POP
00000615: POP
00000616: POP
00000617: POP
00000618: POP
00000619: SWAP2
0000061a: SWAP1
0000061b: DUP1
0000061c: CALLDATALOAD
0000061d: SWAP1
0000061e: PUSH1 0x20
00000620: ADD
00000621: SWAP1
00000622: DUP3
00000623: ADD
00000624: DUP1
00000625: CALLDATALOAD
00000626: SWAP1
00000627: PUSH1 0x20
00000629: ADD
0000062a: SWAP1
0000062b: DUP1
0000062c: DUP1
0000062d: PUSH1 0x1f
0000062f: ADD
00000630: PUSH1 0x20
00000632: DUP1
00000633: SWAP2
00000634: DIV
00000635: MUL
00000636: PUSH1 0x20
00000638: ADD
00000639: PUSH1 0x40
0000063b: MLOAD
0000063c: SWAP1
0000063d: DUP2
0000063e: ADD
0000063f: PUSH1 0x40
00000641: MSTORE
00000642: DUP1
00000643: SWAP4
00000644: SWAP3
00000645: SWAP2
00000646: SWAP1
00000647: DUP2
00000648: DUP2
00000649: MSTORE
0000064a: PUSH1 0x20
0000064c: ADD
0000064d: DUP4
0000064e: DUP4
0000064f: DUP1
00000650: DUP3
00000651: DUP5
00000652: CALLDATACOPY
00000653: DUP3
00000654: ADD
00000655: SWAP2
00000656: POP
00000657: POP
00000658: POP
00000659: POP
0000065a: POP
0000065b: POP
0000065c: SWAP2
0000065d: SWAP1
0000065e: POP
0000065f: POP
00000660: PUSH2 0x0fb6
00000663: JUMP
00000664: JUMPDEST
00000665: STOP
00000666: JUMPDEST
00000667: CALLVALUE
00000668: ISZERO
00000669: PUSH2 0x0671
0000066c: JUMPI
0000066d: PUSH1 0x00
0000066f: DUP1
00000670: REVERT
00000671: JUMPDEST
00000672: PUSH2 0x0679
00000675: PUSH2 0x0fbb
00000678: JUMP
00000679: JUMPDEST
0000067a: PUSH1 0x40
0000067c: MLOAD
0000067d: DUP1
0000067e: DUP3
0000067f: DUP2
00000680: MSTORE
00000681: PUSH1 0x20
00000683: ADD
00000684: SWAP2
00000685: POP
00000686: POP
00000687: PUSH1 0x40
00000689: MLOAD
0000068a: DUP1
0000068b: SWAP2
0000068c: SUB
0000068d: SWAP1
0000068e: RETURN
0000068f: JUMPDEST
00000690: CALLVALUE
00000691: ISZERO
00000692: PUSH2 0x069a
00000695: JUMPI
00000696: PUSH1 0x00
00000698: DUP1
00000699: REVERT
0000069a: JUMPDEST
0000069b: PUSH2 0x06a2
0000069e: PUSH2 0x0fc1
000006a1: JUMP
000006a2: JUMPDEST
000006a3: PUSH1 0x40
000006a5: MLOAD
000006a6: DUP1
000006a7: DUP3
000006a8: DUP2
000006a9: MSTORE
000006aa: PUSH1 0x20
000006ac: ADD
000006ad: SWAP2
000006ae: POP
000006af: POP
000006b0: PUSH1 0x40
000006b2: MLOAD
000006b3: DUP1
000006b4: SWAP2
000006b5: SUB
000006b6: SWAP1
000006b7: RETURN
000006b8: JUMPDEST
000006b9: CALLVALUE
000006ba: ISZERO
000006bb: PUSH2 0x06c3
000006be: JUMPI
000006bf: PUSH1 0x00
000006c1: DUP1
000006c2: REVERT
000006c3: JUMPDEST
000006c4: PUSH2 0x06cb
000006c7: PUSH2 0x0fc7
000006ca: JUMP
000006cb: JUMPDEST
000006cc: PUSH1 0x40
000006ce: MLOAD
000006cf: DUP1
000006d0: DUP3
000006d1: DUP2
000006d2: MSTORE
000006d3: PUSH1 0x20
000006d5: ADD
000006d6: SWAP2
000006d7: POP
000006d8: POP
000006d9: PUSH1 0x40
000006db: MLOAD
000006dc: DUP1
000006dd: SWAP2
000006de: SUB
000006df: SWAP1
000006e0: RETURN
000006e1: JUMPDEST
000006e2: CALLVALUE
000006e3: ISZERO
000006e4: PUSH2 0x06ec
000006e7: JUMPI
000006e8: PUSH1 0x00
000006ea: DUP1
000006eb: REVERT
000006ec: JUMPDEST
000006ed: PUSH2 0x06f4
000006f0: PUSH2 0x0fcd
000006f3: JUMP
000006f4: JUMPDEST
000006f5: PUSH1 0x40
000006f7: MLOAD
000006f8: DUP1
000006f9: DUP3
000006fa: DUP2
000006fb: MSTORE
000006fc: PUSH1 0x20
000006fe: ADD
000006ff: SWAP2
00000700: POP
00000701: POP
00000702: PUSH1 0x40
00000704: MLOAD
00000705: DUP1
00000706: SWAP2
00000707: SUB
00000708: SWAP1
00000709: RETURN
0000070a: JUMPDEST
0000070b: CALLVALUE
0000070c: ISZERO
0000070d: PUSH2 0x0715
00000710: JUMPI
00000711: PUSH1 0x00
00000713: DUP1
00000714: REVERT
00000715: JUMPDEST
00000716: PUSH2 0x071d
00000719: PUSH2 0x0fd3
0000071c: JUMP
0000071d: JUMPDEST
0000071e: PUSH1 0x40
00000720: MLOAD
00000721: DUP1
00000722: DUP3
00000723: DUP2
00000724: MSTORE
00000725: PUSH1 0x20
00000727: ADD
00000728: SWAP2
00000729: POP
0000072a: POP
0000072b: PUSH1 0x40
0000072d: MLOAD
0000072e: DUP1
0000072f: SWAP2
00000730: SUB
00000731: SWAP1
00000732: RETURN
00000733: JUMPDEST
00000734: CALLVALUE
00000735: ISZERO
00000736: PUSH2 0x073e
00000739: JUMPI
0000073a: PUSH1 0x00
0000073c: DUP1
0000073d: REVERT
0000073e: JUMPDEST
0000073f: PUSH2 0x0746
00000742: PUSH2 0x0fd9
00000745: JUMP
00000746: JUMPDEST
00000747: PUSH1 0x40
00000749: MLOAD
0000074a: DUP1
0000074b: DUP3
0000074c: DUP2
0000074d: MSTORE
0000074e: PUSH1 0x20
00000750: ADD
00000751: SWAP2
00000752: POP
00000753: POP
00000754: PUSH1 0x40
00000756: MLOAD
00000757: DUP1
00000758: SWAP2
00000759: SUB
0000075a: SWAP1
0000075b: RETURN
0000075c: JUMPDEST
0000075d: CALLVALUE
0000075e: ISZERO
0000075f: PUSH2 0x0767
00000762: JUMPI
00000763: PUSH1 0x00
00000765: DUP1
00000766: REVERT
00000767: JUMPDEST
00000768: PUSH2 0x076f
0000076b: PUSH2 0x0fdf
0000076e: JUMP
0000076f: JUMPDEST
00000770: PUSH1 0x40
00000772: MLOAD
00000773: DUP1
00000774: DUP3
00000775: DUP2
00000776: MSTORE
00000777: PUSH1 0x20
00000779: ADD
0000077a: SWAP2
0000077b: POP
0000077c: POP
0000077d: PUSH1 0x40
0000077f: MLOAD
00000780: DUP1
00000781: SWAP2
00000782: SUB
00000783: SWAP1
00000784: RETURN
00000785: JUMPDEST
00000786: PUSH2 0x078d
00000789: PUSH2 0x0fe5
0000078c: JUMP
0000078d: JUMPDEST
0000078e: STOP
0000078f: JUMPDEST
00000790: CALLVALUE
00000791: ISZERO
00000792: PUSH2 0x079a
00000795: JUMPI
00000796: PUSH1 0x00
00000798: DUP1
00000799: REVERT
0000079a: JUMPDEST
0000079b: PUSH2 0x07a2
0000079e: PUSH2 0x124d
000007a1: JUMP
000007a2: JUMPDEST
000007a3: PUSH1 0x40
000007a5: MLOAD
000007a6: DUP1
000007a7: DUP3
000007a8: DUP2
000007a9: MSTORE
000007aa: PUSH1 0x20
000007ac: ADD
000007ad: SWAP2
000007ae: POP
000007af: POP
000007b0: PUSH1 0x40
000007b2: MLOAD
000007b3: DUP1
000007b4: SWAP2
000007b5: SUB
000007b6: SWAP1
000007b7: RETURN
000007b8: JUMPDEST
000007b9: CALLVALUE
000007ba: ISZERO
000007bb: PUSH2 0x07c3
000007be: JUMPI
000007bf: PUSH1 0x00
000007c1: DUP1
000007c2: REVERT
000007c3: JUMPDEST
000007c4: PUSH2 0x07cb
000007c7: PUSH2 0x1253
000007ca: JUMP
000007cb: JUMPDEST
000007cc: PUSH1 0x40
000007ce: MLOAD
000007cf: DUP1
000007d0: DUP3
000007d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e6: AND
000007e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007fc: AND
000007fd: DUP2
000007fe: MSTORE
000007ff: PUSH1 0x20
00000801: ADD
00000802: SWAP2
00000803: POP
00000804: POP
00000805: PUSH1 0x40
00000807: MLOAD
00000808: DUP1
00000809: SWAP2
0000080a: SUB
0000080b: SWAP1
0000080c: RETURN
0000080d: JUMPDEST
0000080e: CALLVALUE
0000080f: ISZERO
00000810: PUSH2 0x0818
00000813: JUMPI
00000814: PUSH1 0x00
00000816: DUP1
00000817: REVERT
00000818: JUMPDEST
00000819: PUSH2 0x0844
0000081c: PUSH1 0x04
0000081e: DUP1
0000081f: DUP1
00000820: CALLDATALOAD
00000821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000836: AND
00000837: SWAP1
00000838: PUSH1 0x20
0000083a: ADD
0000083b: SWAP1
0000083c: SWAP2
0000083d: SWAP1
0000083e: POP
0000083f: POP
00000840: PUSH2 0x1279
00000843: JUMP
00000844: JUMPDEST
00000845: PUSH1 0x40
00000847: MLOAD
00000848: DUP1
00000849: DUP4
0000084a: DUP2
0000084b: MSTORE
0000084c: PUSH1 0x20
0000084e: ADD
0000084f: DUP3
00000850: ISZERO
00000851: ISZERO
00000852: ISZERO
00000853: ISZERO
00000854: DUP2
00000855: MSTORE
00000856: PUSH1 0x20
00000858: ADD
00000859: SWAP3
0000085a: POP
0000085b: POP
0000085c: POP
0000085d: PUSH1 0x40
0000085f: MLOAD
00000860: DUP1
00000861: SWAP2
00000862: SUB
00000863: SWAP1
00000864: RETURN
00000865: JUMPDEST
00000866: CALLVALUE
00000867: ISZERO
00000868: PUSH2 0x0870
0000086b: JUMPI
0000086c: PUSH1 0x00
0000086e: DUP1
0000086f: REVERT
00000870: JUMPDEST
00000871: PUSH2 0x0878
00000874: PUSH2 0x12aa
00000877: JUMP
00000878: JUMPDEST
00000879: PUSH1 0x40
0000087b: MLOAD
0000087c: DUP1
0000087d: DUP3
0000087e: DUP2
0000087f: MSTORE
00000880: PUSH1 0x20
00000882: ADD
00000883: SWAP2
00000884: POP
00000885: POP
00000886: PUSH1 0x40
00000888: MLOAD
00000889: DUP1
0000088a: SWAP2
0000088b: SUB
0000088c: SWAP1
0000088d: RETURN
0000088e: JUMPDEST
0000088f: CALLVALUE
00000890: ISZERO
00000891: PUSH2 0x0899
00000894: JUMPI
00000895: PUSH1 0x00
00000897: DUP1
00000898: REVERT
00000899: JUMPDEST
0000089a: PUSH2 0x08a1
0000089d: PUSH2 0x12b0
000008a0: JUMP
000008a1: JUMPDEST
000008a2: PUSH1 0x40
000008a4: MLOAD
000008a5: DUP1
000008a6: DUP3
000008a7: DUP2
000008a8: MSTORE
000008a9: PUSH1 0x20
000008ab: ADD
000008ac: SWAP2
000008ad: POP
000008ae: POP
000008af: PUSH1 0x40
000008b1: MLOAD
000008b2: DUP1
000008b3: SWAP2
000008b4: SUB
000008b5: SWAP1
000008b6: RETURN
000008b7: JUMPDEST
000008b8: CALLVALUE
000008b9: ISZERO
000008ba: PUSH2 0x08c2
000008bd: JUMPI
000008be: PUSH1 0x00
000008c0: DUP1
000008c1: REVERT
000008c2: JUMPDEST
000008c3: PUSH2 0x08ca
000008c6: PUSH2 0x12b6
000008c9: JUMP
000008ca: JUMPDEST
000008cb: PUSH1 0x40
000008cd: MLOAD
000008ce: DUP1
000008cf: DUP3
000008d0: DUP2
000008d1: MSTORE
000008d2: PUSH1 0x20
000008d4: ADD
000008d5: SWAP2
000008d6: POP
000008d7: POP
000008d8: PUSH1 0x40
000008da: MLOAD
000008db: DUP1
000008dc: SWAP2
000008dd: SUB
000008de: SWAP1
000008df: RETURN
000008e0: JUMPDEST
000008e1: CALLVALUE
000008e2: ISZERO
000008e3: PUSH2 0x08eb
000008e6: JUMPI
000008e7: PUSH1 0x00
000008e9: DUP1
000008ea: REVERT
000008eb: JUMPDEST
000008ec: PUSH2 0x08f3
000008ef: PUSH2 0x12bc
000008f2: JUMP
000008f3: JUMPDEST
000008f4: STOP
000008f5: JUMPDEST
000008f6: CALLVALUE
000008f7: ISZERO
000008f8: PUSH2 0x0900
000008fb: JUMPI
000008fc: PUSH1 0x00
000008fe: DUP1
000008ff: REVERT
00000900: JUMPDEST
00000901: PUSH2 0x0916
00000904: PUSH1 0x04
00000906: DUP1
00000907: DUP1
00000908: CALLDATALOAD
00000909: SWAP1
0000090a: PUSH1 0x20
0000090c: ADD
0000090d: SWAP1
0000090e: SWAP2
0000090f: SWAP1
00000910: POP
00000911: POP
00000912: PUSH2 0x14b8
00000915: JUMP
00000916: JUMPDEST
00000917: STOP
00000918: JUMPDEST
00000919: CALLVALUE
0000091a: ISZERO
0000091b: PUSH2 0x0923
0000091e: JUMPI
0000091f: PUSH1 0x00
00000921: DUP1
00000922: REVERT
00000923: JUMPDEST
00000924: PUSH2 0x092b
00000927: PUSH2 0x15dc
0000092a: JUMP
0000092b: JUMPDEST
0000092c: PUSH1 0x40
0000092e: MLOAD
0000092f: DUP1
00000930: DUP3
00000931: DUP2
00000932: MSTORE
00000933: PUSH1 0x20
00000935: ADD
00000936: SWAP2
00000937: POP
00000938: POP
00000939: PUSH1 0x40
0000093b: MLOAD
0000093c: DUP1
0000093d: SWAP2
0000093e: SUB
0000093f: SWAP1
00000940: RETURN
00000941: JUMPDEST
00000942: CALLVALUE
00000943: ISZERO
00000944: PUSH2 0x094c
00000947: JUMPI
00000948: PUSH1 0x00
0000094a: DUP1
0000094b: REVERT
0000094c: JUMPDEST
0000094d: PUSH2 0x0954
00000950: PUSH2 0x15e2
00000953: JUMP
00000954: JUMPDEST
00000955: PUSH1 0x40
00000957: MLOAD
00000958: DUP1
00000959: DUP3
0000095a: ISZERO
0000095b: ISZERO
0000095c: ISZERO
0000095d: ISZERO
0000095e: DUP2
0000095f: MSTORE
00000960: PUSH1 0x20
00000962: ADD
00000963: SWAP2
00000964: POP
00000965: POP
00000966: PUSH1 0x40
00000968: MLOAD
00000969: DUP1
0000096a: SWAP2
0000096b: SUB
0000096c: SWAP1
0000096d: RETURN
0000096e: JUMPDEST
0000096f: CALLVALUE
00000970: ISZERO
00000971: PUSH2 0x0979
00000974: JUMPI
00000975: PUSH1 0x00
00000977: DUP1
00000978: REVERT
00000979: JUMPDEST
0000097a: PUSH2 0x0981
0000097d: PUSH2 0x162b
00000980: JUMP
00000981: JUMPDEST
00000982: PUSH1 0x40
00000984: MLOAD
00000985: DUP1
00000986: DUP3
00000987: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099c: AND
0000099d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b2: AND
000009b3: DUP2
000009b4: MSTORE
000009b5: PUSH1 0x20
000009b7: ADD
000009b8: SWAP2
000009b9: POP
000009ba: POP
000009bb: PUSH1 0x40
000009bd: MLOAD
000009be: DUP1
000009bf: SWAP2
000009c0: SUB
000009c1: SWAP1
000009c2: RETURN
000009c3: JUMPDEST
000009c4: CALLVALUE
000009c5: ISZERO
000009c6: PUSH2 0x09ce
000009c9: JUMPI
000009ca: PUSH1 0x00
000009cc: DUP1
000009cd: REVERT
000009ce: JUMPDEST
000009cf: PUSH2 0x09fa
000009d2: PUSH1 0x04
000009d4: DUP1
000009d5: DUP1
000009d6: CALLDATALOAD
000009d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ec: AND
000009ed: SWAP1
000009ee: PUSH1 0x20
000009f0: ADD
000009f1: SWAP1
000009f2: SWAP2
000009f3: SWAP1
000009f4: POP
000009f5: POP
000009f6: PUSH2 0x1650
000009f9: JUMP
000009fa: JUMPDEST
000009fb: STOP
000009fc: JUMPDEST
000009fd: CALLVALUE
000009fe: ISZERO
000009ff: PUSH2 0x0a07
00000a02: JUMPI
00000a03: PUSH1 0x00
00000a05: DUP1
00000a06: REVERT
00000a07: JUMPDEST
00000a08: PUSH2 0x0a33
00000a0b: PUSH1 0x04
00000a0d: DUP1
00000a0e: DUP1
00000a0f: CALLDATALOAD
00000a10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a25: AND
00000a26: SWAP1
00000a27: PUSH1 0x20
00000a29: ADD
00000a2a: SWAP1
00000a2b: SWAP2
00000a2c: SWAP1
00000a2d: POP
00000a2e: POP
00000a2f: PUSH2 0x17db
00000a32: JUMP
00000a33: JUMPDEST
00000a34: STOP
00000a35: JUMPDEST
00000a36: CALLVALUE
00000a37: ISZERO
00000a38: PUSH2 0x0a40
00000a3b: JUMPI
00000a3c: PUSH1 0x00
00000a3e: DUP1
00000a3f: REVERT
00000a40: JUMPDEST
00000a41: PUSH2 0x0a48
00000a44: PUSH2 0x1966
00000a47: JUMP
00000a48: JUMPDEST
00000a49: PUSH1 0x40
00000a4b: MLOAD
00000a4c: DUP1
00000a4d: DUP3
00000a4e: DUP2
00000a4f: MSTORE
00000a50: PUSH1 0x20
00000a52: ADD
00000a53: SWAP2
00000a54: POP
00000a55: POP
00000a56: PUSH1 0x40
00000a58: MLOAD
00000a59: DUP1
00000a5a: SWAP2
00000a5b: SUB
00000a5c: SWAP1
00000a5d: RETURN
00000a5e: JUMPDEST
00000a5f: CALLVALUE
00000a60: ISZERO
00000a61: PUSH2 0x0a69
00000a64: JUMPI
00000a65: PUSH1 0x00
00000a67: DUP1
00000a68: REVERT
00000a69: JUMPDEST
00000a6a: PUSH2 0x0a7f
00000a6d: PUSH1 0x04
00000a6f: DUP1
00000a70: DUP1
00000a71: CALLDATALOAD
00000a72: SWAP1
00000a73: PUSH1 0x20
00000a75: ADD
00000a76: SWAP1
00000a77: SWAP2
00000a78: SWAP1
00000a79: POP
00000a7a: POP
00000a7b: PUSH2 0x196c
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: STOP
00000a81: JUMPDEST
00000a82: CALLVALUE
00000a83: ISZERO
00000a84: PUSH2 0x0a8c
00000a87: JUMPI
00000a88: PUSH1 0x00
00000a8a: DUP1
00000a8b: REVERT
00000a8c: JUMPDEST
00000a8d: PUSH2 0x0a94
00000a90: PUSH2 0x1b39
00000a93: JUMP
00000a94: JUMPDEST
00000a95: PUSH1 0x40
00000a97: MLOAD
00000a98: DUP1
00000a99: DUP3
00000a9a: DUP2
00000a9b: MSTORE
00000a9c: PUSH1 0x20
00000a9e: ADD
00000a9f: SWAP2
00000aa0: POP
00000aa1: POP
00000aa2: PUSH1 0x40
00000aa4: MLOAD
00000aa5: DUP1
00000aa6: SWAP2
00000aa7: SUB
00000aa8: SWAP1
00000aa9: RETURN
00000aaa: JUMPDEST
00000aab: CALLVALUE
00000aac: ISZERO
00000aad: PUSH2 0x0ab5
00000ab0: JUMPI
00000ab1: PUSH1 0x00
00000ab3: DUP1
00000ab4: REVERT
00000ab5: JUMPDEST
00000ab6: PUSH2 0x0abd
00000ab9: PUSH2 0x0b7a
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH1 0x40
00000ac0: MLOAD
00000ac1: DUP1
00000ac2: DUP3
00000ac3: ISZERO
00000ac4: ISZERO
00000ac5: ISZERO
00000ac6: ISZERO
00000ac7: DUP2
00000ac8: MSTORE
00000ac9: PUSH1 0x20
00000acb: ADD
00000acc: SWAP2
00000acd: POP
00000ace: POP
00000acf: PUSH1 0x40
00000ad1: MLOAD
00000ad2: DUP1
00000ad3: SWAP2
00000ad4: SUB
00000ad5: SWAP1
00000ad6: RETURN
00000ad7: JUMPDEST
00000ad8: CALLVALUE
00000ad9: ISZERO
00000ada: PUSH2 0x0ae2
00000add: JUMPI
00000ade: PUSH1 0x00
00000ae0: DUP1
00000ae1: REVERT
00000ae2: JUMPDEST
00000ae3: PUSH2 0x0aea
00000ae6: PUSH2 0x1b3f
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: STOP
00000aec: JUMPDEST
00000aed: CALLVALUE
00000aee: ISZERO
00000aef: PUSH2 0x0af7
00000af2: JUMPI
00000af3: PUSH1 0x00
00000af5: DUP1
00000af6: REVERT
00000af7: JUMPDEST
00000af8: PUSH2 0x0b23
00000afb: PUSH1 0x04
00000afd: DUP1
00000afe: DUP1
00000aff: CALLDATALOAD
00000b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b15: AND
00000b16: SWAP1
00000b17: PUSH1 0x20
00000b19: ADD
00000b1a: SWAP1
00000b1b: SWAP2
00000b1c: SWAP1
00000b1d: POP
00000b1e: POP
00000b1f: PUSH2 0x1fbc
00000b22: JUMP
00000b23: JUMPDEST
00000b24: STOP
00000b25: JUMPDEST
00000b26: CALLVALUE
00000b27: ISZERO
00000b28: PUSH2 0x0b30
00000b2b: JUMPI
00000b2c: PUSH1 0x00
00000b2e: DUP1
00000b2f: REVERT
00000b30: JUMPDEST
00000b31: PUSH2 0x0b38
00000b34: PUSH2 0x21c1
00000b37: JUMP
00000b38: JUMPDEST
00000b39: PUSH1 0x40
00000b3b: MLOAD
00000b3c: DUP1
00000b3d: DUP3
00000b3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b53: AND
00000b54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b69: AND
00000b6a: DUP2
00000b6b: MSTORE
00000b6c: PUSH1 0x20
00000b6e: ADD
00000b6f: SWAP2
00000b70: POP
00000b71: POP
00000b72: PUSH1 0x40
00000b74: MLOAD
00000b75: DUP1
00000b76: SWAP2
00000b77: SUB
00000b78: SWAP1
00000b79: RETURN
00000b7a: JUMPDEST
00000b7b: PUSH1 0x00
00000b7d: PUSH1 0x0e
00000b7f: SLOAD
00000b80: TIMESTAMP
00000b81: GT
00000b82: SWAP1
00000b83: POP
00000b84: SWAP1
00000b85: JUMP
00000b86: JUMPDEST
00000b87: PUSH1 0x00
00000b89: PUSH2 0x0c59
00000b8c: PUSH1 0x0a
00000b8e: PUSH1 0x00
00000b90: SWAP1
00000b91: SLOAD
00000b92: SWAP1
00000b93: PUSH2 0x0100
00000b96: EXP
00000b97: SWAP1
00000b98: DIV
00000b99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bae: AND
00000baf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc4: AND
00000bc5: PUSH4 0x4042b66f
00000bca: PUSH1 0x00
00000bcc: PUSH1 0x40
00000bce: MLOAD
00000bcf: PUSH1 0x20
00000bd1: ADD
00000bd2: MSTORE
00000bd3: PUSH1 0x40
00000bd5: MLOAD
00000bd6: DUP2
00000bd7: PUSH4 0xffffffff
00000bdc: AND
00000bdd: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000bfb: MUL
00000bfc: DUP2
00000bfd: MSTORE
00000bfe: PUSH1 0x04
00000c00: ADD
00000c01: PUSH1 0x20
00000c03: PUSH1 0x40
00000c05: MLOAD
00000c06: DUP1
00000c07: DUP4
00000c08: SUB
00000c09: DUP2
00000c0a: PUSH1 0x00
00000c0c: DUP8
00000c0d: DUP1
00000c0e: EXTCODESIZE
00000c0f: ISZERO
00000c10: ISZERO
00000c11: PUSH2 0x0c19
00000c14: JUMPI
00000c15: PUSH1 0x00
00000c17: DUP1
00000c18: REVERT
00000c19: JUMPDEST
00000c1a: PUSH2 0x02c6
00000c1d: GAS
00000c1e: SUB
00000c1f: CALL
00000c20: ISZERO
00000c21: ISZERO
00000c22: PUSH2 0x0c2a
00000c25: JUMPI
00000c26: PUSH1 0x00
00000c28: DUP1
00000c29: REVERT
00000c2a: JUMPDEST
00000c2b: POP
00000c2c: POP
00000c2d: POP
00000c2e: PUSH1 0x40
00000c30: MLOAD
00000c31: DUP1
00000c32: MLOAD
00000c33: SWAP1
00000c34: POP
00000c35: PUSH2 0x0c4b
00000c38: PUSH1 0x1c
00000c3a: SLOAD
00000c3b: PUSH1 0x09
00000c3d: SLOAD
00000c3e: PUSH2 0x0e65
00000c41: SWAP1
00000c42: SWAP2
00000c43: SWAP1
00000c44: PUSH4 0xffffffff
00000c49: AND
00000c4a: JUMP
00000c4b: JUMPDEST
00000c4c: PUSH2 0x21e7
00000c4f: SWAP1
00000c50: SWAP2
00000c51: SWAP1
00000c52: PUSH4 0xffffffff
00000c57: AND
00000c58: JUMP
00000c59: JUMPDEST
00000c5a: PUSH1 0x1e
00000c5c: SLOAD
00000c5d: LT
00000c5e: ISZERO
00000c5f: SWAP1
00000c60: POP
00000c61: SWAP1
00000c62: JUMP
00000c63: JUMPDEST
00000c64: PUSH1 0x00
00000c66: DUP1
00000c67: PUSH1 0x00
00000c69: DUP4
00000c6a: EQ
00000c6b: ISZERO
00000c6c: SWAP1
00000c6d: POP
00000c6e: DUP1
00000c6f: SWAP2
00000c70: POP
00000c71: POP
00000c72: SWAP2
00000c73: SWAP1
00000c74: POP
00000c75: JUMP
00000c76: JUMPDEST
00000c77: PUSH1 0x00
00000c79: TIMESTAMP
00000c7a: PUSH1 0x0d
00000c7c: SLOAD
00000c7d: LT
00000c7e: DUP1
00000c7f: ISZERO
00000c80: PUSH2 0x0c8b
00000c83: JUMPI
00000c84: POP
00000c85: PUSH1 0x0f
00000c87: SLOAD
00000c88: TIMESTAMP
00000c89: GT
00000c8a: ISZERO
00000c8b: JUMPDEST
00000c8c: ISZERO
00000c8d: PUSH2 0x0cc0
00000c90: JUMPI
00000c91: PUSH2 0x0cb9
00000c94: PUSH1 0x64
00000c96: PUSH2 0x0cab
00000c99: PUSH1 0x43
00000c9b: PUSH1 0x09
00000c9d: SLOAD
00000c9e: PUSH2 0x0e65
00000ca1: SWAP1
00000ca2: SWAP2
00000ca3: SWAP1
00000ca4: PUSH4 0xffffffff
00000ca9: AND
00000caa: JUMP
00000cab: JUMPDEST
00000cac: PUSH2 0x0e2c
00000caf: SWAP1
00000cb0: SWAP2
00000cb1: SWAP1
00000cb2: PUSH4 0xffffffff
00000cb7: AND
00000cb8: JUMP
00000cb9: JUMPDEST
00000cba: SWAP1
00000cbb: POP
00000cbc: PUSH2 0x0e29
00000cbf: JUMP
00000cc0: JUMPDEST
00000cc1: TIMESTAMP
00000cc2: PUSH1 0x10
00000cc4: SLOAD
00000cc5: LT
00000cc6: DUP1
00000cc7: ISZERO
00000cc8: PUSH2 0x0cd3
00000ccb: JUMPI
00000ccc: POP
00000ccd: PUSH1 0x11
00000ccf: SLOAD
00000cd0: TIMESTAMP
00000cd1: GT
00000cd2: ISZERO
00000cd3: JUMPDEST
00000cd4: ISZERO
00000cd5: PUSH2 0x0d08
00000cd8: JUMPI
00000cd9: PUSH2 0x0d01
00000cdc: PUSH1 0x64
00000cde: PUSH2 0x0cf3
00000ce1: PUSH1 0x62
00000ce3: PUSH1 0x09
00000ce5: SLOAD
00000ce6: PUSH2 0x0e65
00000ce9: SWAP1
00000cea: SWAP2
00000ceb: SWAP1
00000cec: PUSH4 0xffffffff
00000cf1: AND
00000cf2: JUMP
00000cf3: JUMPDEST
00000cf4: PUSH2 0x0e2c
00000cf7: SWAP1
00000cf8: SWAP2
00000cf9: SWAP1
00000cfa: PUSH4 0xffffffff
00000cff: AND
00000d00: JUMP
00000d01: JUMPDEST
00000d02: SWAP1
00000d03: POP
00000d04: PUSH2 0x0e29
00000d07: JUMP
00000d08: JUMPDEST
00000d09: TIMESTAMP
00000d0a: PUSH1 0x12
00000d0c: SLOAD
00000d0d: LT
00000d0e: DUP1
00000d0f: ISZERO
00000d10: PUSH2 0x0d1b
00000d13: JUMPI
00000d14: POP
00000d15: PUSH1 0x13
00000d17: SLOAD
00000d18: TIMESTAMP
00000d19: GT
00000d1a: ISZERO
00000d1b: JUMPDEST
00000d1c: ISZERO
00000d1d: PUSH2 0x0d50
00000d20: JUMPI
00000d21: PUSH2 0x0d49
00000d24: PUSH1 0x64
00000d26: PUSH2 0x0d3b
00000d29: PUSH1 0x66
00000d2b: PUSH1 0x09
00000d2d: SLOAD
00000d2e: PUSH2 0x0e65
00000d31: SWAP1
00000d32: SWAP2
00000d33: SWAP1
00000d34: PUSH4 0xffffffff
00000d39: AND
00000d3a: JUMP
00000d3b: JUMPDEST
00000d3c: PUSH2 0x0e2c
00000d3f: SWAP1
00000d40: SWAP2
00000d41: SWAP1
00000d42: PUSH4 0xffffffff
00000d47: AND
00000d48: JUMP
00000d49: JUMPDEST
00000d4a: SWAP1
00000d4b: POP
00000d4c: PUSH2 0x0e29
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: TIMESTAMP
00000d52: PUSH1 0x14
00000d54: SLOAD
00000d55: LT
00000d56: DUP1
00000d57: ISZERO
00000d58: PUSH2 0x0d63
00000d5b: JUMPI
00000d5c: POP
00000d5d: PUSH1 0x15
00000d5f: SLOAD
00000d60: TIMESTAMP
00000d61: GT
00000d62: ISZERO
00000d63: JUMPDEST
00000d64: ISZERO
00000d65: PUSH2 0x0d98
00000d68: JUMPI
00000d69: PUSH2 0x0d91
00000d6c: PUSH1 0x64
00000d6e: PUSH2 0x0d83
00000d71: PUSH1 0x69
00000d73: PUSH1 0x09
00000d75: SLOAD
00000d76: PUSH2 0x0e65
00000d79: SWAP1
00000d7a: SWAP2
00000d7b: SWAP1
00000d7c: PUSH4 0xffffffff
00000d81: AND
00000d82: JUMP
00000d83: JUMPDEST
00000d84: PUSH2 0x0e2c
00000d87: SWAP1
00000d88: SWAP2
00000d89: SWAP1
00000d8a: PUSH4 0xffffffff
00000d8f: AND
00000d90: JUMP
00000d91: JUMPDEST
00000d92: SWAP1
00000d93: POP
00000d94: PUSH2 0x0e29
00000d97: JUMP
00000d98: JUMPDEST
00000d99: TIMESTAMP
00000d9a: PUSH1 0x16
00000d9c: SLOAD
00000d9d: LT
00000d9e: DUP1
00000d9f: ISZERO
00000da0: PUSH2 0x0dab
00000da3: JUMPI
00000da4: POP
00000da5: PUSH1 0x17
00000da7: SLOAD
00000da8: TIMESTAMP
00000da9: GT
00000daa: ISZERO
00000dab: JUMPDEST
00000dac: ISZERO
00000dad: PUSH2 0x0de0
00000db0: JUMPI
00000db1: PUSH2 0x0dd9
00000db4: PUSH1 0x64
00000db6: PUSH2 0x0dcb
00000db9: PUSH1 0x6d
00000dbb: PUSH1 0x09
00000dbd: SLOAD
00000dbe: PUSH2 0x0e65
00000dc1: SWAP1
00000dc2: SWAP2
00000dc3: SWAP1
00000dc4: PUSH4 0xffffffff
00000dc9: AND
00000dca: JUMP
00000dcb: JUMPDEST
00000dcc: PUSH2 0x0e2c
00000dcf: SWAP1
00000dd0: SWAP2
00000dd1: SWAP1
00000dd2: PUSH4 0xffffffff
00000dd7: AND
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: SWAP1
00000ddb: POP
00000ddc: PUSH2 0x0e29
00000ddf: JUMP
00000de0: JUMPDEST
00000de1: TIMESTAMP
00000de2: PUSH1 0x18
00000de4: SLOAD
00000de5: LT
00000de6: DUP1
00000de7: ISZERO
00000de8: PUSH2 0x0df3
00000deb: JUMPI
00000dec: POP
00000ded: PUSH1 0x0e
00000def: SLOAD
00000df0: TIMESTAMP
00000df1: GT
00000df2: ISZERO
00000df3: JUMPDEST
00000df4: ISZERO
00000df5: PUSH2 0x0e28
00000df8: JUMPI
00000df9: PUSH2 0x0e21
00000dfc: PUSH1 0x64
00000dfe: PUSH2 0x0e13
00000e01: PUSH1 0x78
00000e03: PUSH1 0x09
00000e05: SLOAD
00000e06: PUSH2 0x0e65
00000e09: SWAP1
00000e0a: SWAP2
00000e0b: SWAP1
00000e0c: PUSH4 0xffffffff
00000e11: AND
00000e12: JUMP
00000e13: JUMPDEST
00000e14: PUSH2 0x0e2c
00000e17: SWAP1
00000e18: SWAP2
00000e19: SWAP1
00000e1a: PUSH4 0xffffffff
00000e1f: AND
00000e20: JUMP
00000e21: JUMPDEST
00000e22: SWAP1
00000e23: POP
00000e24: PUSH2 0x0e29
00000e27: JUMP
00000e28: JUMPDEST
00000e29: JUMPDEST
00000e2a: SWAP1
00000e2b: JUMP
00000e2c: JUMPDEST
00000e2d: PUSH1 0x00
00000e2f: DUP1
00000e30: DUP3
00000e31: DUP5
00000e32: DUP2
00000e33: ISZERO
00000e34: ISZERO
00000e35: PUSH2 0x0e3a
00000e38: JUMPI
00000e39: INVALID
00000e3a: JUMPDEST
00000e3b: DIV
00000e3c: SWAP1
00000e3d: POP
00000e3e: DUP1
00000e3f: SWAP2
00000e40: POP
00000e41: POP
00000e42: SWAP3
00000e43: SWAP2
00000e44: POP
00000e45: POP
00000e46: JUMP
00000e47: JUMPDEST
00000e48: PUSH1 0x00
00000e4a: DUP1
00000e4b: DUP3
00000e4c: DUP5
00000e4d: ADD
00000e4e: SWAP1
00000e4f: POP
00000e50: DUP4
00000e51: DUP2
00000e52: LT
00000e53: ISZERO
00000e54: ISZERO
00000e55: ISZERO
00000e56: PUSH2 0x0e5b
00000e59: JUMPI
00000e5a: INVALID
00000e5b: JUMPDEST
00000e5c: DUP1
00000e5d: SWAP2
00000e5e: POP
00000e5f: POP
00000e60: SWAP3
00000e61: SWAP2
00000e62: POP
00000e63: POP
00000e64: JUMP
00000e65: JUMPDEST
00000e66: PUSH1 0x00
00000e68: DUP1
00000e69: DUP3
00000e6a: DUP5
00000e6b: MUL
00000e6c: SWAP1
00000e6d: POP
00000e6e: PUSH1 0x00
00000e70: DUP5
00000e71: EQ
00000e72: DUP1
00000e73: PUSH2 0x0e86
00000e76: JUMPI
00000e77: POP
00000e78: DUP3
00000e79: DUP5
00000e7a: DUP3
00000e7b: DUP2
00000e7c: ISZERO
00000e7d: ISZERO
00000e7e: PUSH2 0x0e83
00000e81: JUMPI
00000e82: INVALID
00000e83: JUMPDEST
00000e84: DIV
00000e85: EQ
00000e86: JUMPDEST
00000e87: ISZERO
00000e88: ISZERO
00000e89: PUSH2 0x0e8e
00000e8c: JUMPI
00000e8d: INVALID
00000e8e: JUMPDEST
00000e8f: DUP1
00000e90: SWAP2
00000e91: POP
00000e92: POP
00000e93: SWAP3
00000e94: SWAP2
00000e95: POP
00000e96: POP
00000e97: JUMP
00000e98: JUMPDEST
00000e99: PUSH1 0x11
00000e9b: SLOAD
00000e9c: DUP2
00000e9d: JUMP
00000e9e: JUMPDEST
00000e9f: PUSH1 0x12
00000ea1: SLOAD
00000ea2: DUP2
00000ea3: JUMP
00000ea4: JUMPDEST
00000ea5: PUSH2 0x0eac
00000ea8: PUSH2 0x2200
00000eab: JUMP
00000eac: JUMPDEST
00000ead: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec2: AND
00000ec3: CALLER
00000ec4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed9: AND
00000eda: EQ
00000edb: ISZERO
00000edc: ISZERO
00000edd: PUSH2 0x0ee5
00000ee0: JUMPI
00000ee1: PUSH1 0x00
00000ee3: DUP1
00000ee4: REVERT
00000ee5: JUMPDEST
00000ee6: PUSH32 0x969da32463f6a37a6109f48fb18f849bf2858f94534bca83e8ca9e64d120de70
00000f07: DUP2
00000f08: PUSH1 0x40
00000f0a: MLOAD
00000f0b: DUP1
00000f0c: DUP1
00000f0d: PUSH1 0x20
00000f0f: ADD
00000f10: DUP3
00000f11: DUP2
00000f12: SUB
00000f13: DUP3
00000f14: MSTORE
00000f15: DUP4
00000f16: DUP2
00000f17: DUP2
00000f18: MLOAD
00000f19: DUP2
00000f1a: MSTORE
00000f1b: PUSH1 0x20
00000f1d: ADD
00000f1e: SWAP2
00000f1f: POP
00000f20: DUP1
00000f21: MLOAD
00000f22: SWAP1
00000f23: PUSH1 0x20
00000f25: ADD
00000f26: SWAP1
00000f27: DUP1
00000f28: DUP4
00000f29: DUP4
00000f2a: PUSH1 0x00
00000f2c: JUMPDEST
00000f2d: DUP4
00000f2e: DUP2
00000f2f: LT
00000f30: ISZERO
00000f31: PUSH2 0x0f47
00000f34: JUMPI
00000f35: DUP1
00000f36: DUP3
00000f37: ADD
00000f38: MLOAD
00000f39: DUP2
00000f3a: DUP5
00000f3b: ADD
00000f3c: MSTORE
00000f3d: PUSH1 0x20
00000f3f: DUP2
00000f40: ADD
00000f41: SWAP1
00000f42: POP
00000f43: PUSH2 0x0f2c
00000f46: JUMP
00000f47: JUMPDEST
00000f48: POP
00000f49: POP
00000f4a: POP
00000f4b: POP
00000f4c: SWAP1
00000f4d: POP
00000f4e: SWAP1
00000f4f: DUP2
00000f50: ADD
00000f51: SWAP1
00000f52: PUSH1 0x1f
00000f54: AND
00000f55: DUP1
00000f56: ISZERO
00000f57: PUSH2 0x0f74
00000f5a: JUMPI
00000f5b: DUP1
00000f5c: DUP3
00000f5d: SUB
00000f5e: DUP1
00000f5f: MLOAD
00000f60: PUSH1 0x01
00000f62: DUP4
00000f63: PUSH1 0x20
00000f65: SUB
00000f66: PUSH2 0x0100
00000f69: EXP
00000f6a: SUB
00000f6b: NOT
00000f6c: AND
00000f6d: DUP2
00000f6e: MSTORE
00000f6f: PUSH1 0x20
00000f71: ADD
00000f72: SWAP2
00000f73: POP
00000f74: JUMPDEST
00000f75: POP
00000f76: SWAP3
00000f77: POP
00000f78: POP
00000f79: POP
00000f7a: PUSH1 0x40
00000f7c: MLOAD
00000f7d: DUP1
00000f7e: SWAP2
00000f7f: SUB
00000f80: SWAP1
00000f81: LOG1
00000f82: PUSH2 0x0fa0
00000f85: PUSH2 0x0f8f
00000f88: DUP3
00000f89: PUSH1 0x03
00000f8b: PUSH2 0x251a
00000f8e: JUMP
00000f8f: JUMPDEST
00000f90: PUSH1 0x1a
00000f92: SLOAD
00000f93: PUSH2 0x0e2c
00000f96: SWAP1
00000f97: SWAP2
00000f98: SWAP1
00000f99: PUSH4 0xffffffff
00000f9e: AND
00000f9f: JUMP
00000fa0: JUMPDEST
00000fa1: PUSH1 0x09
00000fa3: DUP2
00000fa4: SWAP1
00000fa5: SSTORE
00000fa6: POP
00000fa7: POP
00000fa8: POP
00000fa9: JUMP
00000faa: JUMPDEST
00000fab: PUSH1 0x1b
00000fad: SLOAD
00000fae: DUP2
00000faf: JUMP
00000fb0: JUMPDEST
00000fb1: PUSH1 0x0e
00000fb3: SLOAD
00000fb4: DUP2
00000fb5: JUMP
00000fb6: JUMPDEST
00000fb7: POP
00000fb8: POP
00000fb9: POP
00000fba: JUMP
00000fbb: JUMPDEST
00000fbc: PUSH1 0x1c
00000fbe: SLOAD
00000fbf: DUP2
00000fc0: JUMP
00000fc1: JUMPDEST
00000fc2: PUSH1 0x1e
00000fc4: SLOAD
00000fc5: DUP2
00000fc6: JUMP
00000fc7: JUMPDEST
00000fc8: PUSH1 0x0f
00000fca: SLOAD
00000fcb: DUP2
00000fcc: JUMP
00000fcd: JUMPDEST
00000fce: PUSH1 0x18
00000fd0: SLOAD
00000fd1: DUP2
00000fd2: JUMP
00000fd3: JUMPDEST
00000fd4: PUSH1 0x09
00000fd6: SLOAD
00000fd7: DUP2
00000fd8: JUMP
00000fd9: JUMPDEST
00000fda: PUSH1 0x15
00000fdc: SLOAD
00000fdd: DUP2
00000fde: JUMP
00000fdf: JUMPDEST
00000fe0: PUSH1 0x16
00000fe2: SLOAD
00000fe3: DUP2
00000fe4: JUMP
00000fe5: JUMPDEST
00000fe6: ADDRESS
00000fe7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffc: AND
00000ffd: BALANCE
00000ffe: PUSH2 0x103b
00001001: PUSH1 0x40
00001003: DUP1
00001004: MLOAD
00001005: SWAP1
00001006: DUP2
00001007: ADD
00001008: PUSH1 0x40
0000100a: MSTORE
0000100b: DUP1
0000100c: PUSH1 0x03
0000100e: DUP2
0000100f: MSTORE
00001010: PUSH1 0x20
00001012: ADD
00001013: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000
00001034: DUP2
00001035: MSTORE
00001036: POP
00001037: PUSH2 0x2814
0000103a: JUMP
0000103b: JUMPDEST
0000103c: GT
0000103d: ISZERO
0000103e: PUSH2 0x10fa
00001041: JUMPI
00001042: PUSH32 0x22f93f1693bca8a989f2e61ccf2bfc145a73f5fc3b57dd33c1378f52c8d6901b
00001063: PUSH1 0x40
00001065: MLOAD
00001066: DUP1
00001067: DUP1
00001068: PUSH1 0x20
0000106a: ADD
0000106b: DUP3
0000106c: DUP2
0000106d: SUB
0000106e: DUP3
0000106f: MSTORE
00001070: PUSH1 0x4b
00001072: DUP2
00001073: MSTORE
00001074: PUSH1 0x20
00001076: ADD
00001077: DUP1
00001078: PUSH32 0x4f7261636c697a6520717565727920776173204e4f542073656e742c20706c65
00001099: DUP2
0000109a: MSTORE
0000109b: PUSH1 0x20
0000109d: ADD
0000109e: PUSH32 0x6173652061646420736f6d652045544820746f20636f76657220666f72207468
000010bf: DUP2
000010c0: MSTORE
000010c1: PUSH1 0x20
000010c3: ADD
000010c4: PUSH32 0x6520717565727920666565000000000000000000000000000000000000000000
000010e5: DUP2
000010e6: MSTORE
000010e7: POP
000010e8: PUSH1 0x60
000010ea: ADD
000010eb: SWAP2
000010ec: POP
000010ed: POP
000010ee: PUSH1 0x40
000010f0: MLOAD
000010f1: DUP1
000010f2: SWAP2
000010f3: SUB
000010f4: SWAP1
000010f5: LOG1
000010f6: PUSH2 0x124b
000010f9: JUMP
000010fa: JUMPDEST
000010fb: PUSH32 0x22f93f1693bca8a989f2e61ccf2bfc145a73f5fc3b57dd33c1378f52c8d6901b
0000111c: PUSH1 0x40
0000111e: MLOAD
0000111f: DUP1
00001120: DUP1
00001121: PUSH1 0x20
00001123: ADD
00001124: DUP3
00001125: DUP2
00001126: SUB
00001127: DUP3
00001128: MSTORE
00001129: PUSH1 0x35
0000112b: DUP2
0000112c: MSTORE
0000112d: PUSH1 0x20
0000112f: ADD
00001130: DUP1
00001131: PUSH32 0x4f7261636c697a65207175657279207761732073656e742c207374616e64696e
00001152: DUP2
00001153: MSTORE
00001154: PUSH1 0x20
00001156: ADD
00001157: PUSH32 0x6720627920666f722074686520616e737765722e2e0000000000000000000000
00001178: DUP2
00001179: MSTORE
0000117a: POP
0000117b: PUSH1 0x40
0000117d: ADD
0000117e: SWAP2
0000117f: POP
00001180: POP
00001181: PUSH1 0x40
00001183: MLOAD
00001184: DUP1
00001185: SWAP2
00001186: SUB
00001187: SWAP1
00001188: LOG1
00001189: PUSH2 0x1249
0000118c: PUSH1 0x40
0000118e: DUP1
0000118f: MLOAD
00001190: SWAP1
00001191: DUP2
00001192: ADD
00001193: PUSH1 0x40
00001195: MSTORE
00001196: DUP1
00001197: PUSH1 0x03
00001199: DUP2
0000119a: MSTORE
0000119b: PUSH1 0x20
0000119d: ADD
0000119e: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000
000011bf: DUP2
000011c0: MSTORE
000011c1: POP
000011c2: PUSH1 0x80
000011c4: PUSH1 0x40
000011c6: MLOAD
000011c7: SWAP1
000011c8: DUP2
000011c9: ADD
000011ca: PUSH1 0x40
000011cc: MSTORE
000011cd: DUP1
000011ce: PUSH1 0x4e
000011d0: DUP2
000011d1: MSTORE
000011d2: PUSH1 0x20
000011d4: ADD
000011d5: PUSH32 0x6a736f6e2868747470733a2f2f6170692e6b72616b656e2e636f6d2f302f7075
000011f6: DUP2
000011f7: MSTORE
000011f8: PUSH1 0x20
000011fa: ADD
000011fb: PUSH32 0x626c69632f5469636b65723f706169723d455448555344292e726573756c742e
0000121c: DUP2
0000121d: MSTORE
0000121e: PUSH1 0x20
00001220: ADD
00001221: PUSH32 0x584554485a5553442e632e5b305d000000000000000000000000000000000000
00001242: DUP2
00001243: MSTORE
00001244: POP
00001245: PUSH2 0x2ba0
00001248: JUMP
00001249: JUMPDEST
0000124a: POP
0000124b: JUMPDEST
0000124c: JUMP
0000124d: JUMPDEST
0000124e: PUSH1 0x1a
00001250: SLOAD
00001251: DUP2
00001252: JUMP
00001253: JUMPDEST
00001254: PUSH1 0x0a
00001256: PUSH1 0x00
00001258: SWAP1
00001259: SLOAD
0000125a: SWAP1
0000125b: PUSH2 0x0100
0000125e: EXP
0000125f: SWAP1
00001260: DIV
00001261: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001276: AND
00001277: DUP2
00001278: JUMP
00001279: JUMPDEST
0000127a: PUSH1 0x0c
0000127c: PUSH1 0x20
0000127e: MSTORE
0000127f: DUP1
00001280: PUSH1 0x00
00001282: MSTORE
00001283: PUSH1 0x40
00001285: PUSH1 0x00
00001287: KECCAK256
00001288: PUSH1 0x00
0000128a: SWAP2
0000128b: POP
0000128c: SWAP1
0000128d: POP
0000128e: DUP1
0000128f: PUSH1 0x00
00001291: ADD
00001292: SLOAD
00001293: SWAP1
00001294: DUP1
00001295: PUSH1 0x01
00001297: ADD
00001298: PUSH1 0x00
0000129a: SWAP1
0000129b: SLOAD
0000129c: SWAP1
0000129d: PUSH2 0x0100
000012a0: EXP
000012a1: SWAP1
000012a2: DIV
000012a3: PUSH1 0xff
000012a5: AND
000012a6: SWAP1
000012a7: POP
000012a8: DUP3
000012a9: JUMP
000012aa: JUMPDEST
000012ab: PUSH1 0x13
000012ad: SLOAD
000012ae: DUP2
000012af: JUMP
000012b0: JUMPDEST
000012b1: PUSH1 0x17
000012b3: SLOAD
000012b4: DUP2
000012b5: JUMP
000012b6: JUMPDEST
000012b7: PUSH1 0x14
000012b9: SLOAD
000012ba: DUP2
000012bb: JUMP
000012bc: JUMPDEST
000012bd: PUSH2 0x12c4
000012c0: PUSH2 0x15e2
000012c3: JUMP
000012c4: JUMPDEST
000012c5: ISZERO
000012c6: ISZERO
000012c7: ISZERO
000012c8: PUSH2 0x12d0
000012cb: JUMPI
000012cc: PUSH1 0x00
000012ce: DUP1
000012cf: REVERT
000012d0: JUMPDEST
000012d1: PUSH2 0x12d8
000012d4: PUSH2 0x0b86
000012d7: JUMP
000012d8: JUMPDEST
000012d9: ISZERO
000012da: ISZERO
000012db: ISZERO
000012dc: PUSH2 0x12e4
000012df: JUMPI
000012e0: PUSH1 0x00
000012e2: DUP1
000012e3: REVERT
000012e4: JUMPDEST
000012e5: PUSH1 0x00
000012e7: PUSH1 0x0c
000012e9: PUSH1 0x00
000012eb: CALLER
000012ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001301: AND
00001302: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001317: AND
00001318: DUP2
00001319: MSTORE
0000131a: PUSH1 0x20
0000131c: ADD
0000131d: SWAP1
0000131e: DUP2
0000131f: MSTORE
00001320: PUSH1 0x20
00001322: ADD
00001323: PUSH1 0x00
00001325: KECCAK256
00001326: PUSH1 0x00
00001328: ADD
00001329: SLOAD
0000132a: GT
0000132b: ISZERO
0000132c: ISZERO
0000132d: PUSH2 0x1335
00001330: JUMPI
00001331: PUSH1 0x00
00001333: DUP1
00001334: REVERT
00001335: JUMPDEST
00001336: PUSH1 0x0c
00001338: PUSH1 0x00
0000133a: CALLER
0000133b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001350: AND
00001351: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001366: AND
00001367: DUP2
00001368: MSTORE
00001369: PUSH1 0x20
0000136b: ADD
0000136c: SWAP1
0000136d: DUP2
0000136e: MSTORE
0000136f: PUSH1 0x20
00001371: ADD
00001372: PUSH1 0x00
00001374: KECCAK256
00001375: PUSH1 0x01
00001377: ADD
00001378: PUSH1 0x00
0000137a: SWAP1
0000137b: SLOAD
0000137c: SWAP1
0000137d: PUSH2 0x0100
00001380: EXP
00001381: SWAP1
00001382: DIV
00001383: PUSH1 0xff
00001385: AND
00001386: ISZERO
00001387: ISZERO
00001388: ISZERO
00001389: PUSH2 0x1391
0000138c: JUMPI
0000138d: PUSH1 0x00
0000138f: DUP1
00001390: REVERT
00001391: JUMPDEST
00001392: CALLER
00001393: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a8: AND
000013a9: PUSH2 0x08fc
000013ac: PUSH1 0x0c
000013ae: PUSH1 0x00
000013b0: CALLER
000013b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c6: AND
000013c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013dc: AND
000013dd: DUP2
000013de: MSTORE
000013df: PUSH1 0x20
000013e1: ADD
000013e2: SWAP1
000013e3: DUP2
000013e4: MSTORE
000013e5: PUSH1 0x20
000013e7: ADD
000013e8: PUSH1 0x00
000013ea: KECCAK256
000013eb: PUSH1 0x00
000013ed: ADD
000013ee: SLOAD
000013ef: SWAP1
000013f0: DUP2
000013f1: ISZERO
000013f2: MUL
000013f3: SWAP1
000013f4: PUSH1 0x40
000013f6: MLOAD
000013f7: PUSH1 0x00
000013f9: PUSH1 0x40
000013fb: MLOAD
000013fc: DUP1
000013fd: DUP4
000013fe: SUB
000013ff: DUP2
00001400: DUP6
00001401: DUP9
00001402: DUP9
00001403: CALL
00001404: SWAP4
00001405: POP
00001406: POP
00001407: POP
00001408: POP
00001409: ISZERO
0000140a: ISZERO
0000140b: PUSH2 0x1413
0000140e: JUMPI
0000140f: PUSH1 0x00
00001411: DUP1
00001412: REVERT
00001413: JUMPDEST
00001414: PUSH1 0x00
00001416: PUSH1 0x0c
00001418: PUSH1 0x00
0000141a: CALLER
0000141b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001430: AND
00001431: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001446: AND
00001447: DUP2
00001448: MSTORE
00001449: PUSH1 0x20
0000144b: ADD
0000144c: SWAP1
0000144d: DUP2
0000144e: MSTORE
0000144f: PUSH1 0x20
00001451: ADD
00001452: PUSH1 0x00
00001454: KECCAK256
00001455: PUSH1 0x00
00001457: ADD
00001458: DUP2
00001459: SWAP1
0000145a: SSTORE
0000145b: POP
0000145c: PUSH1 0x01
0000145e: PUSH1 0x0c
00001460: PUSH1 0x00
00001462: CALLER
00001463: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001478: AND
00001479: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000148e: AND
0000148f: DUP2
00001490: MSTORE
00001491: PUSH1 0x20
00001493: ADD
00001494: SWAP1
00001495: DUP2
00001496: MSTORE
00001497: PUSH1 0x20
00001499: ADD
0000149a: PUSH1 0x00
0000149c: KECCAK256
0000149d: PUSH1 0x01
0000149f: ADD
000014a0: PUSH1 0x00
000014a2: PUSH2 0x0100
000014a5: EXP
000014a6: DUP2
000014a7: SLOAD
000014a8: DUP2
000014a9: PUSH1 0xff
000014ab: MUL
000014ac: NOT
000014ad: AND
000014ae: SWAP1
000014af: DUP4
000014b0: ISZERO
000014b1: ISZERO
000014b2: MUL
000014b3: OR
000014b4: SWAP1
000014b5: SSTORE
000014b6: POP
000014b7: JUMP
000014b8: JUMPDEST
000014b9: PUSH1 0x00
000014bb: DUP1
000014bc: SWAP1
000014bd: SLOAD
000014be: SWAP1
000014bf: PUSH2 0x0100
000014c2: EXP
000014c3: SWAP1
000014c4: DIV
000014c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014da: AND
000014db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f0: AND
000014f1: CALLER
000014f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001507: AND
00001508: EQ
00001509: DUP1
0000150a: PUSH2 0x1560
0000150d: JUMPI
0000150e: POP
0000150f: PUSH1 0x01
00001511: PUSH1 0x00
00001513: SWAP1
00001514: SLOAD
00001515: SWAP1
00001516: PUSH2 0x0100
00001519: EXP
0000151a: SWAP1
0000151b: DIV
0000151c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001531: AND
00001532: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001547: AND
00001548: CALLER
00001549: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155e: AND
0000155f: EQ
00001560: JUMPDEST
00001561: DUP1
00001562: PUSH2 0x15b8
00001565: JUMPI
00001566: POP
00001567: PUSH1 0x02
00001569: PUSH1 0x00
0000156b: SWAP1
0000156c: SLOAD
0000156d: SWAP1
0000156e: PUSH2 0x0100
00001571: EXP
00001572: SWAP1
00001573: DIV
00001574: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001589: AND
0000158a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000159f: AND
000015a0: CALLER
000015a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b6: AND
000015b7: EQ
000015b8: JUMPDEST
000015b9: ISZERO
000015ba: ISZERO
000015bb: PUSH2 0x15c3
000015be: JUMPI
000015bf: PUSH1 0x00
000015c1: DUP1
000015c2: REVERT
000015c3: JUMPDEST
000015c4: PUSH1 0x00
000015c6: DUP2
000015c7: GT
000015c8: ISZERO
000015c9: ISZERO
000015ca: PUSH2 0x15d2
000015cd: JUMPI
000015ce: PUSH1 0x00
000015d0: DUP1
000015d1: REVERT
000015d2: JUMPDEST
000015d3: DUP1
000015d4: PUSH1 0x09
000015d6: DUP2
000015d7: SWAP1
000015d8: SSTORE
000015d9: POP
000015da: POP
000015db: JUMP
000015dc: JUMPDEST
000015dd: PUSH1 0x0d
000015df: SLOAD
000015e0: DUP2
000015e1: JUMP
000015e2: JUMPDEST
000015e3: PUSH1 0x00
000015e5: PUSH2 0x1621
000015e8: PUSH1 0x64
000015ea: PUSH2 0x1613
000015ed: PUSH1 0x28
000015ef: PUSH2 0x1605
000015f2: PUSH1 0x1c
000015f4: SLOAD
000015f5: PUSH1 0x09
000015f7: SLOAD
000015f8: PUSH2 0x0e65
000015fb: SWAP1
000015fc: SWAP2
000015fd: SWAP1
000015fe: PUSH4 0xffffffff
00001603: AND
00001604: JUMP
00001605: JUMPDEST
00001606: PUSH2 0x0e65
00001609: SWAP1
0000160a: SWAP2
0000160b: SWAP1
0000160c: PUSH4 0xffffffff
00001611: AND
00001612: JUMP
00001613: JUMPDEST
00001614: PUSH2 0x0e2c
00001617: SWAP1
00001618: SWAP2
00001619: SWAP1
0000161a: PUSH4 0xffffffff
0000161f: AND
00001620: JUMP
00001621: JUMPDEST
00001622: PUSH1 0x1e
00001624: SLOAD
00001625: LT
00001626: ISZERO
00001627: SWAP1
00001628: POP
00001629: SWAP1
0000162a: JUMP
0000162b: JUMPDEST
0000162c: PUSH1 0x00
0000162e: DUP1
0000162f: SWAP1
00001630: SLOAD
00001631: SWAP1
00001632: PUSH2 0x0100
00001635: EXP
00001636: SWAP1
00001637: DIV
00001638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000164d: AND
0000164e: DUP2
0000164f: JUMP
00001650: JUMPDEST
00001651: PUSH1 0x00
00001653: DUP1
00001654: SWAP1
00001655: SLOAD
00001656: SWAP1
00001657: PUSH2 0x0100
0000165a: EXP
0000165b: SWAP1
0000165c: DIV
0000165d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001672: AND
00001673: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001688: AND
00001689: CALLER
0000168a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169f: AND
000016a0: EQ
000016a1: DUP1
000016a2: PUSH2 0x16f8
000016a5: JUMPI
000016a6: POP
000016a7: PUSH1 0x01
000016a9: PUSH1 0x00
000016ab: SWAP1
000016ac: SLOAD
000016ad: SWAP1
000016ae: PUSH2 0x0100
000016b1: EXP
000016b2: SWAP1
000016b3: DIV
000016b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c9: AND
000016ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016df: AND
000016e0: CALLER
000016e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f6: AND
000016f7: EQ
000016f8: JUMPDEST
000016f9: DUP1
000016fa: PUSH2 0x1750
000016fd: JUMPI
000016fe: POP
000016ff: PUSH1 0x02
00001701: PUSH1 0x00
00001703: SWAP1
00001704: SLOAD
00001705: SWAP1
00001706: PUSH2 0x0100
00001709: EXP
0000170a: SWAP1
0000170b: DIV
0000170c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001721: AND
00001722: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001737: AND
00001738: CALLER
00001739: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174e: AND
0000174f: EQ
00001750: JUMPDEST
00001751: ISZERO
00001752: ISZERO
00001753: PUSH2 0x175b
00001756: JUMPI
00001757: PUSH1 0x00
00001759: DUP1
0000175a: REVERT
0000175b: JUMPDEST
0000175c: PUSH1 0x00
0000175e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001773: AND
00001774: DUP2
00001775: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000178a: AND
0000178b: EQ
0000178c: ISZERO
0000178d: ISZERO
0000178e: ISZERO
0000178f: PUSH2 0x1797
00001792: JUMPI
00001793: PUSH1 0x00
00001795: DUP1
00001796: REVERT
00001797: JUMPDEST
00001798: DUP1
00001799: PUSH1 0x01
0000179b: PUSH1 0x00
0000179d: PUSH2 0x0100
000017a0: EXP
000017a1: DUP2
000017a2: SLOAD
000017a3: DUP2
000017a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b9: MUL
000017ba: NOT
000017bb: AND
000017bc: SWAP1
000017bd: DUP4
000017be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017d3: AND
000017d4: MUL
000017d5: OR
000017d6: SWAP1
000017d7: SSTORE
000017d8: POP
000017d9: POP
000017da: JUMP
000017db: JUMPDEST
000017dc: PUSH1 0x00
000017de: DUP1
000017df: SWAP1
000017e0: SLOAD
000017e1: SWAP1
000017e2: PUSH2 0x0100
000017e5: EXP
000017e6: SWAP1
000017e7: DIV
000017e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017fd: AND
000017fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001813: AND
00001814: CALLER
00001815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000182a: AND
0000182b: EQ
0000182c: DUP1
0000182d: PUSH2 0x1883
00001830: JUMPI
00001831: POP
00001832: PUSH1 0x01
00001834: PUSH1 0x00
00001836: SWAP1
00001837: SLOAD
00001838: SWAP1
00001839: PUSH2 0x0100
0000183c: EXP
0000183d: SWAP1
0000183e: DIV
0000183f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001854: AND
00001855: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186a: AND
0000186b: CALLER
0000186c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001881: AND
00001882: EQ
00001883: JUMPDEST
00001884: DUP1
00001885: PUSH2 0x18db
00001888: JUMPI
00001889: POP
0000188a: PUSH1 0x02
0000188c: PUSH1 0x00
0000188e: SWAP1
0000188f: SLOAD
00001890: SWAP1
00001891: PUSH2 0x0100
00001894: EXP
00001895: SWAP1
00001896: DIV
00001897: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ac: AND
000018ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c2: AND
000018c3: CALLER
000018c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d9: AND
000018da: EQ
000018db: JUMPDEST
000018dc: ISZERO
000018dd: ISZERO
000018de: PUSH2 0x18e6
000018e1: JUMPI
000018e2: PUSH1 0x00
000018e4: DUP1
000018e5: REVERT
000018e6: JUMPDEST
000018e7: PUSH1 0x00
000018e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018fe: AND
000018ff: DUP2
00001900: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001915: AND
00001916: EQ
00001917: ISZERO
00001918: ISZERO
00001919: ISZERO
0000191a: PUSH2 0x1922
0000191d: JUMPI
0000191e: PUSH1 0x00
00001920: DUP1
00001921: REVERT
00001922: JUMPDEST
00001923: DUP1
00001924: PUSH1 0x02
00001926: PUSH1 0x00
00001928: PUSH2 0x0100
0000192b: EXP
0000192c: DUP2
0000192d: SLOAD
0000192e: DUP2
0000192f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001944: MUL
00001945: NOT
00001946: AND
00001947: SWAP1
00001948: DUP4
00001949: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000195e: AND
0000195f: MUL
00001960: OR
00001961: SWAP1
00001962: SSTORE
00001963: POP
00001964: POP
00001965: JUMP
00001966: JUMPDEST
00001967: PUSH1 0x1d
00001969: SLOAD
0000196a: DUP2
0000196b: JUMP
0000196c: JUMPDEST
0000196d: PUSH1 0x00
0000196f: DUP1
00001970: SWAP1
00001971: SLOAD
00001972: SWAP1
00001973: PUSH2 0x0100
00001976: EXP
00001977: SWAP1
00001978: DIV
00001979: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000198e: AND
0000198f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a4: AND
000019a5: CALLER
000019a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019bb: AND
000019bc: EQ
000019bd: DUP1
000019be: PUSH2 0x1a14
000019c1: JUMPI
000019c2: POP
000019c3: PUSH1 0x01
000019c5: PUSH1 0x00
000019c7: SWAP1
000019c8: SLOAD
000019c9: SWAP1
000019ca: PUSH2 0x0100
000019cd: EXP
000019ce: SWAP1
000019cf: DIV
000019d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e5: AND
000019e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019fb: AND
000019fc: CALLER
000019fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a12: AND
00001a13: EQ
00001a14: JUMPDEST
00001a15: DUP1
00001a16: PUSH2 0x1a6c
00001a19: JUMPI
00001a1a: POP
00001a1b: PUSH1 0x02
00001a1d: PUSH1 0x00
00001a1f: SWAP1
00001a20: SLOAD
00001a21: SWAP1
00001a22: PUSH2 0x0100
00001a25: EXP
00001a26: SWAP1
00001a27: DIV
00001a28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3d: AND
00001a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a53: AND
00001a54: CALLER
00001a55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6a: AND
00001a6b: EQ
00001a6c: JUMPDEST
00001a6d: ISZERO
00001a6e: ISZERO
00001a6f: PUSH2 0x1a77
00001a72: JUMPI
00001a73: PUSH1 0x00
00001a75: DUP1
00001a76: REVERT
00001a77: JUMPDEST
00001a78: PUSH1 0x00
00001a7a: DUP2
00001a7b: GT
00001a7c: ISZERO
00001a7d: ISZERO
00001a7e: PUSH2 0x1a86
00001a81: JUMPI
00001a82: PUSH1 0x00
00001a84: DUP1
00001a85: REVERT
00001a86: JUMPDEST
00001a87: PUSH2 0x1a8e
00001a8a: PUSH2 0x0b7a
00001a8d: JUMP
00001a8e: JUMPDEST
00001a8f: ISZERO
00001a90: ISZERO
00001a91: PUSH2 0x1a99
00001a94: JUMPI
00001a95: PUSH1 0x00
00001a97: DUP1
00001a98: REVERT
00001a99: JUMPDEST
00001a9a: PUSH2 0x1aa1
00001a9d: PUSH2 0x15e2
00001aa0: JUMP
00001aa1: JUMPDEST
00001aa2: ISZERO
00001aa3: ISZERO
00001aa4: PUSH2 0x1aac
00001aa7: JUMPI
00001aa8: PUSH1 0x00
00001aaa: DUP1
00001aab: REVERT
00001aac: JUMPDEST
00001aad: PUSH1 0x00
00001aaf: DUP2
00001ab0: ADDRESS
00001ab1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac6: AND
00001ac7: BALANCE
00001ac8: SUB
00001ac9: LT
00001aca: ISZERO
00001acb: ISZERO
00001acc: ISZERO
00001acd: PUSH2 0x1ad5
00001ad0: JUMPI
00001ad1: PUSH1 0x00
00001ad3: DUP1
00001ad4: REVERT
00001ad5: JUMPDEST
00001ad6: PUSH1 0x00
00001ad8: DUP1
00001ad9: SWAP1
00001ada: SLOAD
00001adb: SWAP1
00001adc: PUSH2 0x0100
00001adf: EXP
00001ae0: SWAP1
00001ae1: DIV
00001ae2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af7: AND
00001af8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0d: AND
00001b0e: PUSH2 0x08fc
00001b11: DUP3
00001b12: SWAP1
00001b13: DUP2
00001b14: ISZERO
00001b15: MUL
00001b16: SWAP1
00001b17: PUSH1 0x40
00001b19: MLOAD
00001b1a: PUSH1 0x00
00001b1c: PUSH1 0x40
00001b1e: MLOAD
00001b1f: DUP1
00001b20: DUP4
00001b21: SUB
00001b22: DUP2
00001b23: DUP6
00001b24: DUP9
00001b25: DUP9
00001b26: CALL
00001b27: SWAP4
00001b28: POP
00001b29: POP
00001b2a: POP
00001b2b: POP
00001b2c: ISZERO
00001b2d: ISZERO
00001b2e: PUSH2 0x1b36
00001b31: JUMPI
00001b32: PUSH1 0x00
00001b34: DUP1
00001b35: REVERT
00001b36: JUMPDEST
00001b37: POP
00001b38: JUMP
00001b39: JUMPDEST
00001b3a: PUSH1 0x10
00001b3c: SLOAD
00001b3d: DUP2
00001b3e: JUMP
00001b3f: JUMPDEST
00001b40: PUSH1 0x00
00001b42: DUP1
00001b43: PUSH1 0x00
00001b45: SWAP1
00001b46: SLOAD
00001b47: SWAP1
00001b48: PUSH2 0x0100
00001b4b: EXP
00001b4c: SWAP1
00001b4d: DIV
00001b4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b63: AND
00001b64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b79: AND
00001b7a: CALLER
00001b7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b90: AND
00001b91: EQ
00001b92: DUP1
00001b93: PUSH2 0x1be9
00001b96: JUMPI
00001b97: POP
00001b98: PUSH1 0x01
00001b9a: PUSH1 0x00
00001b9c: SWAP1
00001b9d: SLOAD
00001b9e: SWAP1
00001b9f: PUSH2 0x0100
00001ba2: EXP
00001ba3: SWAP1
00001ba4: DIV
00001ba5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bba: AND
00001bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd0: AND
00001bd1: CALLER
00001bd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be7: AND
00001be8: EQ
00001be9: JUMPDEST
00001bea: DUP1
00001beb: PUSH2 0x1c41
00001bee: JUMPI
00001bef: POP
00001bf0: PUSH1 0x02
00001bf2: PUSH1 0x00
00001bf4: SWAP1
00001bf5: SLOAD
00001bf6: SWAP1
00001bf7: PUSH2 0x0100
00001bfa: EXP
00001bfb: SWAP1
00001bfc: DIV
00001bfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c12: AND
00001c13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c28: AND
00001c29: CALLER
00001c2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c3f: AND
00001c40: EQ
00001c41: JUMPDEST
00001c42: ISZERO
00001c43: ISZERO
00001c44: PUSH2 0x1c4c
00001c47: JUMPI
00001c48: PUSH1 0x00
00001c4a: DUP1
00001c4b: REVERT
00001c4c: JUMPDEST
00001c4d: PUSH2 0x1c54
00001c50: PUSH2 0x15e2
00001c53: JUMP
00001c54: JUMPDEST
00001c55: ISZERO
00001c56: ISZERO
00001c57: ISZERO
00001c58: PUSH2 0x1c60
00001c5b: JUMPI
00001c5c: PUSH1 0x00
00001c5e: DUP1
00001c5f: REVERT
00001c60: JUMPDEST
00001c61: PUSH2 0x1c68
00001c64: PUSH2 0x0b86
00001c67: JUMP
00001c68: JUMPDEST
00001c69: ISZERO
00001c6a: ISZERO
00001c6b: ISZERO
00001c6c: PUSH2 0x1c74
00001c6f: JUMPI
00001c70: PUSH1 0x00
00001c72: DUP1
00001c73: REVERT
00001c74: JUMPDEST
00001c75: PUSH1 0x00
00001c77: SWAP1
00001c78: POP
00001c79: JUMPDEST
00001c7a: PUSH1 0x08
00001c7c: DUP1
00001c7d: SLOAD
00001c7e: SWAP1
00001c7f: POP
00001c80: DUP2
00001c81: LT
00001c82: ISZERO
00001c83: PUSH2 0x1fb9
00001c86: JUMPI
00001c87: PUSH1 0x0c
00001c89: PUSH1 0x00
00001c8b: PUSH1 0x08
00001c8d: DUP4
00001c8e: DUP2
00001c8f: SLOAD
00001c90: DUP2
00001c91: LT
00001c92: ISZERO
00001c93: ISZERO
00001c94: PUSH2 0x1c99
00001c97: JUMPI
00001c98: INVALID
00001c99: JUMPDEST
00001c9a: SWAP1
00001c9b: PUSH1 0x00
00001c9d: MSTORE
00001c9e: PUSH1 0x20
00001ca0: PUSH1 0x00
00001ca2: KECCAK256
00001ca3: SWAP1
00001ca4: ADD
00001ca5: PUSH1 0x00
00001ca7: SWAP1
00001ca8: SLOAD
00001ca9: SWAP1
00001caa: PUSH2 0x0100
00001cad: EXP
00001cae: SWAP1
00001caf: DIV
00001cb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc5: AND
00001cc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cdb: AND
00001cdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf1: AND
00001cf2: DUP2
00001cf3: MSTORE
00001cf4: PUSH1 0x20
00001cf6: ADD
00001cf7: SWAP1
00001cf8: DUP2
00001cf9: MSTORE
00001cfa: PUSH1 0x20
00001cfc: ADD
00001cfd: PUSH1 0x00
00001cff: KECCAK256
00001d00: PUSH1 0x01
00001d02: ADD
00001d03: PUSH1 0x00
00001d05: SWAP1
00001d06: SLOAD
00001d07: SWAP1
00001d08: PUSH2 0x0100
00001d0b: EXP
00001d0c: SWAP1
00001d0d: DIV
00001d0e: PUSH1 0xff
00001d10: AND
00001d11: ISZERO
00001d12: DUP1
00001d13: ISZERO
00001d14: PUSH2 0x1d99
00001d17: JUMPI
00001d18: POP
00001d19: PUSH1 0x00
00001d1b: PUSH1 0x0c
00001d1d: PUSH1 0x00
00001d1f: PUSH1 0x08
00001d21: DUP5
00001d22: DUP2
00001d23: SLOAD
00001d24: DUP2
00001d25: LT
00001d26: ISZERO
00001d27: ISZERO
00001d28: PUSH2 0x1d2d
00001d2b: JUMPI
00001d2c: INVALID
00001d2d: JUMPDEST
00001d2e: SWAP1
00001d2f: PUSH1 0x00
00001d31: MSTORE
00001d32: PUSH1 0x20
00001d34: PUSH1 0x00
00001d36: KECCAK256
00001d37: SWAP1
00001d38: ADD
00001d39: PUSH1 0x00
00001d3b: SWAP1
00001d3c: SLOAD
00001d3d: SWAP1
00001d3e: PUSH2 0x0100
00001d41: EXP
00001d42: SWAP1
00001d43: DIV
00001d44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d59: AND
00001d5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d6f: AND
00001d70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d85: AND
00001d86: DUP2
00001d87: MSTORE
00001d88: PUSH1 0x20
00001d8a: ADD
00001d8b: SWAP1
00001d8c: DUP2
00001d8d: MSTORE
00001d8e: PUSH1 0x20
00001d90: ADD
00001d91: PUSH1 0x00
00001d93: KECCAK256
00001d94: PUSH1 0x00
00001d96: ADD
00001d97: SLOAD
00001d98: GT
00001d99: JUMPDEST
00001d9a: ISZERO
00001d9b: PUSH2 0x1fac
00001d9e: JUMPI
00001d9f: PUSH1 0x08
00001da1: DUP2
00001da2: DUP2
00001da3: SLOAD
00001da4: DUP2
00001da5: LT
00001da6: ISZERO
00001da7: ISZERO
00001da8: PUSH2 0x1dad
00001dab: JUMPI
00001dac: INVALID
00001dad: JUMPDEST
00001dae: SWAP1
00001daf: PUSH1 0x00
00001db1: MSTORE
00001db2: PUSH1 0x20
00001db4: PUSH1 0x00
00001db6: KECCAK256
00001db7: SWAP1
00001db8: ADD
00001db9: PUSH1 0x00
00001dbb: SWAP1
00001dbc: SLOAD
00001dbd: SWAP1
00001dbe: PUSH2 0x0100
00001dc1: EXP
00001dc2: SWAP1
00001dc3: DIV
00001dc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd9: AND
00001dda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001def: AND
00001df0: PUSH2 0x08fc
00001df3: PUSH1 0x0c
00001df5: PUSH1 0x00
00001df7: PUSH1 0x08
00001df9: DUP6
00001dfa: DUP2
00001dfb: SLOAD
00001dfc: DUP2
00001dfd: LT
00001dfe: ISZERO
00001dff: ISZERO
00001e00: PUSH2 0x1e05
00001e03: JUMPI
00001e04: INVALID
00001e05: JUMPDEST
00001e06: SWAP1
00001e07: PUSH1 0x00
00001e09: MSTORE
00001e0a: PUSH1 0x20
00001e0c: PUSH1 0x00
00001e0e: KECCAK256
00001e0f: SWAP1
00001e10: ADD
00001e11: PUSH1 0x00
00001e13: SWAP1
00001e14: SLOAD
00001e15: SWAP1
00001e16: PUSH2 0x0100
00001e19: EXP
00001e1a: SWAP1
00001e1b: DIV
00001e1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e31: AND
00001e32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e47: AND
00001e48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e5d: AND
00001e5e: DUP2
00001e5f: MSTORE
00001e60: PUSH1 0x20
00001e62: ADD
00001e63: SWAP1
00001e64: DUP2
00001e65: MSTORE
00001e66: PUSH1 0x20
00001e68: ADD
00001e69: PUSH1 0x00
00001e6b: KECCAK256
00001e6c: PUSH1 0x00
00001e6e: ADD
00001e6f: SLOAD
00001e70: SWAP1
00001e71: DUP2
00001e72: ISZERO
00001e73: MUL
00001e74: SWAP1
00001e75: PUSH1 0x40
00001e77: MLOAD
00001e78: PUSH1 0x00
00001e7a: PUSH1 0x40
00001e7c: MLOAD
00001e7d: DUP1
00001e7e: DUP4
00001e7f: SUB
00001e80: DUP2
00001e81: DUP6
00001e82: DUP9
00001e83: DUP9
00001e84: CALL
00001e85: SWAP4
00001e86: POP
00001e87: POP
00001e88: POP
00001e89: POP
00001e8a: ISZERO
00001e8b: ISZERO
00001e8c: PUSH2 0x1e94
00001e8f: JUMPI
00001e90: PUSH1 0x00
00001e92: DUP1
00001e93: REVERT
00001e94: JUMPDEST
00001e95: PUSH1 0x00
00001e97: PUSH1 0x0c
00001e99: PUSH1 0x00
00001e9b: PUSH1 0x08
00001e9d: DUP5
00001e9e: DUP2
00001e9f: SLOAD
00001ea0: DUP2
00001ea1: LT
00001ea2: ISZERO
00001ea3: ISZERO
00001ea4: PUSH2 0x1ea9
00001ea7: JUMPI
00001ea8: INVALID
00001ea9: JUMPDEST
00001eaa: SWAP1
00001eab: PUSH1 0x00
00001ead: MSTORE
00001eae: PUSH1 0x20
00001eb0: PUSH1 0x00
00001eb2: KECCAK256
00001eb3: SWAP1
00001eb4: ADD
00001eb5: PUSH1 0x00
00001eb7: SWAP1
00001eb8: SLOAD
00001eb9: SWAP1
00001eba: PUSH2 0x0100
00001ebd: EXP
00001ebe: SWAP1
00001ebf: DIV
00001ec0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed5: AND
00001ed6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eeb: AND
00001eec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f01: AND
00001f02: DUP2
00001f03: MSTORE
00001f04: PUSH1 0x20
00001f06: ADD
00001f07: SWAP1
00001f08: DUP2
00001f09: MSTORE
00001f0a: PUSH1 0x20
00001f0c: ADD
00001f0d: PUSH1 0x00
00001f0f: KECCAK256
00001f10: PUSH1 0x00
00001f12: ADD
00001f13: DUP2
00001f14: SWAP1
00001f15: SSTORE
00001f16: POP
00001f17: PUSH1 0x01
00001f19: PUSH1 0x0c
00001f1b: PUSH1 0x00
00001f1d: PUSH1 0x08
00001f1f: DUP5
00001f20: DUP2
00001f21: SLOAD
00001f22: DUP2
00001f23: LT
00001f24: ISZERO
00001f25: ISZERO
00001f26: PUSH2 0x1f2b
00001f29: JUMPI
00001f2a: INVALID
00001f2b: JUMPDEST
00001f2c: SWAP1
00001f2d: PUSH1 0x00
00001f2f: MSTORE
00001f30: PUSH1 0x20
00001f32: PUSH1 0x00
00001f34: KECCAK256
00001f35: SWAP1
00001f36: ADD
00001f37: PUSH1 0x00
00001f39: SWAP1
00001f3a: SLOAD
00001f3b: SWAP1
00001f3c: PUSH2 0x0100
00001f3f: EXP
00001f40: SWAP1
00001f41: DIV
00001f42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f57: AND
00001f58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f6d: AND
00001f6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f83: AND
00001f84: DUP2
00001f85: MSTORE
00001f86: PUSH1 0x20
00001f88: ADD
00001f89: SWAP1
00001f8a: DUP2
00001f8b: MSTORE
00001f8c: PUSH1 0x20
00001f8e: ADD
00001f8f: PUSH1 0x00
00001f91: KECCAK256
00001f92: PUSH1 0x01
00001f94: ADD
00001f95: PUSH1 0x00
00001f97: PUSH2 0x0100
00001f9a: EXP
00001f9b: DUP2
00001f9c: SLOAD
00001f9d: DUP2
00001f9e: PUSH1 0xff
00001fa0: MUL
00001fa1: NOT
00001fa2: AND
00001fa3: SWAP1
00001fa4: DUP4
00001fa5: ISZERO
00001fa6: ISZERO
00001fa7: MUL
00001fa8: OR
00001fa9: SWAP1
00001faa: SSTORE
00001fab: POP
00001fac: JUMPDEST
00001fad: DUP1
00001fae: DUP1
00001faf: PUSH1 0x01
00001fb1: ADD
00001fb2: SWAP2
00001fb3: POP
00001fb4: POP
00001fb5: PUSH2 0x1c79
00001fb8: JUMP
00001fb9: JUMPDEST
00001fba: POP
00001fbb: JUMP
00001fbc: JUMPDEST
00001fbd: PUSH1 0x00
00001fbf: DUP1
00001fc0: SWAP1
00001fc1: SLOAD
00001fc2: SWAP1
00001fc3: PUSH2 0x0100
00001fc6: EXP
00001fc7: SWAP1
00001fc8: DIV
00001fc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fde: AND
00001fdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff4: AND
00001ff5: CALLER
00001ff6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200b: AND
0000200c: EQ
0000200d: DUP1
0000200e: PUSH2 0x2064
00002011: JUMPI
00002012: POP
00002013: PUSH1 0x01
00002015: PUSH1 0x00
00002017: SWAP1
00002018: SLOAD
00002019: SWAP1
0000201a: PUSH2 0x0100
0000201d: EXP
0000201e: SWAP1
0000201f: DIV
00002020: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002035: AND
00002036: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000204b: AND
0000204c: CALLER
0000204d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002062: AND
00002063: EQ
00002064: JUMPDEST
00002065: DUP1
00002066: PUSH2 0x20bc
00002069: JUMPI
0000206a: POP
0000206b: PUSH1 0x02
0000206d: PUSH1 0x00
0000206f: SWAP1
00002070: SLOAD
00002071: SWAP1
00002072: PUSH2 0x0100
00002075: EXP
00002076: SWAP1
00002077: DIV
00002078: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000208d: AND
0000208e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a3: AND
000020a4: CALLER
000020a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ba: AND
000020bb: EQ
000020bc: JUMPDEST
000020bd: ISZERO
000020be: ISZERO
000020bf: PUSH2 0x20c7
000020c2: JUMPI
000020c3: PUSH1 0x00
000020c5: DUP1
000020c6: REVERT
000020c7: JUMPDEST
000020c8: PUSH1 0x00
000020ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020df: AND
000020e0: DUP2
000020e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f6: AND
000020f7: EQ
000020f8: ISZERO
000020f9: ISZERO
000020fa: ISZERO
000020fb: PUSH2 0x2103
000020fe: JUMPI
000020ff: PUSH1 0x00
00002101: DUP1
00002102: REVERT
00002103: JUMPDEST
00002104: DUP1
00002105: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000211a: AND
0000211b: PUSH1 0x00
0000211d: DUP1
0000211e: SWAP1
0000211f: SLOAD
00002120: SWAP1
00002121: PUSH2 0x0100
00002124: EXP
00002125: SWAP1
00002126: DIV
00002127: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000213c: AND
0000213d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002152: AND
00002153: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002174: PUSH1 0x40
00002176: MLOAD
00002177: PUSH1 0x40
00002179: MLOAD
0000217a: DUP1
0000217b: SWAP2
0000217c: SUB
0000217d: SWAP1
0000217e: LOG3
0000217f: DUP1
00002180: PUSH1 0x00
00002182: DUP1
00002183: PUSH2 0x0100
00002186: EXP
00002187: DUP2
00002188: SLOAD
00002189: DUP2
0000218a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219f: MUL
000021a0: NOT
000021a1: AND
000021a2: SWAP1
000021a3: DUP4
000021a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021b9: AND
000021ba: MUL
000021bb: OR
000021bc: SWAP1
000021bd: SSTORE
000021be: POP
000021bf: POP
000021c0: JUMP
000021c1: JUMPDEST
000021c2: PUSH1 0x0b
000021c4: PUSH1 0x00
000021c6: SWAP1
000021c7: SLOAD
000021c8: SWAP1
000021c9: PUSH2 0x0100
000021cc: EXP
000021cd: SWAP1
000021ce: DIV
000021cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021e4: AND
000021e5: DUP2
000021e6: JUMP
000021e7: JUMPDEST
000021e8: PUSH1 0x00
000021ea: DUP3
000021eb: DUP3
000021ec: GT
000021ed: ISZERO
000021ee: ISZERO
000021ef: ISZERO
000021f0: PUSH2 0x21f5
000021f3: JUMPI
000021f4: INVALID
000021f5: JUMPDEST
000021f6: DUP2
000021f7: DUP4
000021f8: SUB
000021f9: SWAP1
000021fa: POP
000021fb: SWAP3
000021fc: SWAP2
000021fd: POP
000021fe: POP
000021ff: JUMP
00002200: JUMPDEST
00002201: PUSH1 0x00
00002203: DUP1
00002204: PUSH1 0x03
00002206: PUSH1 0x00
00002208: SWAP1
00002209: SLOAD
0000220a: SWAP1
0000220b: PUSH2 0x0100
0000220e: EXP
0000220f: SWAP1
00002210: DIV
00002211: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002226: AND
00002227: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000223c: AND
0000223d: EQ
0000223e: DUP1
0000223f: PUSH2 0x2272
00002242: JUMPI
00002243: POP
00002244: PUSH1 0x00
00002246: PUSH2 0x2270
00002249: PUSH1 0x03
0000224b: PUSH1 0x00
0000224d: SWAP1
0000224e: SLOAD
0000224f: SWAP1
00002250: PUSH2 0x0100
00002253: EXP
00002254: SWAP1
00002255: DIV
00002256: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000226b: AND
0000226c: PUSH2 0x30e6
0000226f: JUMP
00002270: JUMPDEST
00002271: EQ
00002272: JUMPDEST
00002273: ISZERO
00002274: PUSH2 0x2283
00002277: JUMPI
00002278: PUSH2 0x2281
0000227b: PUSH1 0x00
0000227d: PUSH2 0x30f1
00002280: JUMP
00002281: JUMPDEST
00002282: POP
00002283: JUMPDEST
00002284: PUSH1 0x03
00002286: PUSH1 0x00
00002288: SWAP1
00002289: SLOAD
0000228a: SWAP1
0000228b: PUSH2 0x0100
0000228e: EXP
0000228f: SWAP1
00002290: DIV
00002291: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a6: AND
000022a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022bc: AND
000022bd: PUSH4 0x38cc4831
000022c2: PUSH1 0x00
000022c4: PUSH1 0x40
000022c6: MLOAD
000022c7: PUSH1 0x20
000022c9: ADD
000022ca: MSTORE
000022cb: PUSH1 0x40
000022cd: MLOAD
000022ce: DUP2
000022cf: PUSH4 0xffffffff
000022d4: AND
000022d5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000022f3: MUL
000022f4: DUP2
000022f5: MSTORE
000022f6: PUSH1 0x04
000022f8: ADD
000022f9: PUSH1 0x20
000022fb: PUSH1 0x40
000022fd: MLOAD
000022fe: DUP1
000022ff: DUP4
00002300: SUB
00002301: DUP2
00002302: PUSH1 0x00
00002304: DUP8
00002305: DUP1
00002306: EXTCODESIZE
00002307: ISZERO
00002308: ISZERO
00002309: PUSH2 0x2311
0000230c: JUMPI
0000230d: PUSH1 0x00
0000230f: DUP1
00002310: REVERT
00002311: JUMPDEST
00002312: PUSH2 0x02c6
00002315: GAS
00002316: SUB
00002317: CALL
00002318: ISZERO
00002319: ISZERO
0000231a: PUSH2 0x2322
0000231d: JUMPI
0000231e: PUSH1 0x00
00002320: DUP1
00002321: REVERT
00002322: JUMPDEST
00002323: POP
00002324: POP
00002325: POP
00002326: PUSH1 0x40
00002328: MLOAD
00002329: DUP1
0000232a: MLOAD
0000232b: SWAP1
0000232c: POP
0000232d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002342: AND
00002343: PUSH1 0x04
00002345: PUSH1 0x00
00002347: SWAP1
00002348: SLOAD
00002349: SWAP1
0000234a: PUSH2 0x0100
0000234d: EXP
0000234e: SWAP1
0000234f: DIV
00002350: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002365: AND
00002366: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000237b: AND
0000237c: EQ
0000237d: ISZERO
0000237e: ISZERO
0000237f: PUSH2 0x246c
00002382: JUMPI
00002383: PUSH1 0x03
00002385: PUSH1 0x00
00002387: SWAP1
00002388: SLOAD
00002389: SWAP1
0000238a: PUSH2 0x0100
0000238d: EXP
0000238e: SWAP1
0000238f: DIV
00002390: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a5: AND
000023a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023bb: AND
000023bc: PUSH4 0x38cc4831
000023c1: PUSH1 0x00
000023c3: PUSH1 0x40
000023c5: MLOAD
000023c6: PUSH1 0x20
000023c8: ADD
000023c9: MSTORE
000023ca: PUSH1 0x40
000023cc: MLOAD
000023cd: DUP2
000023ce: PUSH4 0xffffffff
000023d3: AND
000023d4: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000023f2: MUL
000023f3: DUP2
000023f4: MSTORE
000023f5: PUSH1 0x04
000023f7: ADD
000023f8: PUSH1 0x20
000023fa: PUSH1 0x40
000023fc: MLOAD
000023fd: DUP1
000023fe: DUP4
000023ff: SUB
00002400: DUP2
00002401: PUSH1 0x00
00002403: DUP8
00002404: DUP1
00002405: EXTCODESIZE
00002406: ISZERO
00002407: ISZERO
00002408: PUSH2 0x2410
0000240b: JUMPI
0000240c: PUSH1 0x00
0000240e: DUP1
0000240f: REVERT
00002410: JUMPDEST
00002411: PUSH2 0x02c6
00002414: GAS
00002415: SUB
00002416: CALL
00002417: ISZERO
00002418: ISZERO
00002419: PUSH2 0x2421
0000241c: JUMPI
0000241d: PUSH1 0x00
0000241f: DUP1
00002420: REVERT
00002421: JUMPDEST
00002422: POP
00002423: POP
00002424: POP
00002425: PUSH1 0x40
00002427: MLOAD
00002428: DUP1
00002429: MLOAD
0000242a: SWAP1
0000242b: POP
0000242c: PUSH1 0x04
0000242e: PUSH1 0x00
00002430: PUSH2 0x0100
00002433: EXP
00002434: DUP2
00002435: SLOAD
00002436: DUP2
00002437: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000244c: MUL
0000244d: NOT
0000244e: AND
0000244f: SWAP1
00002450: DUP4
00002451: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002466: AND
00002467: MUL
00002468: OR
00002469: SWAP1
0000246a: SSTORE
0000246b: POP
0000246c: JUMPDEST
0000246d: PUSH1 0x04
0000246f: PUSH1 0x00
00002471: SWAP1
00002472: SLOAD
00002473: SWAP1
00002474: PUSH2 0x0100
00002477: EXP
00002478: SWAP1
00002479: DIV
0000247a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000248f: AND
00002490: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a5: AND
000024a6: PUSH4 0xc281d19e
000024ab: PUSH1 0x00
000024ad: PUSH1 0x40
000024af: MLOAD
000024b0: PUSH1 0x20
000024b2: ADD
000024b3: MSTORE
000024b4: PUSH1 0x40
000024b6: MLOAD
000024b7: DUP2
000024b8: PUSH4 0xffffffff
000024bd: AND
000024be: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000024dc: MUL
000024dd: DUP2
000024de: MSTORE
000024df: PUSH1 0x04
000024e1: ADD
000024e2: PUSH1 0x20
000024e4: PUSH1 0x40
000024e6: MLOAD
000024e7: DUP1
000024e8: DUP4
000024e9: SUB
000024ea: DUP2
000024eb: PUSH1 0x00
000024ed: DUP8
000024ee: DUP1
000024ef: EXTCODESIZE
000024f0: ISZERO
000024f1: ISZERO
000024f2: PUSH2 0x24fa
000024f5: JUMPI
000024f6: PUSH1 0x00
000024f8: DUP1
000024f9: REVERT
000024fa: JUMPDEST
000024fb: PUSH2 0x02c6
000024fe: GAS
000024ff: SUB
00002500: CALL
00002501: ISZERO
00002502: ISZERO
00002503: PUSH2 0x250b
00002506: JUMPI
00002507: PUSH1 0x00
00002509: DUP1
0000250a: REVERT
0000250b: JUMPDEST
0000250c: POP
0000250d: POP
0000250e: POP
0000250f: PUSH1 0x40
00002511: MLOAD
00002512: DUP1
00002513: MLOAD
00002514: SWAP1
00002515: POP
00002516: SWAP1
00002517: POP
00002518: SWAP1
00002519: JUMP
0000251a: JUMPDEST
0000251b: PUSH1 0x00
0000251d: PUSH2 0x2524
00002520: PUSH2 0x35cf
00002523: JUMP
00002524: JUMPDEST
00002525: PUSH1 0x00
00002527: DUP1
00002528: PUSH1 0x00
0000252a: DUP7
0000252b: SWAP4
0000252c: POP
0000252d: PUSH1 0x00
0000252f: SWAP3
00002530: POP
00002531: PUSH1 0x00
00002533: SWAP2
00002534: POP
00002535: PUSH1 0x00
00002537: SWAP1
00002538: POP
00002539: JUMPDEST
0000253a: DUP4
0000253b: MLOAD
0000253c: DUP2
0000253d: LT
0000253e: ISZERO
0000253f: PUSH2 0x27f5
00002542: JUMPI
00002543: PUSH1 0x30
00002545: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002566: MUL
00002567: DUP5
00002568: DUP3
00002569: DUP2
0000256a: MLOAD
0000256b: DUP2
0000256c: LT
0000256d: ISZERO
0000256e: ISZERO
0000256f: PUSH2 0x2574
00002572: JUMPI
00002573: INVALID
00002574: JUMPDEST
00002575: SWAP1
00002576: PUSH1 0x20
00002578: ADD
00002579: ADD
0000257a: MLOAD
0000257b: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
0000259c: SWAP1
0000259d: DIV
0000259e: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
000025bf: MUL
000025c0: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000025e0: NOT
000025e1: AND
000025e2: LT
000025e3: ISZERO
000025e4: DUP1
000025e5: ISZERO
000025e6: PUSH2 0x268c
000025e9: JUMPI
000025ea: POP
000025eb: PUSH1 0x39
000025ed: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
0000260e: MUL
0000260f: DUP5
00002610: DUP3
00002611: DUP2
00002612: MLOAD
00002613: DUP2
00002614: LT
00002615: ISZERO
00002616: ISZERO
00002617: PUSH2 0x261c
0000261a: JUMPI
0000261b: INVALID
0000261c: JUMPDEST
0000261d: SWAP1
0000261e: PUSH1 0x20
00002620: ADD
00002621: ADD
00002622: MLOAD
00002623: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002644: SWAP1
00002645: DIV
00002646: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002667: MUL
00002668: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002688: NOT
00002689: AND
0000268a: GT
0000268b: ISZERO
0000268c: JUMPDEST
0000268d: ISZERO
0000268e: PUSH2 0x273d
00002691: JUMPI
00002692: DUP2
00002693: ISZERO
00002694: PUSH2 0x26af
00002697: JUMPI
00002698: PUSH1 0x00
0000269a: DUP7
0000269b: EQ
0000269c: ISZERO
0000269d: PUSH2 0x26a5
000026a0: JUMPI
000026a1: PUSH2 0x27f5
000026a4: JUMP
000026a5: JUMPDEST
000026a6: DUP6
000026a7: DUP1
000026a8: PUSH1 0x01
000026aa: SWAP1
000026ab: SUB
000026ac: SWAP7
000026ad: POP
000026ae: POP
000026af: JUMPDEST
000026b0: PUSH1 0x0a
000026b2: DUP4
000026b3: MUL
000026b4: SWAP3
000026b5: POP
000026b6: PUSH1 0x30
000026b8: DUP5
000026b9: DUP3
000026ba: DUP2
000026bb: MLOAD
000026bc: DUP2
000026bd: LT
000026be: ISZERO
000026bf: ISZERO
000026c0: PUSH2 0x26c5
000026c3: JUMPI
000026c4: INVALID
000026c5: JUMPDEST
000026c6: SWAP1
000026c7: PUSH1 0x20
000026c9: ADD
000026ca: ADD
000026cb: MLOAD
000026cc: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
000026ed: SWAP1
000026ee: DIV
000026ef: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002710: MUL
00002711: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002732: SWAP1
00002733: DIV
00002734: SUB
00002735: DUP4
00002736: ADD
00002737: SWAP3
00002738: POP
00002739: PUSH2 0x27e8
0000273c: JUMP
0000273d: JUMPDEST
0000273e: PUSH1 0x2e
00002740: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002761: MUL
00002762: DUP5
00002763: DUP3
00002764: DUP2
00002765: MLOAD
00002766: DUP2
00002767: LT
00002768: ISZERO
00002769: ISZERO
0000276a: PUSH2 0x276f
0000276d: JUMPI
0000276e: INVALID
0000276f: JUMPDEST
00002770: SWAP1
00002771: PUSH1 0x20
00002773: ADD
00002774: ADD
00002775: MLOAD
00002776: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002797: SWAP1
00002798: DIV
00002799: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
000027ba: MUL
000027bb: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000027db: NOT
000027dc: AND
000027dd: EQ
000027de: ISZERO
000027df: PUSH2 0x27e7
000027e2: JUMPI
000027e3: PUSH1 0x01
000027e5: SWAP2
000027e6: POP
000027e7: JUMPDEST
000027e8: JUMPDEST
000027e9: DUP1
000027ea: DUP1
000027eb: PUSH1 0x01
000027ed: ADD
000027ee: SWAP2
000027ef: POP
000027f0: POP
000027f1: PUSH2 0x2539
000027f4: JUMP
000027f5: JUMPDEST
000027f6: PUSH1 0x00
000027f8: DUP7
000027f9: GT
000027fa: ISZERO
000027fb: PUSH2 0x2807
000027fe: JUMPI
000027ff: DUP6
00002800: PUSH1 0x0a
00002802: EXP
00002803: DUP4
00002804: MUL
00002805: SWAP3
00002806: POP
00002807: JUMPDEST
00002808: DUP3
00002809: SWAP5
0000280a: POP
0000280b: POP
0000280c: POP
0000280d: POP
0000280e: POP
0000280f: SWAP3
00002810: SWAP2
00002811: POP
00002812: POP
00002813: JUMP
00002814: JUMPDEST
00002815: PUSH1 0x00
00002817: DUP1
00002818: PUSH1 0x03
0000281a: PUSH1 0x00
0000281c: SWAP1
0000281d: SLOAD
0000281e: SWAP1
0000281f: PUSH2 0x0100
00002822: EXP
00002823: SWAP1
00002824: DIV
00002825: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000283a: AND
0000283b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002850: AND
00002851: EQ
00002852: DUP1
00002853: PUSH2 0x2886
00002856: JUMPI
00002857: POP
00002858: PUSH1 0x00
0000285a: PUSH2 0x2884
0000285d: PUSH1 0x03
0000285f: PUSH1 0x00
00002861: SWAP1
00002862: SLOAD
00002863: SWAP1
00002864: PUSH2 0x0100
00002867: EXP
00002868: SWAP1
00002869: DIV
0000286a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000287f: AND
00002880: PUSH2 0x30e6
00002883: JUMP
00002884: JUMPDEST
00002885: EQ
00002886: JUMPDEST
00002887: ISZERO
00002888: PUSH2 0x2897
0000288b: JUMPI
0000288c: PUSH2 0x2895
0000288f: PUSH1 0x00
00002891: PUSH2 0x30f1
00002894: JUMP
00002895: JUMPDEST
00002896: POP
00002897: JUMPDEST
00002898: PUSH1 0x03
0000289a: PUSH1 0x00
0000289c: SWAP1
0000289d: SLOAD
0000289e: SWAP1
0000289f: PUSH2 0x0100
000028a2: EXP
000028a3: SWAP1
000028a4: DIV
000028a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028ba: AND
000028bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028d0: AND
000028d1: PUSH4 0x38cc4831
000028d6: PUSH1 0x00
000028d8: PUSH1 0x40
000028da: MLOAD
000028db: PUSH1 0x20
000028dd: ADD
000028de: MSTORE
000028df: PUSH1 0x40
000028e1: MLOAD
000028e2: DUP2
000028e3: PUSH4 0xffffffff
000028e8: AND
000028e9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002907: MUL
00002908: DUP2
00002909: MSTORE
0000290a: PUSH1 0x04
0000290c: ADD
0000290d: PUSH1 0x20
0000290f: PUSH1 0x40
00002911: MLOAD
00002912: DUP1
00002913: DUP4
00002914: SUB
00002915: DUP2
00002916: PUSH1 0x00
00002918: DUP8
00002919: DUP1
0000291a: EXTCODESIZE
0000291b: ISZERO
0000291c: ISZERO
0000291d: PUSH2 0x2925
00002920: JUMPI
00002921: PUSH1 0x00
00002923: DUP1
00002924: REVERT
00002925: JUMPDEST
00002926: PUSH2 0x02c6
00002929: GAS
0000292a: SUB
0000292b: CALL
0000292c: ISZERO
0000292d: ISZERO
0000292e: PUSH2 0x2936
00002931: JUMPI
00002932: PUSH1 0x00
00002934: DUP1
00002935: REVERT
00002936: JUMPDEST
00002937: POP
00002938: POP
00002939: POP
0000293a: PUSH1 0x40
0000293c: MLOAD
0000293d: DUP1
0000293e: MLOAD
0000293f: SWAP1
00002940: POP
00002941: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002956: AND
00002957: PUSH1 0x04
00002959: PUSH1 0x00
0000295b: SWAP1
0000295c: SLOAD
0000295d: SWAP1
0000295e: PUSH2 0x0100
00002961: EXP
00002962: SWAP1
00002963: DIV
00002964: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002979: AND
0000297a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000298f: AND
00002990: EQ
00002991: ISZERO
00002992: ISZERO
00002993: PUSH2 0x2a80
00002996: JUMPI
00002997: PUSH1 0x03
00002999: PUSH1 0x00
0000299b: SWAP1
0000299c: SLOAD
0000299d: SWAP1
0000299e: PUSH2 0x0100
000029a1: EXP
000029a2: SWAP1
000029a3: DIV
000029a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b9: AND
000029ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029cf: AND
000029d0: PUSH4 0x38cc4831
000029d5: PUSH1 0x00
000029d7: PUSH1 0x40
000029d9: MLOAD
000029da: PUSH1 0x20
000029dc: ADD
000029dd: MSTORE
000029de: PUSH1 0x40
000029e0: MLOAD
000029e1: DUP2
000029e2: PUSH4 0xffffffff
000029e7: AND
000029e8: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002a06: MUL
00002a07: DUP2
00002a08: MSTORE
00002a09: PUSH1 0x04
00002a0b: ADD
00002a0c: PUSH1 0x20
00002a0e: PUSH1 0x40
00002a10: MLOAD
00002a11: DUP1
00002a12: DUP4
00002a13: SUB
00002a14: DUP2
00002a15: PUSH1 0x00
00002a17: DUP8
00002a18: DUP1
00002a19: EXTCODESIZE
00002a1a: ISZERO
00002a1b: ISZERO
00002a1c: PUSH2 0x2a24
00002a1f: JUMPI
00002a20: PUSH1 0x00
00002a22: DUP1
00002a23: REVERT
00002a24: JUMPDEST
00002a25: PUSH2 0x02c6
00002a28: GAS
00002a29: SUB
00002a2a: CALL
00002a2b: ISZERO
00002a2c: ISZERO
00002a2d: PUSH2 0x2a35
00002a30: JUMPI
00002a31: PUSH1 0x00
00002a33: DUP1
00002a34: REVERT
00002a35: JUMPDEST
00002a36: POP
00002a37: POP
00002a38: POP
00002a39: PUSH1 0x40
00002a3b: MLOAD
00002a3c: DUP1
00002a3d: MLOAD
00002a3e: SWAP1
00002a3f: POP
00002a40: PUSH1 0x04
00002a42: PUSH1 0x00
00002a44: PUSH2 0x0100
00002a47: EXP
00002a48: DUP2
00002a49: SLOAD
00002a4a: DUP2
00002a4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a60: MUL
00002a61: NOT
00002a62: AND
00002a63: SWAP1
00002a64: DUP4
00002a65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a7a: AND
00002a7b: MUL
00002a7c: OR
00002a7d: SWAP1
00002a7e: SSTORE
00002a7f: POP
00002a80: JUMPDEST
00002a81: PUSH1 0x04
00002a83: PUSH1 0x00
00002a85: SWAP1
00002a86: SLOAD
00002a87: SWAP1
00002a88: PUSH2 0x0100
00002a8b: EXP
00002a8c: SWAP1
00002a8d: DIV
00002a8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aa3: AND
00002aa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ab9: AND
00002aba: PUSH4 0x524f3889
00002abf: DUP4
00002ac0: PUSH1 0x00
00002ac2: PUSH1 0x40
00002ac4: MLOAD
00002ac5: PUSH1 0x20
00002ac7: ADD
00002ac8: MSTORE
00002ac9: PUSH1 0x40
00002acb: MLOAD
00002acc: DUP3
00002acd: PUSH4 0xffffffff
00002ad2: AND
00002ad3: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002af1: MUL
00002af2: DUP2
00002af3: MSTORE
00002af4: PUSH1 0x04
00002af6: ADD
00002af7: DUP1
00002af8: DUP1
00002af9: PUSH1 0x20
00002afb: ADD
00002afc: DUP3
00002afd: DUP2
00002afe: SUB
00002aff: DUP3
00002b00: MSTORE
00002b01: DUP4
00002b02: DUP2
00002b03: DUP2
00002b04: MLOAD
00002b05: DUP2
00002b06: MSTORE
00002b07: PUSH1 0x20
00002b09: ADD
00002b0a: SWAP2
00002b0b: POP
00002b0c: DUP1
00002b0d: MLOAD
00002b0e: SWAP1
00002b0f: PUSH1 0x20
00002b11: ADD
00002b12: SWAP1
00002b13: DUP1
00002b14: DUP4
00002b15: DUP4
00002b16: PUSH1 0x00
00002b18: JUMPDEST
00002b19: DUP4
00002b1a: DUP2
00002b1b: LT
00002b1c: ISZERO
00002b1d: PUSH2 0x2b33
00002b20: JUMPI
00002b21: DUP1
00002b22: DUP3
00002b23: ADD
00002b24: MLOAD
00002b25: DUP2
00002b26: DUP5
00002b27: ADD
00002b28: MSTORE
00002b29: PUSH1 0x20
00002b2b: DUP2
00002b2c: ADD
00002b2d: SWAP1
00002b2e: POP
00002b2f: PUSH2 0x2b18
00002b32: JUMP
00002b33: JUMPDEST
00002b34: POP
00002b35: POP
00002b36: POP
00002b37: POP
00002b38: SWAP1
00002b39: POP
00002b3a: SWAP1
00002b3b: DUP2
00002b3c: ADD
00002b3d: SWAP1
00002b3e: PUSH1 0x1f
00002b40: AND
00002b41: DUP1
00002b42: ISZERO
00002b43: PUSH2 0x2b60
00002b46: JUMPI
00002b47: DUP1
00002b48: DUP3
00002b49: SUB
00002b4a: DUP1
00002b4b: MLOAD
00002b4c: PUSH1 0x01
00002b4e: DUP4
00002b4f: PUSH1 0x20
00002b51: SUB
00002b52: PUSH2 0x0100
00002b55: EXP
00002b56: SUB
00002b57: NOT
00002b58: AND
00002b59: DUP2
00002b5a: MSTORE
00002b5b: PUSH1 0x20
00002b5d: ADD
00002b5e: SWAP2
00002b5f: POP
00002b60: JUMPDEST
00002b61: POP
00002b62: SWAP3
00002b63: POP
00002b64: POP
00002b65: POP
00002b66: PUSH1 0x20
00002b68: PUSH1 0x40
00002b6a: MLOAD
00002b6b: DUP1
00002b6c: DUP4
00002b6d: SUB
00002b6e: DUP2
00002b6f: PUSH1 0x00
00002b71: DUP8
00002b72: DUP1
00002b73: EXTCODESIZE
00002b74: ISZERO
00002b75: ISZERO
00002b76: PUSH2 0x2b7e
00002b79: JUMPI
00002b7a: PUSH1 0x00
00002b7c: DUP1
00002b7d: REVERT
00002b7e: JUMPDEST
00002b7f: PUSH2 0x02c6
00002b82: GAS
00002b83: SUB
00002b84: CALL
00002b85: ISZERO
00002b86: ISZERO
00002b87: PUSH2 0x2b8f
00002b8a: JUMPI
00002b8b: PUSH1 0x00
00002b8d: DUP1
00002b8e: REVERT
00002b8f: JUMPDEST
00002b90: POP
00002b91: POP
00002b92: POP
00002b93: PUSH1 0x40
00002b95: MLOAD
00002b96: DUP1
00002b97: MLOAD
00002b98: SWAP1
00002b99: POP
00002b9a: SWAP1
00002b9b: POP
00002b9c: SWAP2
00002b9d: SWAP1
00002b9e: POP
00002b9f: JUMP
00002ba0: JUMPDEST
00002ba1: PUSH1 0x00
00002ba3: DUP1
00002ba4: PUSH1 0x00
00002ba6: PUSH1 0x03
00002ba8: PUSH1 0x00
00002baa: SWAP1
00002bab: SLOAD
00002bac: SWAP1
00002bad: PUSH2 0x0100
00002bb0: EXP
00002bb1: SWAP1
00002bb2: DIV
00002bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bc8: AND
00002bc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bde: AND
00002bdf: EQ
00002be0: DUP1
00002be1: PUSH2 0x2c14
00002be4: JUMPI
00002be5: POP
00002be6: PUSH1 0x00
00002be8: PUSH2 0x2c12
00002beb: PUSH1 0x03
00002bed: PUSH1 0x00
00002bef: SWAP1
00002bf0: SLOAD
00002bf1: SWAP1
00002bf2: PUSH2 0x0100
00002bf5: EXP
00002bf6: SWAP1
00002bf7: DIV
00002bf8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c0d: AND
00002c0e: PUSH2 0x30e6
00002c11: JUMP
00002c12: JUMPDEST
00002c13: EQ
00002c14: JUMPDEST
00002c15: ISZERO
00002c16: PUSH2 0x2c25
00002c19: JUMPI
00002c1a: PUSH2 0x2c23
00002c1d: PUSH1 0x00
00002c1f: PUSH2 0x30f1
00002c22: JUMP
00002c23: JUMPDEST
00002c24: POP
00002c25: JUMPDEST
00002c26: PUSH1 0x03
00002c28: PUSH1 0x00
00002c2a: SWAP1
00002c2b: SLOAD
00002c2c: SWAP1
00002c2d: PUSH2 0x0100
00002c30: EXP
00002c31: SWAP1
00002c32: DIV
00002c33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c48: AND
00002c49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c5e: AND
00002c5f: PUSH4 0x38cc4831
00002c64: PUSH1 0x00
00002c66: PUSH1 0x40
00002c68: MLOAD
00002c69: PUSH1 0x20
00002c6b: ADD
00002c6c: MSTORE
00002c6d: PUSH1 0x40
00002c6f: MLOAD
00002c70: DUP2
00002c71: PUSH4 0xffffffff
00002c76: AND
00002c77: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002c95: MUL
00002c96: DUP2
00002c97: MSTORE
00002c98: PUSH1 0x04
00002c9a: ADD
00002c9b: PUSH1 0x20
00002c9d: PUSH1 0x40
00002c9f: MLOAD
00002ca0: DUP1
00002ca1: DUP4
00002ca2: SUB
00002ca3: DUP2
00002ca4: PUSH1 0x00
00002ca6: DUP8
00002ca7: DUP1
00002ca8: EXTCODESIZE
00002ca9: ISZERO
00002caa: ISZERO
00002cab: PUSH2 0x2cb3
00002cae: JUMPI
00002caf: PUSH1 0x00
00002cb1: DUP1
00002cb2: REVERT
00002cb3: JUMPDEST
00002cb4: PUSH2 0x02c6
00002cb7: GAS
00002cb8: SUB
00002cb9: CALL
00002cba: ISZERO
00002cbb: ISZERO
00002cbc: PUSH2 0x2cc4
00002cbf: JUMPI
00002cc0: PUSH1 0x00
00002cc2: DUP1
00002cc3: REVERT
00002cc4: JUMPDEST
00002cc5: POP
00002cc6: POP
00002cc7: POP
00002cc8: PUSH1 0x40
00002cca: MLOAD
00002ccb: DUP1
00002ccc: MLOAD
00002ccd: SWAP1
00002cce: POP
00002ccf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ce4: AND
00002ce5: PUSH1 0x04
00002ce7: PUSH1 0x00
00002ce9: SWAP1
00002cea: SLOAD
00002ceb: SWAP1
00002cec: PUSH2 0x0100
00002cef: EXP
00002cf0: SWAP1
00002cf1: DIV
00002cf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d07: AND
00002d08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d1d: AND
00002d1e: EQ
00002d1f: ISZERO
00002d20: ISZERO
00002d21: PUSH2 0x2e0e
00002d24: JUMPI
00002d25: PUSH1 0x03
00002d27: PUSH1 0x00
00002d29: SWAP1
00002d2a: SLOAD
00002d2b: SWAP1
00002d2c: PUSH2 0x0100
00002d2f: EXP
00002d30: SWAP1
00002d31: DIV
00002d32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d47: AND
00002d48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d5d: AND
00002d5e: PUSH4 0x38cc4831
00002d63: PUSH1 0x00
00002d65: PUSH1 0x40
00002d67: MLOAD
00002d68: PUSH1 0x20
00002d6a: ADD
00002d6b: MSTORE
00002d6c: PUSH1 0x40
00002d6e: MLOAD
00002d6f: DUP2
00002d70: PUSH4 0xffffffff
00002d75: AND
00002d76: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002d94: MUL
00002d95: DUP2
00002d96: MSTORE
00002d97: PUSH1 0x04
00002d99: ADD
00002d9a: PUSH1 0x20
00002d9c: PUSH1 0x40
00002d9e: MLOAD
00002d9f: DUP1
00002da0: DUP4
00002da1: SUB
00002da2: DUP2
00002da3: PUSH1 0x00
00002da5: DUP8
00002da6: DUP1
00002da7: EXTCODESIZE
00002da8: ISZERO
00002da9: ISZERO
00002daa: PUSH2 0x2db2
00002dad: JUMPI
00002dae: PUSH1 0x00
00002db0: DUP1
00002db1: REVERT
00002db2: JUMPDEST
00002db3: PUSH2 0x02c6
00002db6: GAS
00002db7: SUB
00002db8: CALL
00002db9: ISZERO
00002dba: ISZERO
00002dbb: PUSH2 0x2dc3
00002dbe: JUMPI
00002dbf: PUSH1 0x00
00002dc1: DUP1
00002dc2: REVERT
00002dc3: JUMPDEST
00002dc4: POP
00002dc5: POP
00002dc6: POP
00002dc7: PUSH1 0x40
00002dc9: MLOAD
00002dca: DUP1
00002dcb: MLOAD
00002dcc: SWAP1
00002dcd: POP
00002dce: PUSH1 0x04
00002dd0: PUSH1 0x00
00002dd2: PUSH2 0x0100
00002dd5: EXP
00002dd6: DUP2
00002dd7: SLOAD
00002dd8: DUP2
00002dd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dee: MUL
00002def: NOT
00002df0: AND
00002df1: SWAP1
00002df2: DUP4
00002df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e08: AND
00002e09: MUL
00002e0a: OR
00002e0b: SWAP1
00002e0c: SSTORE
00002e0d: POP
00002e0e: JUMPDEST
00002e0f: PUSH1 0x04
00002e11: PUSH1 0x00
00002e13: SWAP1
00002e14: SLOAD
00002e15: SWAP1
00002e16: PUSH2 0x0100
00002e19: EXP
00002e1a: SWAP1
00002e1b: DIV
00002e1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e31: AND
00002e32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e47: AND
00002e48: PUSH4 0x524f3889
00002e4d: DUP6
00002e4e: PUSH1 0x00
00002e50: PUSH1 0x40
00002e52: MLOAD
00002e53: PUSH1 0x20
00002e55: ADD
00002e56: MSTORE
00002e57: PUSH1 0x40
00002e59: MLOAD
00002e5a: DUP3
00002e5b: PUSH4 0xffffffff
00002e60: AND
00002e61: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002e7f: MUL
00002e80: DUP2
00002e81: MSTORE
00002e82: PUSH1 0x04
00002e84: ADD
00002e85: DUP1
00002e86: DUP1
00002e87: PUSH1 0x20
00002e89: ADD
00002e8a: DUP3
00002e8b: DUP2
00002e8c: SUB
00002e8d: DUP3
00002e8e: MSTORE
00002e8f: DUP4
00002e90: DUP2
00002e91: DUP2
00002e92: MLOAD
00002e93: DUP2
00002e94: MSTORE
00002e95: PUSH1 0x20
00002e97: ADD
00002e98: SWAP2
00002e99: POP
00002e9a: DUP1
00002e9b: MLOAD
00002e9c: SWAP1
00002e9d: PUSH1 0x20
00002e9f: ADD
00002ea0: SWAP1
00002ea1: DUP1
00002ea2: DUP4
00002ea3: DUP4
00002ea4: PUSH1 0x00
00002ea6: JUMPDEST
00002ea7: DUP4
00002ea8: DUP2
00002ea9: LT
00002eaa: ISZERO
00002eab: PUSH2 0x2ec1
00002eae: JUMPI
00002eaf: DUP1
00002eb0: DUP3
00002eb1: ADD
00002eb2: MLOAD
00002eb3: DUP2
00002eb4: DUP5
00002eb5: ADD
00002eb6: MSTORE
00002eb7: PUSH1 0x20
00002eb9: DUP2
00002eba: ADD
00002ebb: SWAP1
00002ebc: POP
00002ebd: PUSH2 0x2ea6
00002ec0: JUMP
00002ec1: JUMPDEST
00002ec2: POP
00002ec3: POP
00002ec4: POP
00002ec5: POP
00002ec6: SWAP1
00002ec7: POP
00002ec8: SWAP1
00002ec9: DUP2
00002eca: ADD
00002ecb: SWAP1
00002ecc: PUSH1 0x1f
00002ece: AND
00002ecf: DUP1
00002ed0: ISZERO
00002ed1: PUSH2 0x2eee
00002ed4: JUMPI
00002ed5: DUP1
00002ed6: DUP3
00002ed7: SUB
00002ed8: DUP1
00002ed9: MLOAD
00002eda: PUSH1 0x01
00002edc: DUP4
00002edd: PUSH1 0x20
00002edf: SUB
00002ee0: PUSH2 0x0100
00002ee3: EXP
00002ee4: SUB
00002ee5: NOT
00002ee6: AND
00002ee7: DUP2
00002ee8: MSTORE
00002ee9: PUSH1 0x20
00002eeb: ADD
00002eec: SWAP2
00002eed: POP
00002eee: JUMPDEST
00002eef: POP
00002ef0: SWAP3
00002ef1: POP
00002ef2: POP
00002ef3: POP
00002ef4: PUSH1 0x20
00002ef6: PUSH1 0x40
00002ef8: MLOAD
00002ef9: DUP1
00002efa: DUP4
00002efb: SUB
00002efc: DUP2
00002efd: PUSH1 0x00
00002eff: DUP8
00002f00: DUP1
00002f01: EXTCODESIZE
00002f02: ISZERO
00002f03: ISZERO
00002f04: PUSH2 0x2f0c
00002f07: JUMPI
00002f08: PUSH1 0x00
00002f0a: DUP1
00002f0b: REVERT
00002f0c: JUMPDEST
00002f0d: PUSH2 0x02c6
00002f10: GAS
00002f11: SUB
00002f12: CALL
00002f13: ISZERO
00002f14: ISZERO
00002f15: PUSH2 0x2f1d
00002f18: JUMPI
00002f19: PUSH1 0x00
00002f1b: DUP1
00002f1c: REVERT
00002f1d: JUMPDEST
00002f1e: POP
00002f1f: POP
00002f20: POP
00002f21: PUSH1 0x40
00002f23: MLOAD
00002f24: DUP1
00002f25: MLOAD
00002f26: SWAP1
00002f27: POP
00002f28: SWAP1
00002f29: POP
00002f2a: PUSH3 0x030d40
00002f2e: GASPRICE
00002f2f: MUL
00002f30: PUSH8 0x0de0b6b3a7640000
00002f39: ADD
00002f3a: DUP2
00002f3b: GT
00002f3c: ISZERO
00002f3d: PUSH2 0x2f4c
00002f40: JUMPI
00002f41: PUSH1 0x00
00002f43: PUSH1 0x01
00002f45: MUL
00002f46: SWAP2
00002f47: POP
00002f48: PUSH2 0x30df
00002f4b: JUMP
00002f4c: JUMPDEST
00002f4d: PUSH1 0x04
00002f4f: PUSH1 0x00
00002f51: SWAP1
00002f52: SLOAD
00002f53: SWAP1
00002f54: PUSH2 0x0100
00002f57: EXP
00002f58: SWAP1
00002f59: DIV
00002f5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f6f: AND
00002f70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f85: AND
00002f86: PUSH4 0xadf59f99
00002f8b: DUP3
00002f8c: PUSH1 0x00
00002f8e: DUP8
00002f8f: DUP8
00002f90: PUSH1 0x00
00002f92: PUSH1 0x40
00002f94: MLOAD
00002f95: PUSH1 0x20
00002f97: ADD
00002f98: MSTORE
00002f99: PUSH1 0x40
00002f9b: MLOAD
00002f9c: DUP6
00002f9d: PUSH4 0xffffffff
00002fa2: AND
00002fa3: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002fc1: MUL
00002fc2: DUP2
00002fc3: MSTORE
00002fc4: PUSH1 0x04
00002fc6: ADD
00002fc7: DUP1
00002fc8: DUP5
00002fc9: DUP2
00002fca: MSTORE
00002fcb: PUSH1 0x20
00002fcd: ADD
00002fce: DUP1
00002fcf: PUSH1 0x20
00002fd1: ADD
00002fd2: DUP1
00002fd3: PUSH1 0x20
00002fd5: ADD
00002fd6: DUP4
00002fd7: DUP2
00002fd8: SUB
00002fd9: DUP4
00002fda: MSTORE
00002fdb: DUP6
00002fdc: DUP2
00002fdd: DUP2
00002fde: MLOAD
00002fdf: DUP2
00002fe0: MSTORE
00002fe1: PUSH1 0x20
00002fe3: ADD
00002fe4: SWAP2
00002fe5: POP
00002fe6: DUP1
00002fe7: MLOAD
00002fe8: SWAP1
00002fe9: PUSH1 0x20
00002feb: ADD
00002fec: SWAP1
00002fed: DUP1
00002fee: DUP4
00002fef: DUP4
00002ff0: PUSH1 0x00
00002ff2: JUMPDEST
00002ff3: DUP4
00002ff4: DUP2
00002ff5: LT
00002ff6: ISZERO
00002ff7: PUSH2 0x300d
00002ffa: JUMPI
00002ffb: DUP1
00002ffc: DUP3
00002ffd: ADD
00002ffe: MLOAD
00002fff: DUP2
00003000: DUP5
00003001: ADD
00003002: MSTORE
00003003: PUSH1 0x20
00003005: DUP2
00003006: ADD
00003007: SWAP1
00003008: POP
00003009: PUSH2 0x2ff2
0000300c: JUMP
0000300d: JUMPDEST
0000300e: POP
0000300f: POP
00003010: POP
00003011: POP
00003012: SWAP1
00003013: POP
00003014: SWAP1
00003015: DUP2
00003016: ADD
00003017: SWAP1
00003018: PUSH1 0x1f
0000301a: AND
0000301b: DUP1
0000301c: ISZERO
0000301d: PUSH2 0x303a
00003020: JUMPI
00003021: DUP1
00003022: DUP3
00003023: SUB
00003024: DUP1
00003025: MLOAD
00003026: PUSH1 0x01
00003028: DUP4
00003029: PUSH1 0x20
0000302b: SUB
0000302c: PUSH2 0x0100
0000302f: EXP
00003030: SUB
00003031: NOT
00003032: AND
00003033: DUP2
00003034: MSTORE
00003035: PUSH1 0x20
00003037: ADD
00003038: SWAP2
00003039: POP
0000303a: JUMPDEST
0000303b: POP
0000303c: DUP4
0000303d: DUP2
0000303e: SUB
0000303f: DUP3
00003040: MSTORE
00003041: DUP5
00003042: DUP2
00003043: DUP2
00003044: MLOAD
00003045: DUP2
00003046: MSTORE
00003047: PUSH1 0x20
00003049: ADD
0000304a: SWAP2
0000304b: POP
0000304c: DUP1
0000304d: MLOAD
0000304e: SWAP1
0000304f: PUSH1 0x20
00003051: ADD
00003052: SWAP1
00003053: DUP1
00003054: DUP4
00003055: DUP4
00003056: PUSH1 0x00
00003058: JUMPDEST
00003059: DUP4
0000305a: DUP2
0000305b: LT
0000305c: ISZERO
0000305d: PUSH2 0x3073
00003060: JUMPI
00003061: DUP1
00003062: DUP3
00003063: ADD
00003064: MLOAD
00003065: DUP2
00003066: DUP5
00003067: ADD
00003068: MSTORE
00003069: PUSH1 0x20
0000306b: DUP2
0000306c: ADD
0000306d: SWAP1
0000306e: POP
0000306f: PUSH2 0x3058
00003072: JUMP
00003073: JUMPDEST
00003074: POP
00003075: POP
00003076: POP
00003077: POP
00003078: SWAP1
00003079: POP
0000307a: SWAP1
0000307b: DUP2
0000307c: ADD
0000307d: SWAP1
0000307e: PUSH1 0x1f
00003080: AND
00003081: DUP1
00003082: ISZERO
00003083: PUSH2 0x30a0
00003086: JUMPI
00003087: DUP1
00003088: DUP3
00003089: SUB
0000308a: DUP1
0000308b: MLOAD
0000308c: PUSH1 0x01
0000308e: DUP4
0000308f: PUSH1 0x20
00003091: SUB
00003092: PUSH2 0x0100
00003095: EXP
00003096: SUB
00003097: NOT
00003098: AND
00003099: DUP2
0000309a: MSTORE
0000309b: PUSH1 0x20
0000309d: ADD
0000309e: SWAP2
0000309f: POP
000030a0: JUMPDEST
000030a1: POP
000030a2: SWAP6
000030a3: POP
000030a4: POP
000030a5: POP
000030a6: POP
000030a7: POP
000030a8: POP
000030a9: PUSH1 0x20
000030ab: PUSH1 0x40
000030ad: MLOAD
000030ae: DUP1
000030af: DUP4
000030b0: SUB
000030b1: DUP2
000030b2: DUP6
000030b3: DUP9
000030b4: DUP1
000030b5: EXTCODESIZE
000030b6: ISZERO
000030b7: ISZERO
000030b8: PUSH2 0x30c0
000030bb: JUMPI
000030bc: PUSH1 0x00
000030be: DUP1
000030bf: REVERT
000030c0: JUMPDEST
000030c1: PUSH2 0x25ee
000030c4: GAS
000030c5: SUB
000030c6: CALL
000030c7: ISZERO
000030c8: ISZERO
000030c9: PUSH2 0x30d1
000030cc: JUMPI
000030cd: PUSH1 0x00
000030cf: DUP1
000030d0: REVERT
000030d1: JUMPDEST
000030d2: POP
000030d3: POP
000030d4: POP
000030d5: POP
000030d6: PUSH1 0x40
000030d8: MLOAD
000030d9: DUP1
000030da: MLOAD
000030db: SWAP1
000030dc: POP
000030dd: SWAP2
000030de: POP
000030df: JUMPDEST
000030e0: POP
000030e1: SWAP3
000030e2: SWAP2
000030e3: POP
000030e4: POP
000030e5: JUMP
000030e6: JUMPDEST
000030e7: PUSH1 0x00
000030e9: DUP2
000030ea: EXTCODESIZE
000030eb: SWAP1
000030ec: POP
000030ed: SWAP2
000030ee: SWAP1
000030ef: POP
000030f0: JUMP
000030f1: JUMPDEST
000030f2: PUSH1 0x00
000030f4: DUP1
000030f5: PUSH2 0x3111
000030f8: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
0000310d: PUSH2 0x30e6
00003110: JUMP
00003111: JUMPDEST
00003112: GT
00003113: ISZERO
00003114: PUSH2 0x31b3
00003117: JUMPI
00003118: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
0000312d: PUSH1 0x03
0000312f: PUSH1 0x00
00003131: PUSH2 0x0100
00003134: EXP
00003135: DUP2
00003136: SLOAD
00003137: DUP2
00003138: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000314d: MUL
0000314e: NOT
0000314f: AND
00003150: SWAP1
00003151: DUP4
00003152: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003167: AND
00003168: MUL
00003169: OR
0000316a: SWAP1
0000316b: SSTORE
0000316c: POP
0000316d: PUSH2 0x31aa
00003170: PUSH1 0x40
00003172: DUP1
00003173: MLOAD
00003174: SWAP1
00003175: DUP2
00003176: ADD
00003177: PUSH1 0x40
00003179: MSTORE
0000317a: DUP1
0000317b: PUSH1 0x0b
0000317d: DUP2
0000317e: MSTORE
0000317f: PUSH1 0x20
00003181: ADD
00003182: PUSH32 0x6574685f6d61696e6e6574000000000000000000000000000000000000000000
000031a3: DUP2
000031a4: MSTORE
000031a5: POP
000031a6: PUSH2 0x3589
000031a9: JUMP
000031aa: JUMPDEST
000031ab: PUSH1 0x01
000031ad: SWAP1
000031ae: POP
000031af: PUSH2 0x3584
000031b2: JUMP
000031b3: JUMPDEST
000031b4: PUSH1 0x00
000031b6: PUSH2 0x31d2
000031b9: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
000031ce: PUSH2 0x30e6
000031d1: JUMP
000031d2: JUMPDEST
000031d3: GT
000031d4: ISZERO
000031d5: PUSH2 0x3274
000031d8: JUMPI
000031d9: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
000031ee: PUSH1 0x03
000031f0: PUSH1 0x00
000031f2: PUSH2 0x0100
000031f5: EXP
000031f6: DUP2
000031f7: SLOAD
000031f8: DUP2
000031f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000320e: MUL
0000320f: NOT
00003210: AND
00003211: SWAP1
00003212: DUP4
00003213: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003228: AND
00003229: MUL
0000322a: OR
0000322b: SWAP1
0000322c: SSTORE
0000322d: POP
0000322e: PUSH2 0x326b
00003231: PUSH1 0x40
00003233: DUP1
00003234: MLOAD
00003235: SWAP1
00003236: DUP2
00003237: ADD
00003238: PUSH1 0x40
0000323a: MSTORE
0000323b: DUP1
0000323c: PUSH1 0x0c
0000323e: DUP2
0000323f: MSTORE
00003240: PUSH1 0x20
00003242: ADD
00003243: PUSH32 0x6574685f726f707374656e330000000000000000000000000000000000000000
00003264: DUP2
00003265: MSTORE
00003266: POP
00003267: PUSH2 0x3589
0000326a: JUMP
0000326b: JUMPDEST
0000326c: PUSH1 0x01
0000326e: SWAP1
0000326f: POP
00003270: PUSH2 0x3584
00003273: JUMP
00003274: JUMPDEST
00003275: PUSH1 0x00
00003277: PUSH2 0x3293
0000327a: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e
0000328f: PUSH2 0x30e6
00003292: JUMP
00003293: JUMPDEST
00003294: GT
00003295: ISZERO
00003296: PUSH2 0x3335
00003299: JUMPI
0000329a: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e
000032af: PUSH1 0x03
000032b1: PUSH1 0x00
000032b3: PUSH2 0x0100
000032b6: EXP
000032b7: DUP2
000032b8: SLOAD
000032b9: DUP2
000032ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032cf: MUL
000032d0: NOT
000032d1: AND
000032d2: SWAP1
000032d3: DUP4
000032d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032e9: AND
000032ea: MUL
000032eb: OR
000032ec: SWAP1
000032ed: SSTORE
000032ee: POP
000032ef: PUSH2 0x332c
000032f2: PUSH1 0x40
000032f4: DUP1
000032f5: MLOAD
000032f6: SWAP1
000032f7: DUP2
000032f8: ADD
000032f9: PUSH1 0x40
000032fb: MSTORE
000032fc: DUP1
000032fd: PUSH1 0x09
000032ff: DUP2
00003300: MSTORE
00003301: PUSH1 0x20
00003303: ADD
00003304: PUSH32 0x6574685f6b6f76616e0000000000000000000000000000000000000000000000
00003325: DUP2
00003326: MSTORE
00003327: POP
00003328: PUSH2 0x3589
0000332b: JUMP
0000332c: JUMPDEST
0000332d: PUSH1 0x01
0000332f: SWAP1
00003330: POP
00003331: PUSH2 0x3584
00003334: JUMP
00003335: JUMPDEST
00003336: PUSH1 0x00
00003338: PUSH2 0x3354
0000333b: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48
00003350: PUSH2 0x30e6
00003353: JUMP
00003354: JUMPDEST
00003355: GT
00003356: ISZERO
00003357: PUSH2 0x33f6
0000335a: JUMPI
0000335b: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48
00003370: PUSH1 0x03
00003372: PUSH1 0x00
00003374: PUSH2 0x0100
00003377: EXP
00003378: DUP2
00003379: SLOAD
0000337a: DUP2
0000337b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003390: MUL
00003391: NOT
00003392: AND
00003393: SWAP1
00003394: DUP4
00003395: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033aa: AND
000033ab: MUL
000033ac: OR
000033ad: SWAP1
000033ae: SSTORE
000033af: POP
000033b0: PUSH2 0x33ed
000033b3: PUSH1 0x40
000033b5: DUP1
000033b6: MLOAD
000033b7: SWAP1
000033b8: DUP2
000033b9: ADD
000033ba: PUSH1 0x40
000033bc: MSTORE
000033bd: DUP1
000033be: PUSH1 0x0b
000033c0: DUP2
000033c1: MSTORE
000033c2: PUSH1 0x20
000033c4: ADD
000033c5: PUSH32 0x6574685f72696e6b656279000000000000000000000000000000000000000000
000033e6: DUP2
000033e7: MSTORE
000033e8: POP
000033e9: PUSH2 0x3589
000033ec: JUMP
000033ed: JUMPDEST
000033ee: PUSH1 0x01
000033f0: SWAP1
000033f1: POP
000033f2: PUSH2 0x3584
000033f5: JUMP
000033f6: JUMPDEST
000033f7: PUSH1 0x00
000033f9: PUSH2 0x3415
000033fc: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475
00003411: PUSH2 0x30e6
00003414: JUMP
00003415: JUMPDEST
00003416: GT
00003417: ISZERO
00003418: PUSH2 0x3479
0000341b: JUMPI
0000341c: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475
00003431: PUSH1 0x03
00003433: PUSH1 0x00
00003435: PUSH2 0x0100
00003438: EXP
00003439: DUP2
0000343a: SLOAD
0000343b: DUP2
0000343c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003451: MUL
00003452: NOT
00003453: AND
00003454: SWAP1
00003455: DUP4
00003456: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000346b: AND
0000346c: MUL
0000346d: OR
0000346e: SWAP1
0000346f: SSTORE
00003470: POP
00003471: PUSH1 0x01
00003473: SWAP1
00003474: POP
00003475: PUSH2 0x3584
00003478: JUMP
00003479: JUMPDEST
0000347a: PUSH1 0x00
0000347c: PUSH2 0x3498
0000347f: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
00003494: PUSH2 0x30e6
00003497: JUMP
00003498: JUMPDEST
00003499: GT
0000349a: ISZERO
0000349b: PUSH2 0x34fc
0000349e: JUMPI
0000349f: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
000034b4: PUSH1 0x03
000034b6: PUSH1 0x00
000034b8: PUSH2 0x0100
000034bb: EXP
000034bc: DUP2
000034bd: SLOAD
000034be: DUP2
000034bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034d4: MUL
000034d5: NOT
000034d6: AND
000034d7: SWAP1
000034d8: DUP4
000034d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034ee: AND
000034ef: MUL
000034f0: OR
000034f1: SWAP1
000034f2: SSTORE
000034f3: POP
000034f4: PUSH1 0x01
000034f6: SWAP1
000034f7: POP
000034f8: PUSH2 0x3584
000034fb: JUMP
000034fc: JUMPDEST
000034fd: PUSH1 0x00
000034ff: PUSH2 0x351b
00003502: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
00003517: PUSH2 0x30e6
0000351a: JUMP
0000351b: JUMPDEST
0000351c: GT
0000351d: ISZERO
0000351e: PUSH2 0x357f
00003521: JUMPI
00003522: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
00003537: PUSH1 0x03
00003539: PUSH1 0x00
0000353b: PUSH2 0x0100
0000353e: EXP
0000353f: DUP2
00003540: SLOAD
00003541: DUP2
00003542: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003557: MUL
00003558: NOT
00003559: AND
0000355a: SWAP1
0000355b: DUP4
0000355c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003571: AND
00003572: MUL
00003573: OR
00003574: SWAP1
00003575: SSTORE
00003576: POP
00003577: PUSH1 0x01
00003579: SWAP1
0000357a: POP
0000357b: PUSH2 0x3584
0000357e: JUMP
0000357f: JUMPDEST
00003580: PUSH1 0x00
00003582: SWAP1
00003583: POP
00003584: JUMPDEST
00003585: SWAP2
00003586: SWAP1
00003587: POP
00003588: JUMP
00003589: JUMPDEST
0000358a: DUP1
0000358b: PUSH1 0x05
0000358d: SWAP1
0000358e: DUP1
0000358f: MLOAD
00003590: SWAP1
00003591: PUSH1 0x20
00003593: ADD
00003594: SWAP1
00003595: PUSH2 0x359f
00003598: SWAP3
00003599: SWAP2
0000359a: SWAP1
0000359b: PUSH2 0x35e3
0000359e: JUMP
0000359f: JUMPDEST
000035a0: POP
000035a1: POP
000035a2: JUMP
000035a3: JUMPDEST
000035a4: DUP2
000035a5: SLOAD
000035a6: DUP2
000035a7: DUP4
000035a8: SSTORE
000035a9: DUP2
000035aa: DUP2
000035ab: ISZERO
000035ac: GT
000035ad: PUSH2 0x35ca
000035b0: JUMPI
000035b1: DUP2
000035b2: DUP4
000035b3: PUSH1 0x00
000035b5: MSTORE
000035b6: PUSH1 0x20
000035b8: PUSH1 0x00
000035ba: KECCAK256
000035bb: SWAP2
000035bc: DUP3
000035bd: ADD
000035be: SWAP2
000035bf: ADD
000035c0: PUSH2 0x35c9
000035c3: SWAP2
000035c4: SWAP1
000035c5: PUSH2 0x3663
000035c8: JUMP
000035c9: JUMPDEST
000035ca: JUMPDEST
000035cb: POP
000035cc: POP
000035cd: POP
000035ce: JUMP
000035cf: JUMPDEST
000035d0: PUSH1 0x20
000035d2: PUSH1 0x40
000035d4: MLOAD
000035d5: SWAP1
000035d6: DUP2
000035d7: ADD
000035d8: PUSH1 0x40
000035da: MSTORE
000035db: DUP1
000035dc: PUSH1 0x00
000035de: DUP2
000035df: MSTORE
000035e0: POP
000035e1: SWAP1
000035e2: JUMP
000035e3: JUMPDEST
000035e4: DUP3
000035e5: DUP1
000035e6: SLOAD
000035e7: PUSH1 0x01
000035e9: DUP2
000035ea: PUSH1 0x01
000035ec: AND
000035ed: ISZERO
000035ee: PUSH2 0x0100
000035f1: MUL
000035f2: SUB
000035f3: AND
000035f4: PUSH1 0x02
000035f6: SWAP1
000035f7: DIV
000035f8: SWAP1
000035f9: PUSH1 0x00
000035fb: MSTORE
000035fc: PUSH1 0x20
000035fe: PUSH1 0x00
00003600: KECCAK256
00003601: SWAP1
00003602: PUSH1 0x1f
00003604: ADD
00003605: PUSH1 0x20
00003607: SWAP1
00003608: DIV
00003609: DUP2
0000360a: ADD
0000360b: SWAP3
0000360c: DUP3
0000360d: PUSH1 0x1f
0000360f: LT
00003610: PUSH2 0x3624
00003613: JUMPI
00003614: DUP1
00003615: MLOAD
00003616: PUSH1 0xff
00003618: NOT
00003619: AND
0000361a: DUP4
0000361b: DUP1
0000361c: ADD
0000361d: OR
0000361e: DUP6
0000361f: SSTORE
00003620: PUSH2 0x3652
00003623: JUMP
00003624: JUMPDEST
00003625: DUP3
00003626: DUP1
00003627: ADD
00003628: PUSH1 0x01
0000362a: ADD
0000362b: DUP6
0000362c: SSTORE
0000362d: DUP3
0000362e: ISZERO
0000362f: PUSH2 0x3652
00003632: JUMPI
00003633: SWAP2
00003634: DUP3
00003635: ADD
00003636: JUMPDEST
00003637: DUP3
00003638: DUP2
00003639: GT
0000363a: ISZERO
0000363b: PUSH2 0x3651
0000363e: JUMPI
0000363f: DUP3
00003640: MLOAD
00003641: DUP3
00003642: SSTORE
00003643: SWAP2
00003644: PUSH1 0x20
00003646: ADD
00003647: SWAP2
00003648: SWAP1
00003649: PUSH1 0x01
0000364b: ADD
0000364c: SWAP1
0000364d: PUSH2 0x3636
00003650: JUMP
00003651: JUMPDEST
00003652: JUMPDEST
00003653: POP
00003654: SWAP1
00003655: POP
00003656: PUSH2 0x365f
00003659: SWAP2
0000365a: SWAP1
0000365b: PUSH2 0x3663
0000365e: JUMP
0000365f: JUMPDEST
00003660: POP
00003661: SWAP1
00003662: JUMP
00003663: JUMPDEST
00003664: PUSH2 0x3685
00003667: SWAP2
00003668: SWAP1
00003669: JUMPDEST
0000366a: DUP1
0000366b: DUP3
0000366c: GT
0000366d: ISZERO
0000366e: PUSH2 0x3681
00003671: JUMPI
00003672: PUSH1 0x00
00003674: DUP2
00003675: PUSH1 0x00
00003677: SWAP1
00003678: SSTORE
00003679: POP
0000367a: PUSH1 0x01
0000367c: ADD
0000367d: PUSH2 0x3669
00003680: JUMP
00003681: JUMPDEST
00003682: POP
00003683: SWAP1
00003684: JUMP
00003685: JUMPDEST
00003686: SWAP1
00003687: JUMP
00003688: STOP
00003689: LOG1
0000368a: PUSH6 0x627a7a723058
00003691: KECCAK256
00003692: CALLCODE
00003693: UNKNOWN(0xFC)
00003694: PUSH29 0x77da2c6204a090df068cd6ae56c827c18565d571730826666acc748b77
000036b2: STOP
000036b3: 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: 0x535b3d062d3aef0aa28a19e63cd25a8b7202f6637d2f7ebc8067e265922ac749
call_targets: 0x71eadb3f4acb430e485c34e655b1f350ac963e35
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x535b3d062d3aef0aa28a19e63cd25a8b7202f6637d2f7ebc8067e265922ac749",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x71eadb3f4acb430e485c34e655b1f350ac963e35"
    ],
    "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": "0x12da6e2b",
            "selector": "0x12da6e2b",
            "calldata_variants": [
                "0x12da6e2b",
                "0x12da6e2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1e171d7c",
            "selector": "0x1e171d7c",
            "calldata_variants": [
                "0x1e171d7c",
                "0x1e171d7c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x25feb519",
            "selector": "0x25feb519",
            "calldata_variants": [
                "0x25feb519",
                "0x25feb5190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27dc297e",
            "selector": "0x27dc297e",
            "calldata_variants": [
                "0x27dc297e",
                "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2c4e722e",
            "selector": "0x2c4e722e",
            "calldata_variants": [
                "0x2c4e722e",
                "0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3197cbb6",
            "selector": "0x3197cbb6",
            "calldata_variants": [
                "0x3197cbb6",
                "0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38bbfa50",
            "selector": "0x38bbfa50",
            "calldata_variants": [
                "0x38bbfa50",
                "0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 836,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3103,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5123,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 16,
    "guards_detected": [
        {
            "pc": 3779,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5361,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5448,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5536,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5769,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5856,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5944,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6164,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6251,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6339,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6565,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6652,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6740,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7034,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7121,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7209,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8181,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8268,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8356,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 16
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x535b3d062d3aef0aa28a19e63cd25a8b7202f6637d2f7ebc8067e265922ac749
call_targets: 0x71eadb3f4acb430e485c34e655b1f350ac963e35
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x535b3d062d3aef0aa28a19e63cd25a8b7202f6637d2f7ebc8067e265922ac749",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x71eadb3f4acb430e485c34e655b1f350ac963e35"
    ],
    "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": "0x12da6e2b",
            "selector": "0x12da6e2b",
            "calldata_variants": [
                "0x12da6e2b",
                "0x12da6e2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1e171d7c",
            "selector": "0x1e171d7c",
            "calldata_variants": [
                "0x1e171d7c",
                "0x1e171d7c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x25feb519",
            "selector": "0x25feb519",
            "calldata_variants": [
                "0x25feb519",
                "0x25feb5190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27dc297e",
            "selector": "0x27dc297e",
            "calldata_variants": [
                "0x27dc297e",
                "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2c4e722e",
            "selector": "0x2c4e722e",
            "calldata_variants": [
                "0x2c4e722e",
                "0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3197cbb6",
            "selector": "0x3197cbb6",
            "calldata_variants": [
                "0x3197cbb6",
                "0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38bbfa50",
            "selector": "0x38bbfa50",
            "calldata_variants": [
                "0x38bbfa50",
                "0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 836,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3103,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5123,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 16,
    "guards_detected": [
        {
            "pc": 3779,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5361,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5448,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5536,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5769,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5856,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5944,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6164,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6251,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6339,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6565,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6652,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6740,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7034,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7121,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7209,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8181,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8268,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8356,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}