Analysis Run

019b477e-b343-727f-a567-953ca8562c4c
complete
Chain ID
1
Address
0x77b541f90ecfa09f854209eefeca24c295050e2e
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
22517	artifact.fetch	complete	1 / 3	3 months ago
22518	tool.cast_disasm	complete	1 / 3	3 months ago
65482	analysis.bundle	complete	1 / 3	2 weeks ago
65483	capability.graph	complete	1 / 3	2 weeks ago
65484	detector.run	complete	1 / 3	2 weeks ago
65485	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)
4
EXT*/BALANCE
1
Total opcodes
5315
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x013d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH3 0x65318b
0000003b: EQ
0000003c: PUSH2 0x014b
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x06fdde03
00000046: EQ
00000047: PUSH2 0x01a2
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x10d0ffdd
00000051: EQ
00000052: PUSH2 0x0232
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x18160ddd
0000005c: EQ
0000005d: PUSH2 0x0273
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x22609373
00000067: EQ
00000068: PUSH2 0x029e
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x313ce567
00000072: EQ
00000073: PUSH2 0x02df
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x3ccfd60b
0000007d: EQ
0000007e: PUSH2 0x0310
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x4b750334
00000088: EQ
00000089: PUSH2 0x0327
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x56d399e8
00000093: EQ
00000094: PUSH2 0x0352
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x688abbf7
0000009e: EQ
0000009f: PUSH2 0x037d
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x6b2f4632
000000a9: EQ
000000aa: PUSH2 0x03c0
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x70a08231
000000b4: EQ
000000b5: PUSH2 0x03eb
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x8328b610
000000bf: EQ
000000c0: PUSH2 0x0442
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x8620410b
000000ca: EQ
000000cb: PUSH2 0x046f
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x8f283970
000000d5: EQ
000000d6: PUSH2 0x049a
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x949e8acd
000000e0: EQ
000000e1: PUSH2 0x04dd
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x95d89b41
000000eb: EQ
000000ec: PUSH2 0x0508
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xa9059cbb
000000f6: EQ
000000f7: PUSH2 0x0598
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xb84c8246
00000101: EQ
00000102: PUSH2 0x05fd
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xc47f0027
0000010c: EQ
0000010d: PUSH2 0x0666
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xe4849b32
00000117: EQ
00000118: PUSH2 0x06cf
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xe9fad8ee
00000122: EQ
00000123: PUSH2 0x06fc
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xf088d547
0000012d: EQ
0000012e: PUSH2 0x0713
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xfdb5a03e
00000138: EQ
00000139: PUSH2 0x075d
0000013c: JUMPI
0000013d: JUMPDEST
0000013e: PUSH2 0x0148
00000141: CALLVALUE
00000142: PUSH1 0x00
00000144: PUSH2 0x0774
00000147: JUMP
00000148: JUMPDEST
00000149: POP
0000014a: STOP
0000014b: JUMPDEST
0000014c: CALLVALUE
0000014d: DUP1
0000014e: ISZERO
0000014f: PUSH2 0x0157
00000152: JUMPI
00000153: PUSH1 0x00
00000155: DUP1
00000156: REVERT
00000157: JUMPDEST
00000158: POP
00000159: PUSH2 0x018c
0000015c: PUSH1 0x04
0000015e: DUP1
0000015f: CALLDATASIZE
00000160: SUB
00000161: DUP2
00000162: ADD
00000163: SWAP1
00000164: DUP1
00000165: DUP1
00000166: CALLDATALOAD
00000167: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000017c: AND
0000017d: SWAP1
0000017e: PUSH1 0x20
00000180: ADD
00000181: SWAP1
00000182: SWAP3
00000183: SWAP2
00000184: SWAP1
00000185: POP
00000186: POP
00000187: POP
00000188: PUSH2 0x0a80
0000018b: JUMP
0000018c: JUMPDEST
0000018d: PUSH1 0x40
0000018f: MLOAD
00000190: DUP1
00000191: DUP3
00000192: DUP2
00000193: MSTORE
00000194: PUSH1 0x20
00000196: ADD
00000197: SWAP2
00000198: POP
00000199: POP
0000019a: PUSH1 0x40
0000019c: MLOAD
0000019d: DUP1
0000019e: SWAP2
0000019f: SUB
000001a0: SWAP1
000001a1: RETURN
000001a2: JUMPDEST
000001a3: CALLVALUE
000001a4: DUP1
000001a5: ISZERO
000001a6: PUSH2 0x01ae
000001a9: JUMPI
000001aa: PUSH1 0x00
000001ac: DUP1
000001ad: REVERT
000001ae: JUMPDEST
000001af: POP
000001b0: PUSH2 0x01b7
000001b3: PUSH2 0x0b22
000001b6: JUMP
000001b7: JUMPDEST
000001b8: PUSH1 0x40
000001ba: MLOAD
000001bb: DUP1
000001bc: DUP1
000001bd: PUSH1 0x20
000001bf: ADD
000001c0: DUP3
000001c1: DUP2
000001c2: SUB
000001c3: DUP3
000001c4: MSTORE
000001c5: DUP4
000001c6: DUP2
000001c7: DUP2
000001c8: MLOAD
000001c9: DUP2
000001ca: MSTORE
000001cb: PUSH1 0x20
000001cd: ADD
000001ce: SWAP2
000001cf: POP
000001d0: DUP1
000001d1: MLOAD
000001d2: SWAP1
000001d3: PUSH1 0x20
000001d5: ADD
000001d6: SWAP1
000001d7: DUP1
000001d8: DUP4
000001d9: DUP4
000001da: PUSH1 0x00
000001dc: JUMPDEST
000001dd: DUP4
000001de: DUP2
000001df: LT
000001e0: ISZERO
000001e1: PUSH2 0x01f7
000001e4: JUMPI
000001e5: DUP1
000001e6: DUP3
000001e7: ADD
000001e8: MLOAD
000001e9: DUP2
000001ea: DUP5
000001eb: ADD
000001ec: MSTORE
000001ed: PUSH1 0x20
000001ef: DUP2
000001f0: ADD
000001f1: SWAP1
000001f2: POP
000001f3: PUSH2 0x01dc
000001f6: JUMP
000001f7: JUMPDEST
000001f8: POP
000001f9: POP
000001fa: POP
000001fb: POP
000001fc: SWAP1
000001fd: POP
000001fe: SWAP1
000001ff: DUP2
00000200: ADD
00000201: SWAP1
00000202: PUSH1 0x1f
00000204: AND
00000205: DUP1
00000206: ISZERO
00000207: PUSH2 0x0224
0000020a: JUMPI
0000020b: DUP1
0000020c: DUP3
0000020d: SUB
0000020e: DUP1
0000020f: MLOAD
00000210: PUSH1 0x01
00000212: DUP4
00000213: PUSH1 0x20
00000215: SUB
00000216: PUSH2 0x0100
00000219: EXP
0000021a: SUB
0000021b: NOT
0000021c: AND
0000021d: DUP2
0000021e: MSTORE
0000021f: PUSH1 0x20
00000221: ADD
00000222: SWAP2
00000223: POP
00000224: JUMPDEST
00000225: POP
00000226: SWAP3
00000227: POP
00000228: POP
00000229: POP
0000022a: PUSH1 0x40
0000022c: MLOAD
0000022d: DUP1
0000022e: SWAP2
0000022f: SUB
00000230: SWAP1
00000231: RETURN
00000232: JUMPDEST
00000233: CALLVALUE
00000234: DUP1
00000235: ISZERO
00000236: PUSH2 0x023e
00000239: JUMPI
0000023a: PUSH1 0x00
0000023c: DUP1
0000023d: REVERT
0000023e: JUMPDEST
0000023f: POP
00000240: PUSH2 0x025d
00000243: PUSH1 0x04
00000245: DUP1
00000246: CALLDATASIZE
00000247: SUB
00000248: DUP2
00000249: ADD
0000024a: SWAP1
0000024b: DUP1
0000024c: DUP1
0000024d: CALLDATALOAD
0000024e: SWAP1
0000024f: PUSH1 0x20
00000251: ADD
00000252: SWAP1
00000253: SWAP3
00000254: SWAP2
00000255: SWAP1
00000256: POP
00000257: POP
00000258: POP
00000259: PUSH2 0x0bc0
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH1 0x40
00000260: MLOAD
00000261: DUP1
00000262: DUP3
00000263: DUP2
00000264: MSTORE
00000265: PUSH1 0x20
00000267: ADD
00000268: SWAP2
00000269: POP
0000026a: POP
0000026b: PUSH1 0x40
0000026d: MLOAD
0000026e: DUP1
0000026f: SWAP2
00000270: SUB
00000271: SWAP1
00000272: RETURN
00000273: JUMPDEST
00000274: CALLVALUE
00000275: DUP1
00000276: ISZERO
00000277: PUSH2 0x027f
0000027a: JUMPI
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: REVERT
0000027f: JUMPDEST
00000280: POP
00000281: PUSH2 0x0288
00000284: PUSH2 0x0bf8
00000287: JUMP
00000288: JUMPDEST
00000289: PUSH1 0x40
0000028b: MLOAD
0000028c: DUP1
0000028d: DUP3
0000028e: DUP2
0000028f: MSTORE
00000290: PUSH1 0x20
00000292: ADD
00000293: SWAP2
00000294: POP
00000295: POP
00000296: PUSH1 0x40
00000298: MLOAD
00000299: DUP1
0000029a: SWAP2
0000029b: SUB
0000029c: SWAP1
0000029d: RETURN
0000029e: JUMPDEST
0000029f: CALLVALUE
000002a0: DUP1
000002a1: ISZERO
000002a2: PUSH2 0x02aa
000002a5: JUMPI
000002a6: PUSH1 0x00
000002a8: DUP1
000002a9: REVERT
000002aa: JUMPDEST
000002ab: POP
000002ac: PUSH2 0x02c9
000002af: PUSH1 0x04
000002b1: DUP1
000002b2: CALLDATASIZE
000002b3: SUB
000002b4: DUP2
000002b5: ADD
000002b6: SWAP1
000002b7: DUP1
000002b8: DUP1
000002b9: CALLDATALOAD
000002ba: SWAP1
000002bb: PUSH1 0x20
000002bd: ADD
000002be: SWAP1
000002bf: SWAP3
000002c0: SWAP2
000002c1: SWAP1
000002c2: POP
000002c3: POP
000002c4: POP
000002c5: PUSH2 0x0c02
000002c8: JUMP
000002c9: JUMPDEST
000002ca: PUSH1 0x40
000002cc: MLOAD
000002cd: DUP1
000002ce: DUP3
000002cf: DUP2
000002d0: MSTORE
000002d1: PUSH1 0x20
000002d3: ADD
000002d4: SWAP2
000002d5: POP
000002d6: POP
000002d7: PUSH1 0x40
000002d9: MLOAD
000002da: DUP1
000002db: SWAP2
000002dc: SUB
000002dd: SWAP1
000002de: RETURN
000002df: JUMPDEST
000002e0: CALLVALUE
000002e1: DUP1
000002e2: ISZERO
000002e3: PUSH2 0x02eb
000002e6: JUMPI
000002e7: PUSH1 0x00
000002e9: DUP1
000002ea: REVERT
000002eb: JUMPDEST
000002ec: POP
000002ed: PUSH2 0x02f4
000002f0: PUSH2 0x0c4b
000002f3: JUMP
000002f4: JUMPDEST
000002f5: PUSH1 0x40
000002f7: MLOAD
000002f8: DUP1
000002f9: DUP3
000002fa: PUSH1 0xff
000002fc: AND
000002fd: PUSH1 0xff
000002ff: AND
00000300: DUP2
00000301: MSTORE
00000302: PUSH1 0x20
00000304: ADD
00000305: SWAP2
00000306: POP
00000307: POP
00000308: PUSH1 0x40
0000030a: MLOAD
0000030b: DUP1
0000030c: SWAP2
0000030d: SUB
0000030e: SWAP1
0000030f: RETURN
00000310: JUMPDEST
00000311: CALLVALUE
00000312: DUP1
00000313: ISZERO
00000314: PUSH2 0x031c
00000317: JUMPI
00000318: PUSH1 0x00
0000031a: DUP1
0000031b: REVERT
0000031c: JUMPDEST
0000031d: POP
0000031e: PUSH2 0x0325
00000321: PUSH2 0x0c50
00000324: JUMP
00000325: JUMPDEST
00000326: STOP
00000327: JUMPDEST
00000328: CALLVALUE
00000329: DUP1
0000032a: ISZERO
0000032b: PUSH2 0x0333
0000032e: JUMPI
0000032f: PUSH1 0x00
00000331: DUP1
00000332: REVERT
00000333: JUMPDEST
00000334: POP
00000335: PUSH2 0x033c
00000338: PUSH2 0x0df4
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH1 0x40
0000033f: MLOAD
00000340: DUP1
00000341: DUP3
00000342: DUP2
00000343: MSTORE
00000344: PUSH1 0x20
00000346: ADD
00000347: SWAP2
00000348: POP
00000349: POP
0000034a: PUSH1 0x40
0000034c: MLOAD
0000034d: DUP1
0000034e: SWAP2
0000034f: SUB
00000350: SWAP1
00000351: RETURN
00000352: JUMPDEST
00000353: CALLVALUE
00000354: DUP1
00000355: ISZERO
00000356: PUSH2 0x035e
00000359: JUMPI
0000035a: PUSH1 0x00
0000035c: DUP1
0000035d: REVERT
0000035e: JUMPDEST
0000035f: POP
00000360: PUSH2 0x0367
00000363: PUSH2 0x0e51
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH1 0x40
0000036a: MLOAD
0000036b: DUP1
0000036c: DUP3
0000036d: DUP2
0000036e: MSTORE
0000036f: PUSH1 0x20
00000371: ADD
00000372: SWAP2
00000373: POP
00000374: POP
00000375: PUSH1 0x40
00000377: MLOAD
00000378: DUP1
00000379: SWAP2
0000037a: SUB
0000037b: SWAP1
0000037c: RETURN
0000037d: JUMPDEST
0000037e: CALLVALUE
0000037f: DUP1
00000380: ISZERO
00000381: PUSH2 0x0389
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: POP
0000038b: PUSH2 0x03aa
0000038e: PUSH1 0x04
00000390: DUP1
00000391: CALLDATASIZE
00000392: SUB
00000393: DUP2
00000394: ADD
00000395: SWAP1
00000396: DUP1
00000397: DUP1
00000398: CALLDATALOAD
00000399: ISZERO
0000039a: ISZERO
0000039b: SWAP1
0000039c: PUSH1 0x20
0000039e: ADD
0000039f: SWAP1
000003a0: SWAP3
000003a1: SWAP2
000003a2: SWAP1
000003a3: POP
000003a4: POP
000003a5: POP
000003a6: PUSH2 0x0e57
000003a9: JUMP
000003aa: JUMPDEST
000003ab: PUSH1 0x40
000003ad: MLOAD
000003ae: DUP1
000003af: DUP3
000003b0: DUP2
000003b1: MSTORE
000003b2: PUSH1 0x20
000003b4: ADD
000003b5: SWAP2
000003b6: POP
000003b7: POP
000003b8: PUSH1 0x40
000003ba: MLOAD
000003bb: DUP1
000003bc: SWAP2
000003bd: SUB
000003be: SWAP1
000003bf: RETURN
000003c0: JUMPDEST
000003c1: CALLVALUE
000003c2: DUP1
000003c3: ISZERO
000003c4: PUSH2 0x03cc
000003c7: JUMPI
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: REVERT
000003cc: JUMPDEST
000003cd: POP
000003ce: PUSH2 0x03d5
000003d1: PUSH2 0x0ec3
000003d4: JUMP
000003d5: JUMPDEST
000003d6: PUSH1 0x40
000003d8: MLOAD
000003d9: DUP1
000003da: DUP3
000003db: DUP2
000003dc: MSTORE
000003dd: PUSH1 0x20
000003df: ADD
000003e0: SWAP2
000003e1: POP
000003e2: POP
000003e3: PUSH1 0x40
000003e5: MLOAD
000003e6: DUP1
000003e7: SWAP2
000003e8: SUB
000003e9: SWAP1
000003ea: RETURN
000003eb: JUMPDEST
000003ec: CALLVALUE
000003ed: DUP1
000003ee: ISZERO
000003ef: PUSH2 0x03f7
000003f2: JUMPI
000003f3: PUSH1 0x00
000003f5: DUP1
000003f6: REVERT
000003f7: JUMPDEST
000003f8: POP
000003f9: PUSH2 0x042c
000003fc: PUSH1 0x04
000003fe: DUP1
000003ff: CALLDATASIZE
00000400: SUB
00000401: DUP2
00000402: ADD
00000403: SWAP1
00000404: DUP1
00000405: DUP1
00000406: CALLDATALOAD
00000407: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000041c: AND
0000041d: SWAP1
0000041e: PUSH1 0x20
00000420: ADD
00000421: SWAP1
00000422: SWAP3
00000423: SWAP2
00000424: SWAP1
00000425: POP
00000426: POP
00000427: POP
00000428: PUSH2 0x0ee2
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH1 0x40
0000042f: MLOAD
00000430: DUP1
00000431: DUP3
00000432: DUP2
00000433: MSTORE
00000434: PUSH1 0x20
00000436: ADD
00000437: SWAP2
00000438: POP
00000439: POP
0000043a: PUSH1 0x40
0000043c: MLOAD
0000043d: DUP1
0000043e: SWAP2
0000043f: SUB
00000440: SWAP1
00000441: RETURN
00000442: JUMPDEST
00000443: CALLVALUE
00000444: DUP1
00000445: ISZERO
00000446: PUSH2 0x044e
00000449: JUMPI
0000044a: PUSH1 0x00
0000044c: DUP1
0000044d: REVERT
0000044e: JUMPDEST
0000044f: POP
00000450: PUSH2 0x046d
00000453: PUSH1 0x04
00000455: DUP1
00000456: CALLDATASIZE
00000457: SUB
00000458: DUP2
00000459: ADD
0000045a: SWAP1
0000045b: DUP1
0000045c: DUP1
0000045d: CALLDATALOAD
0000045e: SWAP1
0000045f: PUSH1 0x20
00000461: ADD
00000462: SWAP1
00000463: SWAP3
00000464: SWAP2
00000465: SWAP1
00000466: POP
00000467: POP
00000468: POP
00000469: PUSH2 0x0f2b
0000046c: JUMP
0000046d: JUMPDEST
0000046e: STOP
0000046f: JUMPDEST
00000470: CALLVALUE
00000471: DUP1
00000472: ISZERO
00000473: PUSH2 0x047b
00000476: JUMPI
00000477: PUSH1 0x00
00000479: DUP1
0000047a: REVERT
0000047b: JUMPDEST
0000047c: POP
0000047d: PUSH2 0x0484
00000480: PUSH2 0x0f97
00000483: JUMP
00000484: JUMPDEST
00000485: PUSH1 0x40
00000487: MLOAD
00000488: DUP1
00000489: DUP3
0000048a: DUP2
0000048b: MSTORE
0000048c: PUSH1 0x20
0000048e: ADD
0000048f: SWAP2
00000490: POP
00000491: POP
00000492: PUSH1 0x40
00000494: MLOAD
00000495: DUP1
00000496: SWAP2
00000497: SUB
00000498: SWAP1
00000499: RETURN
0000049a: JUMPDEST
0000049b: CALLVALUE
0000049c: DUP1
0000049d: ISZERO
0000049e: PUSH2 0x04a6
000004a1: JUMPI
000004a2: PUSH1 0x00
000004a4: DUP1
000004a5: REVERT
000004a6: JUMPDEST
000004a7: POP
000004a8: PUSH2 0x04db
000004ab: PUSH1 0x04
000004ad: DUP1
000004ae: CALLDATASIZE
000004af: SUB
000004b0: DUP2
000004b1: ADD
000004b2: SWAP1
000004b3: DUP1
000004b4: DUP1
000004b5: CALLDATALOAD
000004b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004cb: AND
000004cc: SWAP1
000004cd: PUSH1 0x20
000004cf: ADD
000004d0: SWAP1
000004d1: SWAP3
000004d2: SWAP2
000004d3: SWAP1
000004d4: POP
000004d5: POP
000004d6: POP
000004d7: PUSH2 0x0ff4
000004da: JUMP
000004db: JUMPDEST
000004dc: STOP
000004dd: JUMPDEST
000004de: CALLVALUE
000004df: DUP1
000004e0: ISZERO
000004e1: PUSH2 0x04e9
000004e4: JUMPI
000004e5: PUSH1 0x00
000004e7: DUP1
000004e8: REVERT
000004e9: JUMPDEST
000004ea: POP
000004eb: PUSH2 0x04f2
000004ee: PUSH2 0x10d6
000004f1: JUMP
000004f2: JUMPDEST
000004f3: PUSH1 0x40
000004f5: MLOAD
000004f6: DUP1
000004f7: DUP3
000004f8: DUP2
000004f9: MSTORE
000004fa: PUSH1 0x20
000004fc: ADD
000004fd: SWAP2
000004fe: POP
000004ff: POP
00000500: PUSH1 0x40
00000502: MLOAD
00000503: DUP1
00000504: SWAP2
00000505: SUB
00000506: SWAP1
00000507: RETURN
00000508: JUMPDEST
00000509: CALLVALUE
0000050a: DUP1
0000050b: ISZERO
0000050c: PUSH2 0x0514
0000050f: JUMPI
00000510: PUSH1 0x00
00000512: DUP1
00000513: REVERT
00000514: JUMPDEST
00000515: POP
00000516: PUSH2 0x051d
00000519: PUSH2 0x10eb
0000051c: JUMP
0000051d: JUMPDEST
0000051e: PUSH1 0x40
00000520: MLOAD
00000521: DUP1
00000522: DUP1
00000523: PUSH1 0x20
00000525: ADD
00000526: DUP3
00000527: DUP2
00000528: SUB
00000529: DUP3
0000052a: MSTORE
0000052b: DUP4
0000052c: DUP2
0000052d: DUP2
0000052e: MLOAD
0000052f: DUP2
00000530: MSTORE
00000531: PUSH1 0x20
00000533: ADD
00000534: SWAP2
00000535: POP
00000536: DUP1
00000537: MLOAD
00000538: SWAP1
00000539: PUSH1 0x20
0000053b: ADD
0000053c: SWAP1
0000053d: DUP1
0000053e: DUP4
0000053f: DUP4
00000540: PUSH1 0x00
00000542: JUMPDEST
00000543: DUP4
00000544: DUP2
00000545: LT
00000546: ISZERO
00000547: PUSH2 0x055d
0000054a: JUMPI
0000054b: DUP1
0000054c: DUP3
0000054d: ADD
0000054e: MLOAD
0000054f: DUP2
00000550: DUP5
00000551: ADD
00000552: MSTORE
00000553: PUSH1 0x20
00000555: DUP2
00000556: ADD
00000557: SWAP1
00000558: POP
00000559: PUSH2 0x0542
0000055c: JUMP
0000055d: JUMPDEST
0000055e: POP
0000055f: POP
00000560: POP
00000561: POP
00000562: SWAP1
00000563: POP
00000564: SWAP1
00000565: DUP2
00000566: ADD
00000567: SWAP1
00000568: PUSH1 0x1f
0000056a: AND
0000056b: DUP1
0000056c: ISZERO
0000056d: PUSH2 0x058a
00000570: JUMPI
00000571: DUP1
00000572: DUP3
00000573: SUB
00000574: DUP1
00000575: MLOAD
00000576: PUSH1 0x01
00000578: DUP4
00000579: PUSH1 0x20
0000057b: SUB
0000057c: PUSH2 0x0100
0000057f: EXP
00000580: SUB
00000581: NOT
00000582: AND
00000583: DUP2
00000584: MSTORE
00000585: PUSH1 0x20
00000587: ADD
00000588: SWAP2
00000589: POP
0000058a: JUMPDEST
0000058b: POP
0000058c: SWAP3
0000058d: POP
0000058e: POP
0000058f: POP
00000590: PUSH1 0x40
00000592: MLOAD
00000593: DUP1
00000594: SWAP2
00000595: SUB
00000596: SWAP1
00000597: RETURN
00000598: JUMPDEST
00000599: CALLVALUE
0000059a: DUP1
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH2 0x05e3
000005a9: PUSH1 0x04
000005ab: DUP1
000005ac: CALLDATASIZE
000005ad: SUB
000005ae: DUP2
000005af: ADD
000005b0: SWAP1
000005b1: DUP1
000005b2: DUP1
000005b3: CALLDATALOAD
000005b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005c9: AND
000005ca: SWAP1
000005cb: PUSH1 0x20
000005cd: ADD
000005ce: SWAP1
000005cf: SWAP3
000005d0: SWAP2
000005d1: SWAP1
000005d2: DUP1
000005d3: CALLDATALOAD
000005d4: SWAP1
000005d5: PUSH1 0x20
000005d7: ADD
000005d8: SWAP1
000005d9: SWAP3
000005da: SWAP2
000005db: SWAP1
000005dc: POP
000005dd: POP
000005de: POP
000005df: PUSH2 0x1189
000005e2: JUMP
000005e3: JUMPDEST
000005e4: PUSH1 0x40
000005e6: MLOAD
000005e7: DUP1
000005e8: DUP3
000005e9: ISZERO
000005ea: ISZERO
000005eb: ISZERO
000005ec: ISZERO
000005ed: DUP2
000005ee: MSTORE
000005ef: PUSH1 0x20
000005f1: ADD
000005f2: SWAP2
000005f3: POP
000005f4: POP
000005f5: PUSH1 0x40
000005f7: MLOAD
000005f8: DUP1
000005f9: SWAP2
000005fa: SUB
000005fb: SWAP1
000005fc: RETURN
000005fd: JUMPDEST
000005fe: CALLVALUE
000005ff: DUP1
00000600: ISZERO
00000601: PUSH2 0x0609
00000604: JUMPI
00000605: PUSH1 0x00
00000607: DUP1
00000608: REVERT
00000609: JUMPDEST
0000060a: POP
0000060b: PUSH2 0x0664
0000060e: PUSH1 0x04
00000610: DUP1
00000611: CALLDATASIZE
00000612: SUB
00000613: DUP2
00000614: ADD
00000615: SWAP1
00000616: DUP1
00000617: DUP1
00000618: CALLDATALOAD
00000619: SWAP1
0000061a: PUSH1 0x20
0000061c: ADD
0000061d: SWAP1
0000061e: DUP3
0000061f: ADD
00000620: DUP1
00000621: CALLDATALOAD
00000622: SWAP1
00000623: PUSH1 0x20
00000625: ADD
00000626: SWAP1
00000627: DUP1
00000628: DUP1
00000629: PUSH1 0x1f
0000062b: ADD
0000062c: PUSH1 0x20
0000062e: DUP1
0000062f: SWAP2
00000630: DIV
00000631: MUL
00000632: PUSH1 0x20
00000634: ADD
00000635: PUSH1 0x40
00000637: MLOAD
00000638: SWAP1
00000639: DUP2
0000063a: ADD
0000063b: PUSH1 0x40
0000063d: MSTORE
0000063e: DUP1
0000063f: SWAP4
00000640: SWAP3
00000641: SWAP2
00000642: SWAP1
00000643: DUP2
00000644: DUP2
00000645: MSTORE
00000646: PUSH1 0x20
00000648: ADD
00000649: DUP4
0000064a: DUP4
0000064b: DUP1
0000064c: DUP3
0000064d: DUP5
0000064e: CALLDATACOPY
0000064f: DUP3
00000650: ADD
00000651: SWAP2
00000652: POP
00000653: POP
00000654: POP
00000655: POP
00000656: POP
00000657: POP
00000658: SWAP2
00000659: SWAP3
0000065a: SWAP2
0000065b: SWAP3
0000065c: SWAP1
0000065d: POP
0000065e: POP
0000065f: POP
00000660: PUSH2 0x149f
00000663: JUMP
00000664: JUMPDEST
00000665: STOP
00000666: JUMPDEST
00000667: CALLVALUE
00000668: DUP1
00000669: ISZERO
0000066a: PUSH2 0x0672
0000066d: JUMPI
0000066e: PUSH1 0x00
00000670: DUP1
00000671: REVERT
00000672: JUMPDEST
00000673: POP
00000674: PUSH2 0x06cd
00000677: PUSH1 0x04
00000679: DUP1
0000067a: CALLDATASIZE
0000067b: SUB
0000067c: DUP2
0000067d: ADD
0000067e: SWAP1
0000067f: DUP1
00000680: DUP1
00000681: CALLDATALOAD
00000682: SWAP1
00000683: PUSH1 0x20
00000685: ADD
00000686: SWAP1
00000687: DUP3
00000688: ADD
00000689: DUP1
0000068a: CALLDATALOAD
0000068b: SWAP1
0000068c: PUSH1 0x20
0000068e: ADD
0000068f: SWAP1
00000690: DUP1
00000691: DUP1
00000692: PUSH1 0x1f
00000694: ADD
00000695: PUSH1 0x20
00000697: DUP1
00000698: SWAP2
00000699: DIV
0000069a: MUL
0000069b: PUSH1 0x20
0000069d: ADD
0000069e: PUSH1 0x40
000006a0: MLOAD
000006a1: SWAP1
000006a2: DUP2
000006a3: ADD
000006a4: PUSH1 0x40
000006a6: MSTORE
000006a7: DUP1
000006a8: SWAP4
000006a9: SWAP3
000006aa: SWAP2
000006ab: SWAP1
000006ac: DUP2
000006ad: DUP2
000006ae: MSTORE
000006af: PUSH1 0x20
000006b1: ADD
000006b2: DUP4
000006b3: DUP4
000006b4: DUP1
000006b5: DUP3
000006b6: DUP5
000006b7: CALLDATACOPY
000006b8: DUP3
000006b9: ADD
000006ba: SWAP2
000006bb: POP
000006bc: POP
000006bd: POP
000006be: POP
000006bf: POP
000006c0: POP
000006c1: SWAP2
000006c2: SWAP3
000006c3: SWAP2
000006c4: SWAP3
000006c5: SWAP1
000006c6: POP
000006c7: POP
000006c8: POP
000006c9: PUSH2 0x151b
000006cc: JUMP
000006cd: JUMPDEST
000006ce: STOP
000006cf: JUMPDEST
000006d0: CALLVALUE
000006d1: DUP1
000006d2: ISZERO
000006d3: PUSH2 0x06db
000006d6: JUMPI
000006d7: PUSH1 0x00
000006d9: DUP1
000006da: REVERT
000006db: JUMPDEST
000006dc: POP
000006dd: PUSH2 0x06fa
000006e0: PUSH1 0x04
000006e2: DUP1
000006e3: CALLDATASIZE
000006e4: SUB
000006e5: DUP2
000006e6: ADD
000006e7: SWAP1
000006e8: DUP1
000006e9: DUP1
000006ea: CALLDATALOAD
000006eb: SWAP1
000006ec: PUSH1 0x20
000006ee: ADD
000006ef: SWAP1
000006f0: SWAP3
000006f1: SWAP2
000006f2: SWAP1
000006f3: POP
000006f4: POP
000006f5: POP
000006f6: PUSH2 0x1597
000006f9: JUMP
000006fa: JUMPDEST
000006fb: STOP
000006fc: JUMPDEST
000006fd: CALLVALUE
000006fe: DUP1
000006ff: ISZERO
00000700: PUSH2 0x0708
00000703: JUMPI
00000704: PUSH1 0x00
00000706: DUP1
00000707: REVERT
00000708: JUMPDEST
00000709: POP
0000070a: PUSH2 0x0711
0000070d: PUSH2 0x1853
00000710: JUMP
00000711: JUMPDEST
00000712: STOP
00000713: JUMPDEST
00000714: PUSH2 0x0747
00000717: PUSH1 0x04
00000719: DUP1
0000071a: CALLDATASIZE
0000071b: SUB
0000071c: DUP2
0000071d: ADD
0000071e: SWAP1
0000071f: DUP1
00000720: DUP1
00000721: CALLDATALOAD
00000722: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000737: AND
00000738: SWAP1
00000739: PUSH1 0x20
0000073b: ADD
0000073c: SWAP1
0000073d: SWAP3
0000073e: SWAP2
0000073f: SWAP1
00000740: POP
00000741: POP
00000742: POP
00000743: PUSH2 0x18ba
00000746: JUMP
00000747: JUMPDEST
00000748: PUSH1 0x40
0000074a: MLOAD
0000074b: DUP1
0000074c: DUP3
0000074d: DUP2
0000074e: MSTORE
0000074f: PUSH1 0x20
00000751: ADD
00000752: SWAP2
00000753: POP
00000754: POP
00000755: PUSH1 0x40
00000757: MLOAD
00000758: DUP1
00000759: SWAP2
0000075a: SUB
0000075b: SWAP1
0000075c: RETURN
0000075d: JUMPDEST
0000075e: CALLVALUE
0000075f: DUP1
00000760: ISZERO
00000761: PUSH2 0x0769
00000764: JUMPI
00000765: PUSH1 0x00
00000767: DUP1
00000768: REVERT
00000769: JUMPDEST
0000076a: POP
0000076b: PUSH2 0x0772
0000076e: PUSH2 0x18cc
00000771: JUMP
00000772: JUMPDEST
00000773: STOP
00000774: JUMPDEST
00000775: PUSH1 0x00
00000777: DUP1
00000778: PUSH1 0x00
0000077a: DUP1
0000077b: PUSH1 0x00
0000077d: DUP1
0000077e: PUSH1 0x00
00000780: DUP1
00000781: PUSH1 0x00
00000783: PUSH2 0x079a
00000786: PUSH2 0x0793
00000789: DUP13
0000078a: PUSH1 0x1e
0000078c: PUSH1 0xff
0000078e: AND
0000078f: PUSH2 0x1a40
00000792: JUMP
00000793: JUMPDEST
00000794: PUSH1 0x64
00000796: PUSH2 0x1a7b
00000799: JUMP
0000079a: JUMPDEST
0000079b: SWAP8
0000079c: POP
0000079d: PUSH2 0x07b1
000007a0: PUSH2 0x07aa
000007a3: DUP10
000007a4: PUSH1 0x28
000007a6: PUSH2 0x1a40
000007a9: JUMP
000007aa: JUMPDEST
000007ab: PUSH1 0x64
000007ad: PUSH2 0x1a7b
000007b0: JUMP
000007b1: JUMPDEST
000007b2: SWAP7
000007b3: POP
000007b4: PUSH2 0x07be
000007b7: DUP9
000007b8: PUSH1 0x02
000007ba: PUSH2 0x1a7b
000007bd: JUMP
000007be: JUMPDEST
000007bf: SWAP6
000007c0: POP
000007c1: PUSH2 0x07cb
000007c4: DUP9
000007c5: PUSH1 0x0a
000007c7: PUSH2 0x1a7b
000007ca: JUMP
000007cb: JUMPDEST
000007cc: SWAP5
000007cd: POP
000007ce: PUSH2 0x07d7
000007d1: DUP12
000007d2: DUP10
000007d3: PUSH2 0x1a96
000007d6: JUMP
000007d7: JUMPDEST
000007d8: SWAP4
000007d9: POP
000007da: PUSH2 0x07e2
000007dd: DUP5
000007de: PUSH2 0x1aaf
000007e1: JUMP
000007e2: JUMPDEST
000007e3: SWAP3
000007e4: POP
000007e5: PUSH9 0x010000000000000000
000007ef: DUP7
000007f0: MUL
000007f1: SWAP2
000007f2: POP
000007f3: PUSH1 0x00
000007f5: DUP4
000007f6: GT
000007f7: DUP1
000007f8: ISZERO
000007f9: PUSH2 0x080e
000007fc: JUMPI
000007fd: POP
000007fe: PUSH1 0x08
00000800: SLOAD
00000801: PUSH2 0x080c
00000804: DUP5
00000805: PUSH1 0x08
00000807: SLOAD
00000808: PUSH2 0x1b38
0000080b: JUMP
0000080c: JUMPDEST
0000080d: GT
0000080e: JUMPDEST
0000080f: ISZERO
00000810: ISZERO
00000811: PUSH2 0x0819
00000814: JUMPI
00000815: PUSH1 0x00
00000817: DUP1
00000818: REVERT
00000819: JUMPDEST
0000081a: PUSH2 0x0823
0000081d: DUP8
0000081e: DUP12
0000081f: PUSH2 0x1b56
00000822: JUMP
00000823: JUMPDEST
00000824: ISZERO
00000825: ISZERO
00000826: PUSH2 0x0844
00000829: JUMPI
0000082a: PUSH2 0x0833
0000082d: DUP7
0000082e: DUP9
0000082f: PUSH2 0x1b38
00000832: JUMP
00000833: JUMPDEST
00000834: SWAP6
00000835: POP
00000836: PUSH9 0x010000000000000000
00000840: DUP7
00000841: MUL
00000842: SWAP2
00000843: POP
00000844: JUMPDEST
00000845: PUSH1 0x00
00000847: PUSH1 0x08
00000849: SLOAD
0000084a: GT
0000084b: ISZERO
0000084c: PUSH2 0x08af
0000084f: JUMPI
00000850: PUSH2 0x085b
00000853: PUSH1 0x08
00000855: SLOAD
00000856: DUP5
00000857: PUSH2 0x1b38
0000085a: JUMP
0000085b: JUMPDEST
0000085c: PUSH1 0x08
0000085e: DUP2
0000085f: SWAP1
00000860: SSTORE
00000861: POP
00000862: PUSH1 0x08
00000864: SLOAD
00000865: PUSH9 0x010000000000000000
0000086f: DUP8
00000870: MUL
00000871: DUP2
00000872: ISZERO
00000873: ISZERO
00000874: PUSH2 0x0879
00000877: JUMPI
00000878: INVALID
00000879: JUMPDEST
0000087a: DIV
0000087b: PUSH1 0x09
0000087d: PUSH1 0x00
0000087f: DUP3
00000880: DUP3
00000881: SLOAD
00000882: ADD
00000883: SWAP3
00000884: POP
00000885: POP
00000886: DUP2
00000887: SWAP1
00000888: SSTORE
00000889: POP
0000088a: PUSH1 0x08
0000088c: SLOAD
0000088d: PUSH9 0x010000000000000000
00000897: DUP8
00000898: MUL
00000899: DUP2
0000089a: ISZERO
0000089b: ISZERO
0000089c: PUSH2 0x08a1
0000089f: JUMPI
000008a0: INVALID
000008a1: JUMPDEST
000008a2: DIV
000008a3: DUP4
000008a4: MUL
000008a5: DUP3
000008a6: SUB
000008a7: DUP3
000008a8: SUB
000008a9: SWAP2
000008aa: POP
000008ab: PUSH2 0x08b7
000008ae: JUMP
000008af: JUMPDEST
000008b0: DUP3
000008b1: PUSH1 0x08
000008b3: DUP2
000008b4: SWAP1
000008b5: SSTORE
000008b6: POP
000008b7: JUMPDEST
000008b8: PUSH2 0x0900
000008bb: PUSH1 0x04
000008bd: PUSH1 0x00
000008bf: CALLER
000008c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d5: AND
000008d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008eb: AND
000008ec: DUP2
000008ed: MSTORE
000008ee: PUSH1 0x20
000008f0: ADD
000008f1: SWAP1
000008f2: DUP2
000008f3: MSTORE
000008f4: PUSH1 0x20
000008f6: ADD
000008f7: PUSH1 0x00
000008f9: KECCAK256
000008fa: SLOAD
000008fb: DUP5
000008fc: PUSH2 0x1b38
000008ff: JUMP
00000900: JUMPDEST
00000901: PUSH1 0x04
00000903: PUSH1 0x00
00000905: CALLER
00000906: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091b: AND
0000091c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000931: AND
00000932: DUP2
00000933: MSTORE
00000934: PUSH1 0x20
00000936: ADD
00000937: SWAP1
00000938: DUP2
00000939: MSTORE
0000093a: PUSH1 0x20
0000093c: ADD
0000093d: PUSH1 0x00
0000093f: KECCAK256
00000940: DUP2
00000941: SWAP1
00000942: SSTORE
00000943: POP
00000944: DUP2
00000945: DUP4
00000946: PUSH1 0x09
00000948: SLOAD
00000949: MUL
0000094a: SUB
0000094b: SWAP1
0000094c: POP
0000094d: DUP1
0000094e: PUSH1 0x06
00000950: PUSH1 0x00
00000952: CALLER
00000953: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000968: AND
00000969: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097e: AND
0000097f: DUP2
00000980: MSTORE
00000981: PUSH1 0x20
00000983: ADD
00000984: SWAP1
00000985: DUP2
00000986: MSTORE
00000987: PUSH1 0x20
00000989: ADD
0000098a: PUSH1 0x00
0000098c: KECCAK256
0000098d: PUSH1 0x00
0000098f: DUP3
00000990: DUP3
00000991: SLOAD
00000992: ADD
00000993: SWAP3
00000994: POP
00000995: POP
00000996: DUP2
00000997: SWAP1
00000998: SSTORE
00000999: POP
0000099a: PUSH1 0x03
0000099c: PUSH1 0x00
0000099e: SWAP1
0000099f: SLOAD
000009a0: SWAP1
000009a1: PUSH2 0x0100
000009a4: EXP
000009a5: SWAP1
000009a6: DIV
000009a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bc: AND
000009bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d2: AND
000009d3: PUSH2 0x08fc
000009d6: DUP7
000009d7: SWAP1
000009d8: DUP2
000009d9: ISZERO
000009da: MUL
000009db: SWAP1
000009dc: PUSH1 0x40
000009de: MLOAD
000009df: PUSH1 0x00
000009e1: PUSH1 0x40
000009e3: MLOAD
000009e4: DUP1
000009e5: DUP4
000009e6: SUB
000009e7: DUP2
000009e8: DUP6
000009e9: DUP9
000009ea: DUP9
000009eb: CALL
000009ec: SWAP4
000009ed: POP
000009ee: POP
000009ef: POP
000009f0: POP
000009f1: ISZERO
000009f2: DUP1
000009f3: ISZERO
000009f4: PUSH2 0x0a01
000009f7: JUMPI
000009f8: RETURNDATASIZE
000009f9: PUSH1 0x00
000009fb: DUP1
000009fc: RETURNDATACOPY
000009fd: RETURNDATASIZE
000009fe: PUSH1 0x00
00000a00: REVERT
00000a01: JUMPDEST
00000a02: POP
00000a03: DUP10
00000a04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a19: AND
00000a1a: CALLER
00000a1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a30: AND
00000a31: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00000a52: DUP14
00000a53: DUP7
00000a54: PUSH1 0x40
00000a56: MLOAD
00000a57: DUP1
00000a58: DUP4
00000a59: DUP2
00000a5a: MSTORE
00000a5b: PUSH1 0x20
00000a5d: ADD
00000a5e: DUP3
00000a5f: DUP2
00000a60: MSTORE
00000a61: PUSH1 0x20
00000a63: ADD
00000a64: SWAP3
00000a65: POP
00000a66: POP
00000a67: POP
00000a68: PUSH1 0x40
00000a6a: MLOAD
00000a6b: DUP1
00000a6c: SWAP2
00000a6d: SUB
00000a6e: SWAP1
00000a6f: LOG3
00000a70: DUP3
00000a71: SWAP9
00000a72: POP
00000a73: POP
00000a74: POP
00000a75: POP
00000a76: POP
00000a77: POP
00000a78: POP
00000a79: POP
00000a7a: POP
00000a7b: SWAP3
00000a7c: SWAP2
00000a7d: POP
00000a7e: POP
00000a7f: JUMP
00000a80: JUMPDEST
00000a81: PUSH1 0x00
00000a83: PUSH9 0x010000000000000000
00000a8d: PUSH1 0x06
00000a8f: PUSH1 0x00
00000a91: DUP5
00000a92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa7: AND
00000aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abd: AND
00000abe: DUP2
00000abf: MSTORE
00000ac0: PUSH1 0x20
00000ac2: ADD
00000ac3: SWAP1
00000ac4: DUP2
00000ac5: MSTORE
00000ac6: PUSH1 0x20
00000ac8: ADD
00000ac9: PUSH1 0x00
00000acb: KECCAK256
00000acc: SLOAD
00000acd: PUSH1 0x04
00000acf: PUSH1 0x00
00000ad1: DUP6
00000ad2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae7: AND
00000ae8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afd: AND
00000afe: DUP2
00000aff: MSTORE
00000b00: PUSH1 0x20
00000b02: ADD
00000b03: SWAP1
00000b04: DUP2
00000b05: MSTORE
00000b06: PUSH1 0x20
00000b08: ADD
00000b09: PUSH1 0x00
00000b0b: KECCAK256
00000b0c: SLOAD
00000b0d: PUSH1 0x09
00000b0f: SLOAD
00000b10: MUL
00000b11: SUB
00000b12: DUP2
00000b13: ISZERO
00000b14: ISZERO
00000b15: PUSH2 0x0b1a
00000b18: JUMPI
00000b19: INVALID
00000b1a: JUMPDEST
00000b1b: DIV
00000b1c: SWAP1
00000b1d: POP
00000b1e: SWAP2
00000b1f: SWAP1
00000b20: POP
00000b21: JUMP
00000b22: JUMPDEST
00000b23: PUSH1 0x00
00000b25: DUP1
00000b26: SLOAD
00000b27: PUSH1 0x01
00000b29: DUP2
00000b2a: PUSH1 0x01
00000b2c: AND
00000b2d: ISZERO
00000b2e: PUSH2 0x0100
00000b31: MUL
00000b32: SUB
00000b33: AND
00000b34: PUSH1 0x02
00000b36: SWAP1
00000b37: DIV
00000b38: DUP1
00000b39: PUSH1 0x1f
00000b3b: ADD
00000b3c: PUSH1 0x20
00000b3e: DUP1
00000b3f: SWAP2
00000b40: DIV
00000b41: MUL
00000b42: PUSH1 0x20
00000b44: ADD
00000b45: PUSH1 0x40
00000b47: MLOAD
00000b48: SWAP1
00000b49: DUP2
00000b4a: ADD
00000b4b: PUSH1 0x40
00000b4d: MSTORE
00000b4e: DUP1
00000b4f: SWAP3
00000b50: SWAP2
00000b51: SWAP1
00000b52: DUP2
00000b53: DUP2
00000b54: MSTORE
00000b55: PUSH1 0x20
00000b57: ADD
00000b58: DUP3
00000b59: DUP1
00000b5a: SLOAD
00000b5b: PUSH1 0x01
00000b5d: DUP2
00000b5e: PUSH1 0x01
00000b60: AND
00000b61: ISZERO
00000b62: PUSH2 0x0100
00000b65: MUL
00000b66: SUB
00000b67: AND
00000b68: PUSH1 0x02
00000b6a: SWAP1
00000b6b: DIV
00000b6c: DUP1
00000b6d: ISZERO
00000b6e: PUSH2 0x0bb8
00000b71: JUMPI
00000b72: DUP1
00000b73: PUSH1 0x1f
00000b75: LT
00000b76: PUSH2 0x0b8d
00000b79: JUMPI
00000b7a: PUSH2 0x0100
00000b7d: DUP1
00000b7e: DUP4
00000b7f: SLOAD
00000b80: DIV
00000b81: MUL
00000b82: DUP4
00000b83: MSTORE
00000b84: SWAP2
00000b85: PUSH1 0x20
00000b87: ADD
00000b88: SWAP2
00000b89: PUSH2 0x0bb8
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: DUP3
00000b8f: ADD
00000b90: SWAP2
00000b91: SWAP1
00000b92: PUSH1 0x00
00000b94: MSTORE
00000b95: PUSH1 0x20
00000b97: PUSH1 0x00
00000b99: KECCAK256
00000b9a: SWAP1
00000b9b: JUMPDEST
00000b9c: DUP2
00000b9d: SLOAD
00000b9e: DUP2
00000b9f: MSTORE
00000ba0: SWAP1
00000ba1: PUSH1 0x01
00000ba3: ADD
00000ba4: SWAP1
00000ba5: PUSH1 0x20
00000ba7: ADD
00000ba8: DUP1
00000ba9: DUP4
00000baa: GT
00000bab: PUSH2 0x0b9b
00000bae: JUMPI
00000baf: DUP3
00000bb0: SWAP1
00000bb1: SUB
00000bb2: PUSH1 0x1f
00000bb4: AND
00000bb5: DUP3
00000bb6: ADD
00000bb7: SWAP2
00000bb8: JUMPDEST
00000bb9: POP
00000bba: POP
00000bbb: POP
00000bbc: POP
00000bbd: POP
00000bbe: DUP2
00000bbf: JUMP
00000bc0: JUMPDEST
00000bc1: PUSH1 0x00
00000bc3: DUP1
00000bc4: PUSH1 0x00
00000bc6: DUP1
00000bc7: PUSH2 0x0bd4
00000bca: DUP6
00000bcb: PUSH1 0x1e
00000bcd: PUSH1 0xff
00000bcf: AND
00000bd0: PUSH2 0x1a7b
00000bd3: JUMP
00000bd4: JUMPDEST
00000bd5: SWAP3
00000bd6: POP
00000bd7: PUSH2 0x0be0
00000bda: DUP6
00000bdb: DUP5
00000bdc: PUSH2 0x1a96
00000bdf: JUMP
00000be0: JUMPDEST
00000be1: SWAP2
00000be2: POP
00000be3: PUSH2 0x0beb
00000be6: DUP3
00000be7: PUSH2 0x1aaf
00000bea: JUMP
00000beb: JUMPDEST
00000bec: SWAP1
00000bed: POP
00000bee: DUP1
00000bef: SWAP4
00000bf0: POP
00000bf1: POP
00000bf2: POP
00000bf3: POP
00000bf4: SWAP2
00000bf5: SWAP1
00000bf6: POP
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH1 0x00
00000bfb: PUSH1 0x08
00000bfd: SLOAD
00000bfe: SWAP1
00000bff: POP
00000c00: SWAP1
00000c01: JUMP
00000c02: JUMPDEST
00000c03: PUSH1 0x00
00000c05: DUP1
00000c06: PUSH1 0x00
00000c08: DUP1
00000c09: PUSH1 0x08
00000c0b: SLOAD
00000c0c: DUP6
00000c0d: GT
00000c0e: ISZERO
00000c0f: ISZERO
00000c10: ISZERO
00000c11: PUSH2 0x0c19
00000c14: JUMPI
00000c15: PUSH1 0x00
00000c17: DUP1
00000c18: REVERT
00000c19: JUMPDEST
00000c1a: PUSH2 0x0c22
00000c1d: DUP6
00000c1e: PUSH2 0x2a65
00000c21: JUMP
00000c22: JUMPDEST
00000c23: SWAP3
00000c24: POP
00000c25: PUSH2 0x0c32
00000c28: DUP4
00000c29: PUSH1 0x1e
00000c2b: PUSH1 0xff
00000c2d: AND
00000c2e: PUSH2 0x1a7b
00000c31: JUMP
00000c32: JUMPDEST
00000c33: SWAP2
00000c34: POP
00000c35: PUSH2 0x0c3e
00000c38: DUP4
00000c39: DUP4
00000c3a: PUSH2 0x1a96
00000c3d: JUMP
00000c3e: JUMPDEST
00000c3f: SWAP1
00000c40: POP
00000c41: DUP1
00000c42: SWAP4
00000c43: POP
00000c44: POP
00000c45: POP
00000c46: POP
00000c47: SWAP2
00000c48: SWAP1
00000c49: POP
00000c4a: JUMP
00000c4b: JUMPDEST
00000c4c: PUSH1 0x12
00000c4e: DUP2
00000c4f: JUMP
00000c50: JUMPDEST
00000c51: PUSH1 0x00
00000c53: DUP1
00000c54: PUSH1 0x00
00000c56: PUSH2 0x0c5f
00000c59: PUSH1 0x01
00000c5b: PUSH2 0x0e57
00000c5e: JUMP
00000c5f: JUMPDEST
00000c60: GT
00000c61: ISZERO
00000c62: ISZERO
00000c63: PUSH2 0x0c6b
00000c66: JUMPI
00000c67: PUSH1 0x00
00000c69: DUP1
00000c6a: REVERT
00000c6b: JUMPDEST
00000c6c: CALLER
00000c6d: SWAP2
00000c6e: POP
00000c6f: PUSH2 0x0c78
00000c72: PUSH1 0x00
00000c74: PUSH2 0x0e57
00000c77: JUMP
00000c78: JUMPDEST
00000c79: SWAP1
00000c7a: POP
00000c7b: PUSH9 0x010000000000000000
00000c85: DUP2
00000c86: MUL
00000c87: PUSH1 0x06
00000c89: PUSH1 0x00
00000c8b: DUP5
00000c8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca1: AND
00000ca2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb7: AND
00000cb8: DUP2
00000cb9: MSTORE
00000cba: PUSH1 0x20
00000cbc: ADD
00000cbd: SWAP1
00000cbe: DUP2
00000cbf: MSTORE
00000cc0: PUSH1 0x20
00000cc2: ADD
00000cc3: PUSH1 0x00
00000cc5: KECCAK256
00000cc6: PUSH1 0x00
00000cc8: DUP3
00000cc9: DUP3
00000cca: SLOAD
00000ccb: ADD
00000ccc: SWAP3
00000ccd: POP
00000cce: POP
00000ccf: DUP2
00000cd0: SWAP1
00000cd1: SSTORE
00000cd2: POP
00000cd3: PUSH1 0x05
00000cd5: PUSH1 0x00
00000cd7: DUP4
00000cd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ced: AND
00000cee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d03: AND
00000d04: DUP2
00000d05: MSTORE
00000d06: PUSH1 0x20
00000d08: ADD
00000d09: SWAP1
00000d0a: DUP2
00000d0b: MSTORE
00000d0c: PUSH1 0x20
00000d0e: ADD
00000d0f: PUSH1 0x00
00000d11: KECCAK256
00000d12: SLOAD
00000d13: DUP2
00000d14: ADD
00000d15: SWAP1
00000d16: POP
00000d17: PUSH1 0x00
00000d19: PUSH1 0x05
00000d1b: PUSH1 0x00
00000d1d: DUP5
00000d1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d33: AND
00000d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d49: AND
00000d4a: DUP2
00000d4b: MSTORE
00000d4c: PUSH1 0x20
00000d4e: ADD
00000d4f: SWAP1
00000d50: DUP2
00000d51: MSTORE
00000d52: PUSH1 0x20
00000d54: ADD
00000d55: PUSH1 0x00
00000d57: KECCAK256
00000d58: DUP2
00000d59: SWAP1
00000d5a: SSTORE
00000d5b: POP
00000d5c: DUP2
00000d5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d72: AND
00000d73: PUSH2 0x08fc
00000d76: DUP3
00000d77: SWAP1
00000d78: DUP2
00000d79: ISZERO
00000d7a: MUL
00000d7b: SWAP1
00000d7c: PUSH1 0x40
00000d7e: MLOAD
00000d7f: PUSH1 0x00
00000d81: PUSH1 0x40
00000d83: MLOAD
00000d84: DUP1
00000d85: DUP4
00000d86: SUB
00000d87: DUP2
00000d88: DUP6
00000d89: DUP9
00000d8a: DUP9
00000d8b: CALL
00000d8c: SWAP4
00000d8d: POP
00000d8e: POP
00000d8f: POP
00000d90: POP
00000d91: ISZERO
00000d92: DUP1
00000d93: ISZERO
00000d94: PUSH2 0x0da1
00000d97: JUMPI
00000d98: RETURNDATASIZE
00000d99: PUSH1 0x00
00000d9b: DUP1
00000d9c: RETURNDATACOPY
00000d9d: RETURNDATASIZE
00000d9e: PUSH1 0x00
00000da0: REVERT
00000da1: JUMPDEST
00000da2: POP
00000da3: DUP2
00000da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db9: AND
00000dba: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00000ddb: DUP3
00000ddc: PUSH1 0x40
00000dde: MLOAD
00000ddf: DUP1
00000de0: DUP3
00000de1: DUP2
00000de2: MSTORE
00000de3: PUSH1 0x20
00000de5: ADD
00000de6: SWAP2
00000de7: POP
00000de8: POP
00000de9: PUSH1 0x40
00000deb: MLOAD
00000dec: DUP1
00000ded: SWAP2
00000dee: SUB
00000def: SWAP1
00000df0: LOG2
00000df1: POP
00000df2: POP
00000df3: JUMP
00000df4: JUMPDEST
00000df5: PUSH1 0x00
00000df7: DUP1
00000df8: PUSH1 0x00
00000dfa: DUP1
00000dfb: PUSH1 0x00
00000dfd: PUSH1 0x08
00000dff: SLOAD
00000e00: EQ
00000e01: ISZERO
00000e02: PUSH2 0x0e18
00000e05: JUMPI
00000e06: PUSH4 0x3b9aca00
00000e0b: PUSH5 0x174876e800
00000e11: SUB
00000e12: SWAP4
00000e13: POP
00000e14: PUSH2 0x0e4b
00000e17: JUMP
00000e18: JUMPDEST
00000e19: PUSH2 0x0e29
00000e1c: PUSH8 0x0de0b6b3a7640000
00000e25: PUSH2 0x2a65
00000e28: JUMP
00000e29: JUMPDEST
00000e2a: SWAP3
00000e2b: POP
00000e2c: PUSH2 0x0e39
00000e2f: DUP4
00000e30: PUSH1 0x1e
00000e32: PUSH1 0xff
00000e34: AND
00000e35: PUSH2 0x1a7b
00000e38: JUMP
00000e39: JUMPDEST
00000e3a: SWAP2
00000e3b: POP
00000e3c: PUSH2 0x0e45
00000e3f: DUP4
00000e40: DUP4
00000e41: PUSH2 0x1a96
00000e44: JUMP
00000e45: JUMPDEST
00000e46: SWAP1
00000e47: POP
00000e48: DUP1
00000e49: SWAP4
00000e4a: POP
00000e4b: JUMPDEST
00000e4c: POP
00000e4d: POP
00000e4e: POP
00000e4f: SWAP1
00000e50: JUMP
00000e51: JUMPDEST
00000e52: PUSH1 0x02
00000e54: SLOAD
00000e55: DUP2
00000e56: JUMP
00000e57: JUMPDEST
00000e58: PUSH1 0x00
00000e5a: DUP1
00000e5b: CALLER
00000e5c: SWAP1
00000e5d: POP
00000e5e: DUP3
00000e5f: PUSH2 0x0e70
00000e62: JUMPI
00000e63: PUSH2 0x0e6b
00000e66: DUP2
00000e67: PUSH2 0x0a80
00000e6a: JUMP
00000e6b: JUMPDEST
00000e6c: PUSH2 0x0ebb
00000e6f: JUMP
00000e70: JUMPDEST
00000e71: PUSH1 0x05
00000e73: PUSH1 0x00
00000e75: DUP3
00000e76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e8b: AND
00000e8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea1: AND
00000ea2: DUP2
00000ea3: MSTORE
00000ea4: PUSH1 0x20
00000ea6: ADD
00000ea7: SWAP1
00000ea8: DUP2
00000ea9: MSTORE
00000eaa: PUSH1 0x20
00000eac: ADD
00000ead: PUSH1 0x00
00000eaf: KECCAK256
00000eb0: SLOAD
00000eb1: PUSH2 0x0eb9
00000eb4: DUP3
00000eb5: PUSH2 0x0a80
00000eb8: JUMP
00000eb9: JUMPDEST
00000eba: ADD
00000ebb: JUMPDEST
00000ebc: SWAP2
00000ebd: POP
00000ebe: POP
00000ebf: SWAP2
00000ec0: SWAP1
00000ec1: POP
00000ec2: JUMP
00000ec3: JUMPDEST
00000ec4: PUSH1 0x00
00000ec6: ADDRESS
00000ec7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000edc: AND
00000edd: BALANCE
00000ede: SWAP1
00000edf: POP
00000ee0: SWAP1
00000ee1: JUMP
00000ee2: JUMPDEST
00000ee3: PUSH1 0x00
00000ee5: PUSH1 0x04
00000ee7: PUSH1 0x00
00000ee9: DUP4
00000eea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eff: AND
00000f00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f15: AND
00000f16: DUP2
00000f17: MSTORE
00000f18: PUSH1 0x20
00000f1a: ADD
00000f1b: SWAP1
00000f1c: DUP2
00000f1d: MSTORE
00000f1e: PUSH1 0x20
00000f20: ADD
00000f21: PUSH1 0x00
00000f23: KECCAK256
00000f24: SLOAD
00000f25: SWAP1
00000f26: POP
00000f27: SWAP2
00000f28: SWAP1
00000f29: POP
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: PUSH1 0x00
00000f2e: CALLER
00000f2f: SWAP1
00000f30: POP
00000f31: DUP1
00000f32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f47: AND
00000f48: PUSH1 0x03
00000f4a: PUSH1 0x00
00000f4c: SWAP1
00000f4d: SLOAD
00000f4e: SWAP1
00000f4f: PUSH2 0x0100
00000f52: EXP
00000f53: SWAP1
00000f54: DIV
00000f55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6a: AND
00000f6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f80: AND
00000f81: EQ
00000f82: ISZERO
00000f83: ISZERO
00000f84: PUSH2 0x0f8c
00000f87: JUMPI
00000f88: PUSH1 0x00
00000f8a: DUP1
00000f8b: REVERT
00000f8c: JUMPDEST
00000f8d: DUP2
00000f8e: PUSH1 0x02
00000f90: DUP2
00000f91: SWAP1
00000f92: SSTORE
00000f93: POP
00000f94: POP
00000f95: POP
00000f96: JUMP
00000f97: JUMPDEST
00000f98: PUSH1 0x00
00000f9a: DUP1
00000f9b: PUSH1 0x00
00000f9d: DUP1
00000f9e: PUSH1 0x00
00000fa0: PUSH1 0x08
00000fa2: SLOAD
00000fa3: EQ
00000fa4: ISZERO
00000fa5: PUSH2 0x0fbb
00000fa8: JUMPI
00000fa9: PUSH4 0x3b9aca00
00000fae: PUSH5 0x174876e800
00000fb4: ADD
00000fb5: SWAP4
00000fb6: POP
00000fb7: PUSH2 0x0fee
00000fba: JUMP
00000fbb: JUMPDEST
00000fbc: PUSH2 0x0fcc
00000fbf: PUSH8 0x0de0b6b3a7640000
00000fc8: PUSH2 0x2a65
00000fcb: JUMP
00000fcc: JUMPDEST
00000fcd: SWAP3
00000fce: POP
00000fcf: PUSH2 0x0fdc
00000fd2: DUP4
00000fd3: PUSH1 0x1e
00000fd5: PUSH1 0xff
00000fd7: AND
00000fd8: PUSH2 0x1a7b
00000fdb: JUMP
00000fdc: JUMPDEST
00000fdd: SWAP2
00000fde: POP
00000fdf: PUSH2 0x0fe8
00000fe2: DUP4
00000fe3: DUP4
00000fe4: PUSH2 0x1b38
00000fe7: JUMP
00000fe8: JUMPDEST
00000fe9: SWAP1
00000fea: POP
00000feb: DUP1
00000fec: SWAP4
00000fed: POP
00000fee: JUMPDEST
00000fef: POP
00000ff0: POP
00000ff1: POP
00000ff2: SWAP1
00000ff3: JUMP
00000ff4: JUMPDEST
00000ff5: PUSH1 0x00
00000ff7: CALLER
00000ff8: SWAP1
00000ff9: POP
00000ffa: DUP1
00000ffb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001010: AND
00001011: PUSH1 0x03
00001013: PUSH1 0x00
00001015: SWAP1
00001016: SLOAD
00001017: SWAP1
00001018: PUSH2 0x0100
0000101b: EXP
0000101c: SWAP1
0000101d: DIV
0000101e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001033: AND
00001034: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001049: AND
0000104a: EQ
0000104b: ISZERO
0000104c: ISZERO
0000104d: PUSH2 0x1055
00001050: JUMPI
00001051: PUSH1 0x00
00001053: DUP1
00001054: REVERT
00001055: JUMPDEST
00001056: PUSH1 0x00
00001058: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000106d: AND
0000106e: DUP3
0000106f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001084: AND
00001085: EQ
00001086: ISZERO
00001087: ISZERO
00001088: ISZERO
00001089: PUSH2 0x1091
0000108c: JUMPI
0000108d: PUSH1 0x00
0000108f: DUP1
00001090: REVERT
00001091: JUMPDEST
00001092: DUP2
00001093: PUSH1 0x03
00001095: PUSH1 0x00
00001097: PUSH2 0x0100
0000109a: EXP
0000109b: DUP2
0000109c: SLOAD
0000109d: DUP2
0000109e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b3: MUL
000010b4: NOT
000010b5: AND
000010b6: SWAP1
000010b7: DUP4
000010b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010cd: AND
000010ce: MUL
000010cf: OR
000010d0: SWAP1
000010d1: SSTORE
000010d2: POP
000010d3: POP
000010d4: POP
000010d5: JUMP
000010d6: JUMPDEST
000010d7: PUSH1 0x00
000010d9: DUP1
000010da: CALLER
000010db: SWAP1
000010dc: POP
000010dd: PUSH2 0x10e5
000010e0: DUP2
000010e1: PUSH2 0x0ee2
000010e4: JUMP
000010e5: JUMPDEST
000010e6: SWAP2
000010e7: POP
000010e8: POP
000010e9: SWAP1
000010ea: JUMP
000010eb: JUMPDEST
000010ec: PUSH1 0x01
000010ee: DUP1
000010ef: SLOAD
000010f0: PUSH1 0x01
000010f2: DUP2
000010f3: PUSH1 0x01
000010f5: AND
000010f6: ISZERO
000010f7: PUSH2 0x0100
000010fa: MUL
000010fb: SUB
000010fc: AND
000010fd: PUSH1 0x02
000010ff: SWAP1
00001100: DIV
00001101: DUP1
00001102: PUSH1 0x1f
00001104: ADD
00001105: PUSH1 0x20
00001107: DUP1
00001108: SWAP2
00001109: DIV
0000110a: MUL
0000110b: PUSH1 0x20
0000110d: ADD
0000110e: PUSH1 0x40
00001110: MLOAD
00001111: SWAP1
00001112: DUP2
00001113: ADD
00001114: PUSH1 0x40
00001116: MSTORE
00001117: DUP1
00001118: SWAP3
00001119: SWAP2
0000111a: SWAP1
0000111b: DUP2
0000111c: DUP2
0000111d: MSTORE
0000111e: PUSH1 0x20
00001120: ADD
00001121: DUP3
00001122: DUP1
00001123: SLOAD
00001124: PUSH1 0x01
00001126: DUP2
00001127: PUSH1 0x01
00001129: AND
0000112a: ISZERO
0000112b: PUSH2 0x0100
0000112e: MUL
0000112f: SUB
00001130: AND
00001131: PUSH1 0x02
00001133: SWAP1
00001134: DIV
00001135: DUP1
00001136: ISZERO
00001137: PUSH2 0x1181
0000113a: JUMPI
0000113b: DUP1
0000113c: PUSH1 0x1f
0000113e: LT
0000113f: PUSH2 0x1156
00001142: JUMPI
00001143: PUSH2 0x0100
00001146: DUP1
00001147: DUP4
00001148: SLOAD
00001149: DIV
0000114a: MUL
0000114b: DUP4
0000114c: MSTORE
0000114d: SWAP2
0000114e: PUSH1 0x20
00001150: ADD
00001151: SWAP2
00001152: PUSH2 0x1181
00001155: JUMP
00001156: JUMPDEST
00001157: DUP3
00001158: ADD
00001159: SWAP2
0000115a: SWAP1
0000115b: PUSH1 0x00
0000115d: MSTORE
0000115e: PUSH1 0x20
00001160: PUSH1 0x00
00001162: KECCAK256
00001163: SWAP1
00001164: JUMPDEST
00001165: DUP2
00001166: SLOAD
00001167: DUP2
00001168: MSTORE
00001169: SWAP1
0000116a: PUSH1 0x01
0000116c: ADD
0000116d: SWAP1
0000116e: PUSH1 0x20
00001170: ADD
00001171: DUP1
00001172: DUP4
00001173: GT
00001174: PUSH2 0x1164
00001177: JUMPI
00001178: DUP3
00001179: SWAP1
0000117a: SUB
0000117b: PUSH1 0x1f
0000117d: AND
0000117e: DUP3
0000117f: ADD
00001180: SWAP2
00001181: JUMPDEST
00001182: POP
00001183: POP
00001184: POP
00001185: POP
00001186: POP
00001187: DUP2
00001188: JUMP
00001189: JUMPDEST
0000118a: PUSH1 0x00
0000118c: DUP1
0000118d: PUSH1 0x00
0000118f: DUP1
00001190: PUSH1 0x00
00001192: DUP1
00001193: PUSH2 0x119a
00001196: PUSH2 0x10d6
00001199: JUMP
0000119a: JUMPDEST
0000119b: GT
0000119c: ISZERO
0000119d: ISZERO
0000119e: PUSH2 0x11a6
000011a1: JUMPI
000011a2: PUSH1 0x00
000011a4: DUP1
000011a5: REVERT
000011a6: JUMPDEST
000011a7: CALLER
000011a8: SWAP4
000011a9: POP
000011aa: PUSH1 0x04
000011ac: PUSH1 0x00
000011ae: DUP6
000011af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c4: AND
000011c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011da: AND
000011db: DUP2
000011dc: MSTORE
000011dd: PUSH1 0x20
000011df: ADD
000011e0: SWAP1
000011e1: DUP2
000011e2: MSTORE
000011e3: PUSH1 0x20
000011e5: ADD
000011e6: PUSH1 0x00
000011e8: KECCAK256
000011e9: SLOAD
000011ea: DUP7
000011eb: GT
000011ec: ISZERO
000011ed: ISZERO
000011ee: ISZERO
000011ef: PUSH2 0x11f7
000011f2: JUMPI
000011f3: PUSH1 0x00
000011f5: DUP1
000011f6: REVERT
000011f7: JUMPDEST
000011f8: PUSH1 0x00
000011fa: PUSH2 0x1203
000011fd: PUSH1 0x01
000011ff: PUSH2 0x0e57
00001202: JUMP
00001203: JUMPDEST
00001204: GT
00001205: ISZERO
00001206: PUSH2 0x1212
00001209: JUMPI
0000120a: PUSH2 0x1211
0000120d: PUSH2 0x0c50
00001210: JUMP
00001211: JUMPDEST
00001212: JUMPDEST
00001213: PUSH2 0x121d
00001216: DUP7
00001217: PUSH1 0x0a
00001219: PUSH2 0x1a7b
0000121c: JUMP
0000121d: JUMPDEST
0000121e: SWAP3
0000121f: POP
00001220: PUSH2 0x1229
00001223: DUP7
00001224: DUP5
00001225: PUSH2 0x1a96
00001228: JUMP
00001229: JUMPDEST
0000122a: SWAP2
0000122b: POP
0000122c: PUSH2 0x1234
0000122f: DUP4
00001230: PUSH2 0x2a65
00001233: JUMP
00001234: JUMPDEST
00001235: SWAP1
00001236: POP
00001237: PUSH2 0x1242
0000123a: PUSH1 0x08
0000123c: SLOAD
0000123d: DUP5
0000123e: PUSH2 0x1a96
00001241: JUMP
00001242: JUMPDEST
00001243: PUSH1 0x08
00001245: DUP2
00001246: SWAP1
00001247: SSTORE
00001248: POP
00001249: PUSH2 0x1291
0000124c: PUSH1 0x04
0000124e: PUSH1 0x00
00001250: DUP7
00001251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001266: AND
00001267: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127c: AND
0000127d: DUP2
0000127e: MSTORE
0000127f: PUSH1 0x20
00001281: ADD
00001282: SWAP1
00001283: DUP2
00001284: MSTORE
00001285: PUSH1 0x20
00001287: ADD
00001288: PUSH1 0x00
0000128a: KECCAK256
0000128b: SLOAD
0000128c: DUP8
0000128d: PUSH2 0x1a96
00001290: JUMP
00001291: JUMPDEST
00001292: PUSH1 0x04
00001294: PUSH1 0x00
00001296: DUP7
00001297: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ac: AND
000012ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c2: AND
000012c3: DUP2
000012c4: MSTORE
000012c5: PUSH1 0x20
000012c7: ADD
000012c8: SWAP1
000012c9: DUP2
000012ca: MSTORE
000012cb: PUSH1 0x20
000012cd: ADD
000012ce: PUSH1 0x00
000012d0: KECCAK256
000012d1: DUP2
000012d2: SWAP1
000012d3: SSTORE
000012d4: POP
000012d5: PUSH2 0x131d
000012d8: PUSH1 0x04
000012da: PUSH1 0x00
000012dc: DUP10
000012dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f2: AND
000012f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001308: AND
00001309: DUP2
0000130a: MSTORE
0000130b: PUSH1 0x20
0000130d: ADD
0000130e: SWAP1
0000130f: DUP2
00001310: MSTORE
00001311: PUSH1 0x20
00001313: ADD
00001314: PUSH1 0x00
00001316: KECCAK256
00001317: SLOAD
00001318: DUP4
00001319: PUSH2 0x1b38
0000131c: JUMP
0000131d: JUMPDEST
0000131e: PUSH1 0x04
00001320: PUSH1 0x00
00001322: DUP10
00001323: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001338: AND
00001339: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000134e: AND
0000134f: DUP2
00001350: MSTORE
00001351: PUSH1 0x20
00001353: ADD
00001354: SWAP1
00001355: DUP2
00001356: MSTORE
00001357: PUSH1 0x20
00001359: ADD
0000135a: PUSH1 0x00
0000135c: KECCAK256
0000135d: DUP2
0000135e: SWAP1
0000135f: SSTORE
00001360: POP
00001361: DUP6
00001362: PUSH1 0x09
00001364: SLOAD
00001365: MUL
00001366: PUSH1 0x06
00001368: PUSH1 0x00
0000136a: DUP7
0000136b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001380: AND
00001381: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001396: AND
00001397: DUP2
00001398: MSTORE
00001399: PUSH1 0x20
0000139b: ADD
0000139c: SWAP1
0000139d: DUP2
0000139e: MSTORE
0000139f: PUSH1 0x20
000013a1: ADD
000013a2: PUSH1 0x00
000013a4: KECCAK256
000013a5: PUSH1 0x00
000013a7: DUP3
000013a8: DUP3
000013a9: SLOAD
000013aa: SUB
000013ab: SWAP3
000013ac: POP
000013ad: POP
000013ae: DUP2
000013af: SWAP1
000013b0: SSTORE
000013b1: POP
000013b2: DUP2
000013b3: PUSH1 0x09
000013b5: SLOAD
000013b6: MUL
000013b7: PUSH1 0x06
000013b9: PUSH1 0x00
000013bb: DUP10
000013bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d1: AND
000013d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e7: AND
000013e8: DUP2
000013e9: MSTORE
000013ea: PUSH1 0x20
000013ec: ADD
000013ed: SWAP1
000013ee: DUP2
000013ef: MSTORE
000013f0: PUSH1 0x20
000013f2: ADD
000013f3: PUSH1 0x00
000013f5: KECCAK256
000013f6: PUSH1 0x00
000013f8: DUP3
000013f9: DUP3
000013fa: SLOAD
000013fb: ADD
000013fc: SWAP3
000013fd: POP
000013fe: POP
000013ff: DUP2
00001400: SWAP1
00001401: SSTORE
00001402: POP
00001403: PUSH2 0x1426
00001406: PUSH1 0x09
00001408: SLOAD
00001409: PUSH1 0x08
0000140b: SLOAD
0000140c: PUSH9 0x010000000000000000
00001416: DUP5
00001417: MUL
00001418: DUP2
00001419: ISZERO
0000141a: ISZERO
0000141b: PUSH2 0x1420
0000141e: JUMPI
0000141f: INVALID
00001420: JUMPDEST
00001421: DIV
00001422: PUSH2 0x1b38
00001425: JUMP
00001426: JUMPDEST
00001427: PUSH1 0x09
00001429: DUP2
0000142a: SWAP1
0000142b: SSTORE
0000142c: POP
0000142d: DUP7
0000142e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001443: AND
00001444: DUP5
00001445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145a: AND
0000145b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000147c: DUP5
0000147d: PUSH1 0x40
0000147f: MLOAD
00001480: DUP1
00001481: DUP3
00001482: DUP2
00001483: MSTORE
00001484: PUSH1 0x20
00001486: ADD
00001487: SWAP2
00001488: POP
00001489: POP
0000148a: PUSH1 0x40
0000148c: MLOAD
0000148d: DUP1
0000148e: SWAP2
0000148f: SUB
00001490: SWAP1
00001491: LOG3
00001492: PUSH1 0x01
00001494: SWAP5
00001495: POP
00001496: POP
00001497: POP
00001498: POP
00001499: POP
0000149a: SWAP3
0000149b: SWAP2
0000149c: POP
0000149d: POP
0000149e: JUMP
0000149f: JUMPDEST
000014a0: PUSH1 0x00
000014a2: CALLER
000014a3: SWAP1
000014a4: POP
000014a5: DUP1
000014a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014bb: AND
000014bc: PUSH1 0x03
000014be: PUSH1 0x00
000014c0: SWAP1
000014c1: SLOAD
000014c2: SWAP1
000014c3: PUSH2 0x0100
000014c6: EXP
000014c7: SWAP1
000014c8: DIV
000014c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014de: AND
000014df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f4: AND
000014f5: EQ
000014f6: ISZERO
000014f7: ISZERO
000014f8: PUSH2 0x1500
000014fb: JUMPI
000014fc: PUSH1 0x00
000014fe: DUP1
000014ff: REVERT
00001500: JUMPDEST
00001501: DUP2
00001502: PUSH1 0x01
00001504: SWAP1
00001505: DUP1
00001506: MLOAD
00001507: SWAP1
00001508: PUSH1 0x20
0000150a: ADD
0000150b: SWAP1
0000150c: PUSH2 0x1516
0000150f: SWAP3
00001510: SWAP2
00001511: SWAP1
00001512: PUSH2 0x2b58
00001515: JUMP
00001516: JUMPDEST
00001517: POP
00001518: POP
00001519: POP
0000151a: JUMP
0000151b: JUMPDEST
0000151c: PUSH1 0x00
0000151e: CALLER
0000151f: SWAP1
00001520: POP
00001521: DUP1
00001522: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001537: AND
00001538: PUSH1 0x03
0000153a: PUSH1 0x00
0000153c: SWAP1
0000153d: SLOAD
0000153e: SWAP1
0000153f: PUSH2 0x0100
00001542: EXP
00001543: SWAP1
00001544: DIV
00001545: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155a: AND
0000155b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001570: AND
00001571: EQ
00001572: ISZERO
00001573: ISZERO
00001574: PUSH2 0x157c
00001577: JUMPI
00001578: PUSH1 0x00
0000157a: DUP1
0000157b: REVERT
0000157c: JUMPDEST
0000157d: DUP2
0000157e: PUSH1 0x00
00001580: SWAP1
00001581: DUP1
00001582: MLOAD
00001583: SWAP1
00001584: PUSH1 0x20
00001586: ADD
00001587: SWAP1
00001588: PUSH2 0x1592
0000158b: SWAP3
0000158c: SWAP2
0000158d: SWAP1
0000158e: PUSH2 0x2b58
00001591: JUMP
00001592: JUMPDEST
00001593: POP
00001594: POP
00001595: POP
00001596: JUMP
00001597: JUMPDEST
00001598: PUSH1 0x00
0000159a: DUP1
0000159b: PUSH1 0x00
0000159d: DUP1
0000159e: PUSH1 0x00
000015a0: DUP1
000015a1: PUSH1 0x00
000015a3: DUP1
000015a4: PUSH1 0x00
000015a6: PUSH2 0x15ad
000015a9: PUSH2 0x10d6
000015ac: JUMP
000015ad: JUMPDEST
000015ae: GT
000015af: ISZERO
000015b0: ISZERO
000015b1: PUSH2 0x15b9
000015b4: JUMPI
000015b5: PUSH1 0x00
000015b7: DUP1
000015b8: REVERT
000015b9: JUMPDEST
000015ba: CALLER
000015bb: SWAP8
000015bc: POP
000015bd: PUSH1 0x04
000015bf: PUSH1 0x00
000015c1: DUP10
000015c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d7: AND
000015d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ed: AND
000015ee: DUP2
000015ef: MSTORE
000015f0: PUSH1 0x20
000015f2: ADD
000015f3: SWAP1
000015f4: DUP2
000015f5: MSTORE
000015f6: PUSH1 0x20
000015f8: ADD
000015f9: PUSH1 0x00
000015fb: KECCAK256
000015fc: SLOAD
000015fd: DUP10
000015fe: GT
000015ff: ISZERO
00001600: ISZERO
00001601: ISZERO
00001602: PUSH2 0x160a
00001605: JUMPI
00001606: PUSH1 0x00
00001608: DUP1
00001609: REVERT
0000160a: JUMPDEST
0000160b: DUP9
0000160c: SWAP7
0000160d: POP
0000160e: PUSH2 0x1616
00001611: DUP8
00001612: PUSH2 0x2a65
00001615: JUMP
00001616: JUMPDEST
00001617: SWAP6
00001618: POP
00001619: PUSH2 0x1623
0000161c: DUP7
0000161d: PUSH1 0x0a
0000161f: PUSH2 0x1a7b
00001622: JUMP
00001623: JUMPDEST
00001624: SWAP5
00001625: POP
00001626: PUSH2 0x162f
00001629: DUP7
0000162a: DUP7
0000162b: PUSH2 0x1a96
0000162e: JUMP
0000162f: JUMPDEST
00001630: SWAP4
00001631: POP
00001632: PUSH2 0x1646
00001635: PUSH2 0x163f
00001638: DUP7
00001639: PUSH1 0x03
0000163b: PUSH2 0x1a40
0000163e: JUMP
0000163f: JUMPDEST
00001640: PUSH1 0x64
00001642: PUSH2 0x1a7b
00001645: JUMP
00001646: JUMPDEST
00001647: SWAP3
00001648: POP
00001649: PUSH2 0x1652
0000164c: DUP6
0000164d: DUP5
0000164e: PUSH2 0x1a96
00001651: JUMP
00001652: JUMPDEST
00001653: SWAP2
00001654: POP
00001655: PUSH2 0x1660
00001658: PUSH1 0x08
0000165a: SLOAD
0000165b: DUP9
0000165c: PUSH2 0x1a96
0000165f: JUMP
00001660: JUMPDEST
00001661: PUSH1 0x08
00001663: DUP2
00001664: SWAP1
00001665: SSTORE
00001666: POP
00001667: PUSH2 0x16af
0000166a: PUSH1 0x04
0000166c: PUSH1 0x00
0000166e: DUP11
0000166f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001684: AND
00001685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169a: AND
0000169b: DUP2
0000169c: MSTORE
0000169d: PUSH1 0x20
0000169f: ADD
000016a0: SWAP1
000016a1: DUP2
000016a2: MSTORE
000016a3: PUSH1 0x20
000016a5: ADD
000016a6: PUSH1 0x00
000016a8: KECCAK256
000016a9: SLOAD
000016aa: DUP9
000016ab: PUSH2 0x1a96
000016ae: JUMP
000016af: JUMPDEST
000016b0: PUSH1 0x04
000016b2: PUSH1 0x00
000016b4: DUP11
000016b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ca: AND
000016cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e0: AND
000016e1: DUP2
000016e2: MSTORE
000016e3: PUSH1 0x20
000016e5: ADD
000016e6: SWAP1
000016e7: DUP2
000016e8: MSTORE
000016e9: PUSH1 0x20
000016eb: ADD
000016ec: PUSH1 0x00
000016ee: KECCAK256
000016ef: DUP2
000016f0: SWAP1
000016f1: SSTORE
000016f2: POP
000016f3: PUSH1 0x03
000016f5: PUSH1 0x00
000016f7: SWAP1
000016f8: SLOAD
000016f9: SWAP1
000016fa: PUSH2 0x0100
000016fd: EXP
000016fe: SWAP1
000016ff: DIV
00001700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001715: AND
00001716: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000172b: AND
0000172c: PUSH2 0x08fc
0000172f: DUP5
00001730: SWAP1
00001731: DUP2
00001732: ISZERO
00001733: MUL
00001734: SWAP1
00001735: PUSH1 0x40
00001737: MLOAD
00001738: PUSH1 0x00
0000173a: PUSH1 0x40
0000173c: MLOAD
0000173d: DUP1
0000173e: DUP4
0000173f: SUB
00001740: DUP2
00001741: DUP6
00001742: DUP9
00001743: DUP9
00001744: CALL
00001745: SWAP4
00001746: POP
00001747: POP
00001748: POP
00001749: POP
0000174a: ISZERO
0000174b: DUP1
0000174c: ISZERO
0000174d: PUSH2 0x175a
00001750: JUMPI
00001751: RETURNDATASIZE
00001752: PUSH1 0x00
00001754: DUP1
00001755: RETURNDATACOPY
00001756: RETURNDATASIZE
00001757: PUSH1 0x00
00001759: REVERT
0000175a: JUMPDEST
0000175b: POP
0000175c: PUSH9 0x010000000000000000
00001766: DUP5
00001767: MUL
00001768: DUP8
00001769: PUSH1 0x09
0000176b: SLOAD
0000176c: MUL
0000176d: ADD
0000176e: SWAP1
0000176f: POP
00001770: DUP1
00001771: PUSH1 0x06
00001773: PUSH1 0x00
00001775: DUP11
00001776: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000178b: AND
0000178c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a1: AND
000017a2: DUP2
000017a3: MSTORE
000017a4: PUSH1 0x20
000017a6: ADD
000017a7: SWAP1
000017a8: DUP2
000017a9: MSTORE
000017aa: PUSH1 0x20
000017ac: ADD
000017ad: PUSH1 0x00
000017af: KECCAK256
000017b0: PUSH1 0x00
000017b2: DUP3
000017b3: DUP3
000017b4: SLOAD
000017b5: SUB
000017b6: SWAP3
000017b7: POP
000017b8: POP
000017b9: DUP2
000017ba: SWAP1
000017bb: SSTORE
000017bc: POP
000017bd: PUSH1 0x00
000017bf: PUSH1 0x08
000017c1: SLOAD
000017c2: GT
000017c3: ISZERO
000017c4: PUSH2 0x17f2
000017c7: JUMPI
000017c8: PUSH2 0x17eb
000017cb: PUSH1 0x09
000017cd: SLOAD
000017ce: PUSH1 0x08
000017d0: SLOAD
000017d1: PUSH9 0x010000000000000000
000017db: DUP6
000017dc: MUL
000017dd: DUP2
000017de: ISZERO
000017df: ISZERO
000017e0: PUSH2 0x17e5
000017e3: JUMPI
000017e4: INVALID
000017e5: JUMPDEST
000017e6: DIV
000017e7: PUSH2 0x1b38
000017ea: JUMP
000017eb: JUMPDEST
000017ec: PUSH1 0x09
000017ee: DUP2
000017ef: SWAP1
000017f0: SSTORE
000017f1: POP
000017f2: JUMPDEST
000017f3: DUP8
000017f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001809: AND
0000180a: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
0000182b: DUP9
0000182c: DUP7
0000182d: PUSH1 0x40
0000182f: MLOAD
00001830: DUP1
00001831: DUP4
00001832: DUP2
00001833: MSTORE
00001834: PUSH1 0x20
00001836: ADD
00001837: DUP3
00001838: DUP2
00001839: MSTORE
0000183a: PUSH1 0x20
0000183c: ADD
0000183d: SWAP3
0000183e: POP
0000183f: POP
00001840: POP
00001841: PUSH1 0x40
00001843: MLOAD
00001844: DUP1
00001845: SWAP2
00001846: SUB
00001847: SWAP1
00001848: LOG2
00001849: POP
0000184a: POP
0000184b: POP
0000184c: POP
0000184d: POP
0000184e: POP
0000184f: POP
00001850: POP
00001851: POP
00001852: JUMP
00001853: JUMPDEST
00001854: PUSH1 0x00
00001856: DUP1
00001857: CALLER
00001858: SWAP2
00001859: POP
0000185a: PUSH1 0x04
0000185c: PUSH1 0x00
0000185e: DUP4
0000185f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001874: AND
00001875: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188a: AND
0000188b: DUP2
0000188c: MSTORE
0000188d: PUSH1 0x20
0000188f: ADD
00001890: SWAP1
00001891: DUP2
00001892: MSTORE
00001893: PUSH1 0x20
00001895: ADD
00001896: PUSH1 0x00
00001898: KECCAK256
00001899: SLOAD
0000189a: SWAP1
0000189b: POP
0000189c: PUSH1 0x00
0000189e: DUP2
0000189f: GT
000018a0: ISZERO
000018a1: PUSH2 0x18ae
000018a4: JUMPI
000018a5: PUSH2 0x18ad
000018a8: DUP2
000018a9: PUSH2 0x1597
000018ac: JUMP
000018ad: JUMPDEST
000018ae: JUMPDEST
000018af: PUSH2 0x18b6
000018b2: PUSH2 0x0c50
000018b5: JUMP
000018b6: JUMPDEST
000018b7: POP
000018b8: POP
000018b9: JUMP
000018ba: JUMPDEST
000018bb: PUSH1 0x00
000018bd: PUSH2 0x18c6
000018c0: CALLVALUE
000018c1: DUP4
000018c2: PUSH2 0x0774
000018c5: JUMP
000018c6: JUMPDEST
000018c7: POP
000018c8: SWAP2
000018c9: SWAP1
000018ca: POP
000018cb: JUMP
000018cc: JUMPDEST
000018cd: PUSH1 0x00
000018cf: DUP1
000018d0: PUSH1 0x00
000018d2: DUP1
000018d3: PUSH2 0x18dc
000018d6: PUSH1 0x01
000018d8: PUSH2 0x0e57
000018db: JUMP
000018dc: JUMPDEST
000018dd: GT
000018de: ISZERO
000018df: ISZERO
000018e0: PUSH2 0x18e8
000018e3: JUMPI
000018e4: PUSH1 0x00
000018e6: DUP1
000018e7: REVERT
000018e8: JUMPDEST
000018e9: PUSH2 0x18f2
000018ec: PUSH1 0x00
000018ee: PUSH2 0x0e57
000018f1: JUMP
000018f2: JUMPDEST
000018f3: SWAP3
000018f4: POP
000018f5: CALLER
000018f6: SWAP2
000018f7: POP
000018f8: PUSH9 0x010000000000000000
00001902: DUP4
00001903: MUL
00001904: PUSH1 0x06
00001906: PUSH1 0x00
00001908: DUP5
00001909: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000191e: AND
0000191f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001934: AND
00001935: DUP2
00001936: MSTORE
00001937: PUSH1 0x20
00001939: ADD
0000193a: SWAP1
0000193b: DUP2
0000193c: MSTORE
0000193d: PUSH1 0x20
0000193f: ADD
00001940: PUSH1 0x00
00001942: KECCAK256
00001943: PUSH1 0x00
00001945: DUP3
00001946: DUP3
00001947: SLOAD
00001948: ADD
00001949: SWAP3
0000194a: POP
0000194b: POP
0000194c: DUP2
0000194d: SWAP1
0000194e: SSTORE
0000194f: POP
00001950: PUSH1 0x05
00001952: PUSH1 0x00
00001954: DUP4
00001955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000196a: AND
0000196b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001980: AND
00001981: DUP2
00001982: MSTORE
00001983: PUSH1 0x20
00001985: ADD
00001986: SWAP1
00001987: DUP2
00001988: MSTORE
00001989: PUSH1 0x20
0000198b: ADD
0000198c: PUSH1 0x00
0000198e: KECCAK256
0000198f: SLOAD
00001990: DUP4
00001991: ADD
00001992: SWAP3
00001993: POP
00001994: PUSH1 0x00
00001996: PUSH1 0x05
00001998: PUSH1 0x00
0000199a: DUP5
0000199b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b0: AND
000019b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c6: AND
000019c7: DUP2
000019c8: MSTORE
000019c9: PUSH1 0x20
000019cb: ADD
000019cc: SWAP1
000019cd: DUP2
000019ce: MSTORE
000019cf: PUSH1 0x20
000019d1: ADD
000019d2: PUSH1 0x00
000019d4: KECCAK256
000019d5: DUP2
000019d6: SWAP1
000019d7: SSTORE
000019d8: POP
000019d9: PUSH2 0x19e3
000019dc: DUP4
000019dd: PUSH1 0x00
000019df: PUSH2 0x0774
000019e2: JUMP
000019e3: JUMPDEST
000019e4: SWAP1
000019e5: POP
000019e6: DUP2
000019e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019fc: AND
000019fd: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00001a1e: DUP5
00001a1f: DUP4
00001a20: PUSH1 0x40
00001a22: MLOAD
00001a23: DUP1
00001a24: DUP4
00001a25: DUP2
00001a26: MSTORE
00001a27: PUSH1 0x20
00001a29: ADD
00001a2a: DUP3
00001a2b: DUP2
00001a2c: MSTORE
00001a2d: PUSH1 0x20
00001a2f: ADD
00001a30: SWAP3
00001a31: POP
00001a32: POP
00001a33: POP
00001a34: PUSH1 0x40
00001a36: MLOAD
00001a37: DUP1
00001a38: SWAP2
00001a39: SUB
00001a3a: SWAP1
00001a3b: LOG2
00001a3c: POP
00001a3d: POP
00001a3e: POP
00001a3f: JUMP
00001a40: JUMPDEST
00001a41: PUSH1 0x00
00001a43: DUP1
00001a44: PUSH1 0x00
00001a46: DUP5
00001a47: EQ
00001a48: ISZERO
00001a49: PUSH2 0x1a55
00001a4c: JUMPI
00001a4d: PUSH1 0x00
00001a4f: SWAP2
00001a50: POP
00001a51: PUSH2 0x1a74
00001a54: JUMP
00001a55: JUMPDEST
00001a56: DUP3
00001a57: DUP5
00001a58: MUL
00001a59: SWAP1
00001a5a: POP
00001a5b: DUP3
00001a5c: DUP5
00001a5d: DUP3
00001a5e: DUP2
00001a5f: ISZERO
00001a60: ISZERO
00001a61: PUSH2 0x1a66
00001a64: JUMPI
00001a65: INVALID
00001a66: JUMPDEST
00001a67: DIV
00001a68: EQ
00001a69: ISZERO
00001a6a: ISZERO
00001a6b: PUSH2 0x1a70
00001a6e: JUMPI
00001a6f: INVALID
00001a70: JUMPDEST
00001a71: DUP1
00001a72: SWAP2
00001a73: POP
00001a74: JUMPDEST
00001a75: POP
00001a76: SWAP3
00001a77: SWAP2
00001a78: POP
00001a79: POP
00001a7a: JUMP
00001a7b: JUMPDEST
00001a7c: PUSH1 0x00
00001a7e: DUP1
00001a7f: DUP3
00001a80: DUP5
00001a81: DUP2
00001a82: ISZERO
00001a83: ISZERO
00001a84: PUSH2 0x1a89
00001a87: JUMPI
00001a88: INVALID
00001a89: JUMPDEST
00001a8a: DIV
00001a8b: SWAP1
00001a8c: POP
00001a8d: DUP1
00001a8e: SWAP2
00001a8f: POP
00001a90: POP
00001a91: SWAP3
00001a92: SWAP2
00001a93: POP
00001a94: POP
00001a95: JUMP
00001a96: JUMPDEST
00001a97: PUSH1 0x00
00001a99: DUP3
00001a9a: DUP3
00001a9b: GT
00001a9c: ISZERO
00001a9d: ISZERO
00001a9e: ISZERO
00001a9f: PUSH2 0x1aa4
00001aa2: JUMPI
00001aa3: INVALID
00001aa4: JUMPDEST
00001aa5: DUP2
00001aa6: DUP4
00001aa7: SUB
00001aa8: SWAP1
00001aa9: POP
00001aaa: SWAP3
00001aab: SWAP2
00001aac: POP
00001aad: POP
00001aae: JUMP
00001aaf: JUMPDEST
00001ab0: PUSH1 0x00
00001ab2: DUP1
00001ab3: PUSH1 0x00
00001ab5: PUSH8 0x0de0b6b3a7640000
00001abe: PUSH5 0x174876e800
00001ac4: MUL
00001ac5: SWAP2
00001ac6: POP
00001ac7: PUSH1 0x08
00001ac9: SLOAD
00001aca: PUSH4 0x3b9aca00
00001acf: PUSH2 0x1b21
00001ad2: PUSH2 0x1b1b
00001ad5: PUSH1 0x08
00001ad7: SLOAD
00001ad8: DUP7
00001ad9: PUSH4 0x3b9aca00
00001ade: PUSH1 0x02
00001ae0: MUL
00001ae1: MUL
00001ae2: MUL
00001ae3: PUSH1 0x02
00001ae5: PUSH1 0x08
00001ae7: SLOAD
00001ae8: EXP
00001ae9: PUSH1 0x02
00001aeb: PUSH4 0x3b9aca00
00001af0: EXP
00001af1: MUL
00001af2: PUSH8 0x0de0b6b3a7640000
00001afb: DUP11
00001afc: MUL
00001afd: PUSH8 0x0de0b6b3a7640000
00001b06: PUSH4 0x3b9aca00
00001b0b: MUL
00001b0c: PUSH1 0x02
00001b0e: MUL
00001b0f: MUL
00001b10: PUSH1 0x02
00001b12: DUP10
00001b13: EXP
00001b14: ADD
00001b15: ADD
00001b16: ADD
00001b17: PUSH2 0x2b0d
00001b1a: JUMP
00001b1b: JUMPDEST
00001b1c: DUP6
00001b1d: PUSH2 0x1a96
00001b20: JUMP
00001b21: JUMPDEST
00001b22: DUP2
00001b23: ISZERO
00001b24: ISZERO
00001b25: PUSH2 0x1b2a
00001b28: JUMPI
00001b29: INVALID
00001b2a: JUMPDEST
00001b2b: DIV
00001b2c: SUB
00001b2d: SWAP1
00001b2e: POP
00001b2f: DUP1
00001b30: SWAP3
00001b31: POP
00001b32: POP
00001b33: POP
00001b34: SWAP2
00001b35: SWAP1
00001b36: POP
00001b37: JUMP
00001b38: JUMPDEST
00001b39: PUSH1 0x00
00001b3b: DUP1
00001b3c: DUP3
00001b3d: DUP5
00001b3e: ADD
00001b3f: SWAP1
00001b40: POP
00001b41: DUP4
00001b42: DUP2
00001b43: LT
00001b44: ISZERO
00001b45: ISZERO
00001b46: ISZERO
00001b47: PUSH2 0x1b4c
00001b4a: JUMPI
00001b4b: INVALID
00001b4c: JUMPDEST
00001b4d: DUP1
00001b4e: SWAP2
00001b4f: POP
00001b50: POP
00001b51: SWAP3
00001b52: SWAP2
00001b53: POP
00001b54: POP
00001b55: JUMP
00001b56: JUMPDEST
00001b57: PUSH1 0x00
00001b59: DUP1
00001b5a: PUSH1 0x00
00001b5c: DUP1
00001b5d: PUSH1 0x00
00001b5f: DUP1
00001b60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b75: AND
00001b76: DUP7
00001b77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8c: AND
00001b8d: EQ
00001b8e: ISZERO
00001b8f: DUP1
00001b90: ISZERO
00001b91: PUSH2 0x1bc6
00001b94: JUMPI
00001b95: POP
00001b96: CALLER
00001b97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bac: AND
00001bad: DUP7
00001bae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc3: AND
00001bc4: EQ
00001bc5: ISZERO
00001bc6: JUMPDEST
00001bc7: DUP1
00001bc8: ISZERO
00001bc9: PUSH2 0x1c13
00001bcc: JUMPI
00001bcd: POP
00001bce: PUSH1 0x02
00001bd0: SLOAD
00001bd1: PUSH1 0x04
00001bd3: PUSH1 0x00
00001bd5: DUP9
00001bd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001beb: AND
00001bec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c01: AND
00001c02: DUP2
00001c03: MSTORE
00001c04: PUSH1 0x20
00001c06: ADD
00001c07: SWAP1
00001c08: DUP2
00001c09: MSTORE
00001c0a: PUSH1 0x20
00001c0c: ADD
00001c0d: PUSH1 0x00
00001c0f: KECCAK256
00001c10: SLOAD
00001c11: LT
00001c12: ISZERO
00001c13: JUMPDEST
00001c14: ISZERO
00001c15: PUSH2 0x2338
00001c18: JUMPI
00001c19: PUSH1 0x00
00001c1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c30: AND
00001c31: PUSH1 0x07
00001c33: PUSH1 0x00
00001c35: CALLER
00001c36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4b: AND
00001c4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c61: AND
00001c62: DUP2
00001c63: MSTORE
00001c64: PUSH1 0x20
00001c66: ADD
00001c67: SWAP1
00001c68: DUP2
00001c69: MSTORE
00001c6a: PUSH1 0x20
00001c6c: ADD
00001c6d: PUSH1 0x00
00001c6f: KECCAK256
00001c70: PUSH1 0x00
00001c72: SWAP1
00001c73: SLOAD
00001c74: SWAP1
00001c75: PUSH2 0x0100
00001c78: EXP
00001c79: SWAP1
00001c7a: DIV
00001c7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c90: AND
00001c91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca6: AND
00001ca7: EQ
00001ca8: ISZERO
00001ca9: ISZERO
00001caa: PUSH2 0x1d14
00001cad: JUMPI
00001cae: PUSH1 0x07
00001cb0: PUSH1 0x00
00001cb2: CALLER
00001cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc8: AND
00001cc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cde: AND
00001cdf: DUP2
00001ce0: MSTORE
00001ce1: PUSH1 0x20
00001ce3: ADD
00001ce4: SWAP1
00001ce5: DUP2
00001ce6: MSTORE
00001ce7: PUSH1 0x20
00001ce9: ADD
00001cea: PUSH1 0x00
00001cec: KECCAK256
00001ced: PUSH1 0x00
00001cef: SWAP1
00001cf0: SLOAD
00001cf1: SWAP1
00001cf2: PUSH2 0x0100
00001cf5: EXP
00001cf6: SWAP1
00001cf7: DIV
00001cf8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0d: AND
00001d0e: SWAP6
00001d0f: POP
00001d10: PUSH2 0x1d93
00001d13: JUMP
00001d14: JUMPDEST
00001d15: DUP6
00001d16: PUSH1 0x07
00001d18: PUSH1 0x00
00001d1a: CALLER
00001d1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d30: AND
00001d31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d46: AND
00001d47: DUP2
00001d48: MSTORE
00001d49: PUSH1 0x20
00001d4b: ADD
00001d4c: SWAP1
00001d4d: DUP2
00001d4e: MSTORE
00001d4f: PUSH1 0x20
00001d51: ADD
00001d52: PUSH1 0x00
00001d54: KECCAK256
00001d55: PUSH1 0x00
00001d57: PUSH2 0x0100
00001d5a: EXP
00001d5b: DUP2
00001d5c: SLOAD
00001d5d: DUP2
00001d5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d73: MUL
00001d74: NOT
00001d75: AND
00001d76: SWAP1
00001d77: DUP4
00001d78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d8d: AND
00001d8e: MUL
00001d8f: OR
00001d90: SWAP1
00001d91: SSTORE
00001d92: POP
00001d93: JUMPDEST
00001d94: PUSH1 0x00
00001d96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dab: AND
00001dac: PUSH1 0x07
00001dae: PUSH1 0x00
00001db0: DUP9
00001db1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc6: AND
00001dc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ddc: AND
00001ddd: DUP2
00001dde: MSTORE
00001ddf: PUSH1 0x20
00001de1: ADD
00001de2: SWAP1
00001de3: DUP2
00001de4: MSTORE
00001de5: PUSH1 0x20
00001de7: ADD
00001de8: PUSH1 0x00
00001dea: KECCAK256
00001deb: PUSH1 0x00
00001ded: SWAP1
00001dee: SLOAD
00001def: SWAP1
00001df0: PUSH2 0x0100
00001df3: EXP
00001df4: SWAP1
00001df5: DIV
00001df6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e0b: AND
00001e0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e21: AND
00001e22: EQ
00001e23: ISZERO
00001e24: ISZERO
00001e25: PUSH2 0x22a2
00001e28: JUMPI
00001e29: PUSH1 0x07
00001e2b: PUSH1 0x00
00001e2d: DUP8
00001e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e43: AND
00001e44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e59: AND
00001e5a: DUP2
00001e5b: MSTORE
00001e5c: PUSH1 0x20
00001e5e: ADD
00001e5f: SWAP1
00001e60: DUP2
00001e61: MSTORE
00001e62: PUSH1 0x20
00001e64: ADD
00001e65: PUSH1 0x00
00001e67: KECCAK256
00001e68: PUSH1 0x00
00001e6a: SWAP1
00001e6b: SLOAD
00001e6c: SWAP1
00001e6d: PUSH2 0x0100
00001e70: EXP
00001e71: SWAP1
00001e72: DIV
00001e73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e88: AND
00001e89: SWAP4
00001e8a: POP
00001e8b: PUSH1 0x00
00001e8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea2: AND
00001ea3: PUSH1 0x07
00001ea5: PUSH1 0x00
00001ea7: DUP7
00001ea8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ebd: AND
00001ebe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed3: AND
00001ed4: DUP2
00001ed5: MSTORE
00001ed6: PUSH1 0x20
00001ed8: ADD
00001ed9: SWAP1
00001eda: DUP2
00001edb: MSTORE
00001edc: PUSH1 0x20
00001ede: ADD
00001edf: PUSH1 0x00
00001ee1: KECCAK256
00001ee2: PUSH1 0x00
00001ee4: SWAP1
00001ee5: SLOAD
00001ee6: SWAP1
00001ee7: PUSH2 0x0100
00001eea: EXP
00001eeb: SWAP1
00001eec: DIV
00001eed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f02: AND
00001f03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f18: AND
00001f19: EQ
00001f1a: ISZERO
00001f1b: ISZERO
00001f1c: PUSH2 0x215c
00001f1f: JUMPI
00001f20: PUSH1 0x07
00001f22: PUSH1 0x00
00001f24: DUP6
00001f25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f3a: AND
00001f3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f50: AND
00001f51: DUP2
00001f52: MSTORE
00001f53: PUSH1 0x20
00001f55: ADD
00001f56: SWAP1
00001f57: DUP2
00001f58: MSTORE
00001f59: PUSH1 0x20
00001f5b: ADD
00001f5c: PUSH1 0x00
00001f5e: KECCAK256
00001f5f: PUSH1 0x00
00001f61: SWAP1
00001f62: SLOAD
00001f63: SWAP1
00001f64: PUSH2 0x0100
00001f67: EXP
00001f68: SWAP1
00001f69: DIV
00001f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f7f: AND
00001f80: SWAP3
00001f81: POP
00001f82: PUSH2 0x1fde
00001f85: PUSH1 0x05
00001f87: PUSH1 0x00
00001f89: DUP6
00001f8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9f: AND
00001fa0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb5: AND
00001fb6: DUP2
00001fb7: MSTORE
00001fb8: PUSH1 0x20
00001fba: ADD
00001fbb: SWAP1
00001fbc: DUP2
00001fbd: MSTORE
00001fbe: PUSH1 0x20
00001fc0: ADD
00001fc1: PUSH1 0x00
00001fc3: KECCAK256
00001fc4: SLOAD
00001fc5: PUSH2 0x1fd9
00001fc8: PUSH2 0x1fd2
00001fcb: DUP11
00001fcc: PUSH1 0x14
00001fce: PUSH2 0x1a40
00001fd1: JUMP
00001fd2: JUMPDEST
00001fd3: PUSH1 0x64
00001fd5: PUSH2 0x1a7b
00001fd8: JUMP
00001fd9: JUMPDEST
00001fda: PUSH2 0x1b38
00001fdd: JUMP
00001fde: JUMPDEST
00001fdf: PUSH1 0x05
00001fe1: PUSH1 0x00
00001fe3: DUP6
00001fe4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff9: AND
00001ffa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200f: AND
00002010: DUP2
00002011: MSTORE
00002012: PUSH1 0x20
00002014: ADD
00002015: SWAP1
00002016: DUP2
00002017: MSTORE
00002018: PUSH1 0x20
0000201a: ADD
0000201b: PUSH1 0x00
0000201d: KECCAK256
0000201e: DUP2
0000201f: SWAP1
00002020: SSTORE
00002021: POP
00002022: PUSH2 0x207e
00002025: PUSH1 0x05
00002027: PUSH1 0x00
00002029: DUP7
0000202a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000203f: AND
00002040: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002055: AND
00002056: DUP2
00002057: MSTORE
00002058: PUSH1 0x20
0000205a: ADD
0000205b: SWAP1
0000205c: DUP2
0000205d: MSTORE
0000205e: PUSH1 0x20
00002060: ADD
00002061: PUSH1 0x00
00002063: KECCAK256
00002064: SLOAD
00002065: PUSH2 0x2079
00002068: PUSH2 0x2072
0000206b: DUP11
0000206c: PUSH1 0x1e
0000206e: PUSH2 0x1a40
00002071: JUMP
00002072: JUMPDEST
00002073: PUSH1 0x64
00002075: PUSH2 0x1a7b
00002078: JUMP
00002079: JUMPDEST
0000207a: PUSH2 0x1b38
0000207d: JUMP
0000207e: JUMPDEST
0000207f: PUSH1 0x05
00002081: PUSH1 0x00
00002083: DUP7
00002084: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002099: AND
0000209a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020af: AND
000020b0: DUP2
000020b1: MSTORE
000020b2: PUSH1 0x20
000020b4: ADD
000020b5: SWAP1
000020b6: DUP2
000020b7: MSTORE
000020b8: PUSH1 0x20
000020ba: ADD
000020bb: PUSH1 0x00
000020bd: KECCAK256
000020be: DUP2
000020bf: SWAP1
000020c0: SSTORE
000020c1: POP
000020c2: PUSH2 0x2114
000020c5: PUSH1 0x05
000020c7: PUSH1 0x00
000020c9: DUP9
000020ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020df: AND
000020e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f5: AND
000020f6: DUP2
000020f7: MSTORE
000020f8: PUSH1 0x20
000020fa: ADD
000020fb: SWAP1
000020fc: DUP2
000020fd: MSTORE
000020fe: PUSH1 0x20
00002100: ADD
00002101: PUSH1 0x00
00002103: KECCAK256
00002104: SLOAD
00002105: PUSH2 0x210f
00002108: DUP10
00002109: PUSH1 0x02
0000210b: PUSH2 0x1a7b
0000210e: JUMP
0000210f: JUMPDEST
00002110: PUSH2 0x1b38
00002113: JUMP
00002114: JUMPDEST
00002115: PUSH1 0x05
00002117: PUSH1 0x00
00002119: DUP9
0000211a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000212f: AND
00002130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002145: AND
00002146: DUP2
00002147: MSTORE
00002148: PUSH1 0x20
0000214a: ADD
0000214b: SWAP1
0000214c: DUP2
0000214d: MSTORE
0000214e: PUSH1 0x20
00002150: ADD
00002151: PUSH1 0x00
00002153: KECCAK256
00002154: DUP2
00002155: SWAP1
00002156: SSTORE
00002157: POP
00002158: PUSH2 0x229d
0000215b: JUMP
0000215c: JUMPDEST
0000215d: PUSH2 0x21b9
00002160: PUSH1 0x05
00002162: PUSH1 0x00
00002164: DUP7
00002165: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000217a: AND
0000217b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002190: AND
00002191: DUP2
00002192: MSTORE
00002193: PUSH1 0x20
00002195: ADD
00002196: SWAP1
00002197: DUP2
00002198: MSTORE
00002199: PUSH1 0x20
0000219b: ADD
0000219c: PUSH1 0x00
0000219e: KECCAK256
0000219f: SLOAD
000021a0: PUSH2 0x21b4
000021a3: PUSH2 0x21ad
000021a6: DUP11
000021a7: PUSH1 0x28
000021a9: PUSH2 0x1a40
000021ac: JUMP
000021ad: JUMPDEST
000021ae: PUSH1 0x64
000021b0: PUSH2 0x1a7b
000021b3: JUMP
000021b4: JUMPDEST
000021b5: PUSH2 0x1b38
000021b8: JUMP
000021b9: JUMPDEST
000021ba: PUSH1 0x05
000021bc: PUSH1 0x00
000021be: DUP7
000021bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d4: AND
000021d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ea: AND
000021eb: DUP2
000021ec: MSTORE
000021ed: PUSH1 0x20
000021ef: ADD
000021f0: SWAP1
000021f1: DUP2
000021f2: MSTORE
000021f3: PUSH1 0x20
000021f5: ADD
000021f6: PUSH1 0x00
000021f8: KECCAK256
000021f9: DUP2
000021fa: SWAP1
000021fb: SSTORE
000021fc: POP
000021fd: PUSH2 0x2259
00002200: PUSH1 0x05
00002202: PUSH1 0x00
00002204: DUP9
00002205: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000221a: AND
0000221b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002230: AND
00002231: DUP2
00002232: MSTORE
00002233: PUSH1 0x20
00002235: ADD
00002236: SWAP1
00002237: DUP2
00002238: MSTORE
00002239: PUSH1 0x20
0000223b: ADD
0000223c: PUSH1 0x00
0000223e: KECCAK256
0000223f: SLOAD
00002240: PUSH2 0x2254
00002243: PUSH2 0x224d
00002246: DUP11
00002247: PUSH1 0x3c
00002249: PUSH2 0x1a40
0000224c: JUMP
0000224d: JUMPDEST
0000224e: PUSH1 0x64
00002250: PUSH2 0x1a7b
00002253: JUMP
00002254: JUMPDEST
00002255: PUSH2 0x1b38
00002258: JUMP
00002259: JUMPDEST
0000225a: PUSH1 0x05
0000225c: PUSH1 0x00
0000225e: DUP9
0000225f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002274: AND
00002275: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000228a: AND
0000228b: DUP2
0000228c: MSTORE
0000228d: PUSH1 0x20
0000228f: ADD
00002290: SWAP1
00002291: DUP2
00002292: MSTORE
00002293: PUSH1 0x20
00002295: ADD
00002296: PUSH1 0x00
00002298: KECCAK256
00002299: DUP2
0000229a: SWAP1
0000229b: SSTORE
0000229c: POP
0000229d: JUMPDEST
0000229e: PUSH2 0x232f
000022a1: JUMP
000022a2: JUMPDEST
000022a3: PUSH2 0x22eb
000022a6: PUSH1 0x05
000022a8: PUSH1 0x00
000022aa: DUP9
000022ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c0: AND
000022c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022d6: AND
000022d7: DUP2
000022d8: MSTORE
000022d9: PUSH1 0x20
000022db: ADD
000022dc: SWAP1
000022dd: DUP2
000022de: MSTORE
000022df: PUSH1 0x20
000022e1: ADD
000022e2: PUSH1 0x00
000022e4: KECCAK256
000022e5: SLOAD
000022e6: DUP9
000022e7: PUSH2 0x1b38
000022ea: JUMP
000022eb: JUMPDEST
000022ec: PUSH1 0x05
000022ee: PUSH1 0x00
000022f0: DUP9
000022f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002306: AND
00002307: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000231c: AND
0000231d: DUP2
0000231e: MSTORE
0000231f: PUSH1 0x20
00002321: ADD
00002322: SWAP1
00002323: DUP2
00002324: MSTORE
00002325: PUSH1 0x20
00002327: ADD
00002328: PUSH1 0x00
0000232a: KECCAK256
0000232b: DUP2
0000232c: SWAP1
0000232d: SSTORE
0000232e: POP
0000232f: JUMPDEST
00002330: PUSH1 0x01
00002332: SWAP5
00002333: POP
00002334: PUSH2 0x2a5b
00002337: JUMP
00002338: JUMPDEST
00002339: PUSH1 0x00
0000233b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002350: AND
00002351: DUP7
00002352: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002367: AND
00002368: EQ
00002369: DUP1
0000236a: ISZERO
0000236b: PUSH2 0x2400
0000236e: JUMPI
0000236f: POP
00002370: PUSH1 0x00
00002372: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002387: AND
00002388: PUSH1 0x07
0000238a: PUSH1 0x00
0000238c: CALLER
0000238d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a2: AND
000023a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b8: AND
000023b9: DUP2
000023ba: MSTORE
000023bb: PUSH1 0x20
000023bd: ADD
000023be: SWAP1
000023bf: DUP2
000023c0: MSTORE
000023c1: PUSH1 0x20
000023c3: ADD
000023c4: PUSH1 0x00
000023c6: KECCAK256
000023c7: PUSH1 0x00
000023c9: SWAP1
000023ca: SLOAD
000023cb: SWAP1
000023cc: PUSH2 0x0100
000023cf: EXP
000023d0: SWAP1
000023d1: DIV
000023d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023e7: AND
000023e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023fd: AND
000023fe: EQ
000023ff: ISZERO
00002400: JUMPDEST
00002401: DUP1
00002402: ISZERO
00002403: PUSH2 0x24ac
00002406: JUMPI
00002407: POP
00002408: PUSH1 0x02
0000240a: SLOAD
0000240b: PUSH1 0x04
0000240d: PUSH1 0x00
0000240f: PUSH1 0x07
00002411: PUSH1 0x00
00002413: CALLER
00002414: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002429: AND
0000242a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000243f: AND
00002440: DUP2
00002441: MSTORE
00002442: PUSH1 0x20
00002444: ADD
00002445: SWAP1
00002446: DUP2
00002447: MSTORE
00002448: PUSH1 0x20
0000244a: ADD
0000244b: PUSH1 0x00
0000244d: KECCAK256
0000244e: PUSH1 0x00
00002450: SWAP1
00002451: SLOAD
00002452: SWAP1
00002453: PUSH2 0x0100
00002456: EXP
00002457: SWAP1
00002458: DIV
00002459: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000246e: AND
0000246f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002484: AND
00002485: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000249a: AND
0000249b: DUP2
0000249c: MSTORE
0000249d: PUSH1 0x20
0000249f: ADD
000024a0: SWAP1
000024a1: DUP2
000024a2: MSTORE
000024a3: PUSH1 0x20
000024a5: ADD
000024a6: PUSH1 0x00
000024a8: KECCAK256
000024a9: SLOAD
000024aa: LT
000024ab: ISZERO
000024ac: JUMPDEST
000024ad: ISZERO
000024ae: PUSH2 0x2a56
000024b1: JUMPI
000024b2: PUSH1 0x00
000024b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c9: AND
000024ca: PUSH1 0x07
000024cc: PUSH1 0x00
000024ce: DUP9
000024cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e4: AND
000024e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024fa: AND
000024fb: DUP2
000024fc: MSTORE
000024fd: PUSH1 0x20
000024ff: ADD
00002500: SWAP1
00002501: DUP2
00002502: MSTORE
00002503: PUSH1 0x20
00002505: ADD
00002506: PUSH1 0x00
00002508: KECCAK256
00002509: PUSH1 0x00
0000250b: SWAP1
0000250c: SLOAD
0000250d: SWAP1
0000250e: PUSH2 0x0100
00002511: EXP
00002512: SWAP1
00002513: DIV
00002514: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002529: AND
0000252a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000253f: AND
00002540: EQ
00002541: ISZERO
00002542: ISZERO
00002543: PUSH2 0x29c0
00002546: JUMPI
00002547: PUSH1 0x07
00002549: PUSH1 0x00
0000254b: DUP8
0000254c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002561: AND
00002562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002577: AND
00002578: DUP2
00002579: MSTORE
0000257a: PUSH1 0x20
0000257c: ADD
0000257d: SWAP1
0000257e: DUP2
0000257f: MSTORE
00002580: PUSH1 0x20
00002582: ADD
00002583: PUSH1 0x00
00002585: KECCAK256
00002586: PUSH1 0x00
00002588: SWAP1
00002589: SLOAD
0000258a: SWAP1
0000258b: PUSH2 0x0100
0000258e: EXP
0000258f: SWAP1
00002590: DIV
00002591: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025a6: AND
000025a7: SWAP2
000025a8: POP
000025a9: PUSH1 0x00
000025ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025c0: AND
000025c1: PUSH1 0x07
000025c3: PUSH1 0x00
000025c5: DUP5
000025c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025db: AND
000025dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025f1: AND
000025f2: DUP2
000025f3: MSTORE
000025f4: PUSH1 0x20
000025f6: ADD
000025f7: SWAP1
000025f8: DUP2
000025f9: MSTORE
000025fa: PUSH1 0x20
000025fc: ADD
000025fd: PUSH1 0x00
000025ff: KECCAK256
00002600: PUSH1 0x00
00002602: SWAP1
00002603: SLOAD
00002604: SWAP1
00002605: PUSH2 0x0100
00002608: EXP
00002609: SWAP1
0000260a: DIV
0000260b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002620: AND
00002621: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002636: AND
00002637: EQ
00002638: ISZERO
00002639: ISZERO
0000263a: PUSH2 0x287a
0000263d: JUMPI
0000263e: PUSH1 0x07
00002640: PUSH1 0x00
00002642: DUP4
00002643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002658: AND
00002659: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000266e: AND
0000266f: DUP2
00002670: MSTORE
00002671: PUSH1 0x20
00002673: ADD
00002674: SWAP1
00002675: DUP2
00002676: MSTORE
00002677: PUSH1 0x20
00002679: ADD
0000267a: PUSH1 0x00
0000267c: KECCAK256
0000267d: PUSH1 0x00
0000267f: SWAP1
00002680: SLOAD
00002681: SWAP1
00002682: PUSH2 0x0100
00002685: EXP
00002686: SWAP1
00002687: DIV
00002688: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000269d: AND
0000269e: SWAP1
0000269f: POP
000026a0: PUSH2 0x26fc
000026a3: PUSH1 0x05
000026a5: PUSH1 0x00
000026a7: DUP4
000026a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026bd: AND
000026be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026d3: AND
000026d4: DUP2
000026d5: MSTORE
000026d6: PUSH1 0x20
000026d8: ADD
000026d9: SWAP1
000026da: DUP2
000026db: MSTORE
000026dc: PUSH1 0x20
000026de: ADD
000026df: PUSH1 0x00
000026e1: KECCAK256
000026e2: SLOAD
000026e3: PUSH2 0x26f7
000026e6: PUSH2 0x26f0
000026e9: DUP11
000026ea: PUSH1 0x14
000026ec: PUSH2 0x1a40
000026ef: JUMP
000026f0: JUMPDEST
000026f1: PUSH1 0x64
000026f3: PUSH2 0x1a7b
000026f6: JUMP
000026f7: JUMPDEST
000026f8: PUSH2 0x1b38
000026fb: JUMP
000026fc: JUMPDEST
000026fd: PUSH1 0x05
000026ff: PUSH1 0x00
00002701: DUP4
00002702: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002717: AND
00002718: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000272d: AND
0000272e: DUP2
0000272f: MSTORE
00002730: PUSH1 0x20
00002732: ADD
00002733: SWAP1
00002734: DUP2
00002735: MSTORE
00002736: PUSH1 0x20
00002738: ADD
00002739: PUSH1 0x00
0000273b: KECCAK256
0000273c: DUP2
0000273d: SWAP1
0000273e: SSTORE
0000273f: POP
00002740: PUSH2 0x279c
00002743: PUSH1 0x05
00002745: PUSH1 0x00
00002747: DUP5
00002748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000275d: AND
0000275e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002773: AND
00002774: DUP2
00002775: MSTORE
00002776: PUSH1 0x20
00002778: ADD
00002779: SWAP1
0000277a: DUP2
0000277b: MSTORE
0000277c: PUSH1 0x20
0000277e: ADD
0000277f: PUSH1 0x00
00002781: KECCAK256
00002782: SLOAD
00002783: PUSH2 0x2797
00002786: PUSH2 0x2790
00002789: DUP11
0000278a: PUSH1 0x1e
0000278c: PUSH2 0x1a40
0000278f: JUMP
00002790: JUMPDEST
00002791: PUSH1 0x64
00002793: PUSH2 0x1a7b
00002796: JUMP
00002797: JUMPDEST
00002798: PUSH2 0x1b38
0000279b: JUMP
0000279c: JUMPDEST
0000279d: PUSH1 0x05
0000279f: PUSH1 0x00
000027a1: DUP5
000027a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027b7: AND
000027b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027cd: AND
000027ce: DUP2
000027cf: MSTORE
000027d0: PUSH1 0x20
000027d2: ADD
000027d3: SWAP1
000027d4: DUP2
000027d5: MSTORE
000027d6: PUSH1 0x20
000027d8: ADD
000027d9: PUSH1 0x00
000027db: KECCAK256
000027dc: DUP2
000027dd: SWAP1
000027de: SSTORE
000027df: POP
000027e0: PUSH2 0x2832
000027e3: PUSH1 0x05
000027e5: PUSH1 0x00
000027e7: DUP9
000027e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027fd: AND
000027fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002813: AND
00002814: DUP2
00002815: MSTORE
00002816: PUSH1 0x20
00002818: ADD
00002819: SWAP1
0000281a: DUP2
0000281b: MSTORE
0000281c: PUSH1 0x20
0000281e: ADD
0000281f: PUSH1 0x00
00002821: KECCAK256
00002822: SLOAD
00002823: PUSH2 0x282d
00002826: DUP10
00002827: PUSH1 0x02
00002829: PUSH2 0x1a7b
0000282c: JUMP
0000282d: JUMPDEST
0000282e: PUSH2 0x1b38
00002831: JUMP
00002832: JUMPDEST
00002833: PUSH1 0x05
00002835: PUSH1 0x00
00002837: DUP9
00002838: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000284d: AND
0000284e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002863: AND
00002864: DUP2
00002865: MSTORE
00002866: PUSH1 0x20
00002868: ADD
00002869: SWAP1
0000286a: DUP2
0000286b: MSTORE
0000286c: PUSH1 0x20
0000286e: ADD
0000286f: PUSH1 0x00
00002871: KECCAK256
00002872: DUP2
00002873: SWAP1
00002874: SSTORE
00002875: POP
00002876: PUSH2 0x29bb
00002879: JUMP
0000287a: JUMPDEST
0000287b: PUSH2 0x28d7
0000287e: PUSH1 0x05
00002880: PUSH1 0x00
00002882: DUP5
00002883: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002898: AND
00002899: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028ae: AND
000028af: DUP2
000028b0: MSTORE
000028b1: PUSH1 0x20
000028b3: ADD
000028b4: SWAP1
000028b5: DUP2
000028b6: MSTORE
000028b7: PUSH1 0x20
000028b9: ADD
000028ba: PUSH1 0x00
000028bc: KECCAK256
000028bd: SLOAD
000028be: PUSH2 0x28d2
000028c1: PUSH2 0x28cb
000028c4: DUP11
000028c5: PUSH1 0x28
000028c7: PUSH2 0x1a40
000028ca: JUMP
000028cb: JUMPDEST
000028cc: PUSH1 0x64
000028ce: PUSH2 0x1a7b
000028d1: JUMP
000028d2: JUMPDEST
000028d3: PUSH2 0x1b38
000028d6: JUMP
000028d7: JUMPDEST
000028d8: PUSH1 0x05
000028da: PUSH1 0x00
000028dc: DUP5
000028dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028f2: AND
000028f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002908: AND
00002909: DUP2
0000290a: MSTORE
0000290b: PUSH1 0x20
0000290d: ADD
0000290e: SWAP1
0000290f: DUP2
00002910: MSTORE
00002911: PUSH1 0x20
00002913: ADD
00002914: PUSH1 0x00
00002916: KECCAK256
00002917: DUP2
00002918: SWAP1
00002919: SSTORE
0000291a: POP
0000291b: PUSH2 0x2977
0000291e: PUSH1 0x05
00002920: PUSH1 0x00
00002922: DUP9
00002923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002938: AND
00002939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000294e: AND
0000294f: DUP2
00002950: MSTORE
00002951: PUSH1 0x20
00002953: ADD
00002954: SWAP1
00002955: DUP2
00002956: MSTORE
00002957: PUSH1 0x20
00002959: ADD
0000295a: PUSH1 0x00
0000295c: KECCAK256
0000295d: SLOAD
0000295e: PUSH2 0x2972
00002961: PUSH2 0x296b
00002964: DUP11
00002965: PUSH1 0x28
00002967: PUSH2 0x1a40
0000296a: JUMP
0000296b: JUMPDEST
0000296c: PUSH1 0x64
0000296e: PUSH2 0x1a7b
00002971: JUMP
00002972: JUMPDEST
00002973: PUSH2 0x1b38
00002976: JUMP
00002977: JUMPDEST
00002978: PUSH1 0x05
0000297a: PUSH1 0x00
0000297c: DUP9
0000297d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002992: AND
00002993: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029a8: AND
000029a9: DUP2
000029aa: MSTORE
000029ab: PUSH1 0x20
000029ad: ADD
000029ae: SWAP1
000029af: DUP2
000029b0: MSTORE
000029b1: PUSH1 0x20
000029b3: ADD
000029b4: PUSH1 0x00
000029b6: KECCAK256
000029b7: DUP2
000029b8: SWAP1
000029b9: SSTORE
000029ba: POP
000029bb: JUMPDEST
000029bc: PUSH2 0x2a4d
000029bf: JUMP
000029c0: JUMPDEST
000029c1: PUSH2 0x2a09
000029c4: PUSH1 0x05
000029c6: PUSH1 0x00
000029c8: DUP9
000029c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029de: AND
000029df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029f4: AND
000029f5: DUP2
000029f6: MSTORE
000029f7: PUSH1 0x20
000029f9: ADD
000029fa: SWAP1
000029fb: DUP2
000029fc: MSTORE
000029fd: PUSH1 0x20
000029ff: ADD
00002a00: PUSH1 0x00
00002a02: KECCAK256
00002a03: SLOAD
00002a04: DUP9
00002a05: PUSH2 0x1b38
00002a08: JUMP
00002a09: JUMPDEST
00002a0a: PUSH1 0x05
00002a0c: PUSH1 0x00
00002a0e: DUP9
00002a0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a24: AND
00002a25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a3a: AND
00002a3b: DUP2
00002a3c: MSTORE
00002a3d: PUSH1 0x20
00002a3f: ADD
00002a40: SWAP1
00002a41: DUP2
00002a42: MSTORE
00002a43: PUSH1 0x20
00002a45: ADD
00002a46: PUSH1 0x00
00002a48: KECCAK256
00002a49: DUP2
00002a4a: SWAP1
00002a4b: SSTORE
00002a4c: POP
00002a4d: JUMPDEST
00002a4e: PUSH1 0x01
00002a50: SWAP5
00002a51: POP
00002a52: PUSH2 0x2a5b
00002a55: JUMP
00002a56: JUMPDEST
00002a57: PUSH1 0x00
00002a59: SWAP5
00002a5a: POP
00002a5b: JUMPDEST
00002a5c: POP
00002a5d: POP
00002a5e: POP
00002a5f: POP
00002a60: SWAP3
00002a61: SWAP2
00002a62: POP
00002a63: POP
00002a64: JUMP
00002a65: JUMPDEST
00002a66: PUSH1 0x00
00002a68: DUP1
00002a69: PUSH1 0x00
00002a6b: DUP1
00002a6c: PUSH8 0x0de0b6b3a7640000
00002a75: DUP6
00002a76: ADD
00002a77: SWAP3
00002a78: POP
00002a79: PUSH8 0x0de0b6b3a7640000
00002a82: PUSH1 0x08
00002a84: SLOAD
00002a85: ADD
00002a86: SWAP2
00002a87: POP
00002a88: PUSH8 0x0de0b6b3a7640000
00002a91: PUSH2 0x2af6
00002a94: PUSH8 0x0de0b6b3a7640000
00002a9d: DUP6
00002a9e: SUB
00002a9f: PUSH4 0x3b9aca00
00002aa4: PUSH8 0x0de0b6b3a7640000
00002aad: DUP7
00002aae: DUP2
00002aaf: ISZERO
00002ab0: ISZERO
00002ab1: PUSH2 0x2ab6
00002ab4: JUMPI
00002ab5: INVALID
00002ab6: JUMPDEST
00002ab7: DIV
00002ab8: PUSH4 0x3b9aca00
00002abd: MUL
00002abe: PUSH5 0x174876e800
00002ac4: ADD
00002ac5: SUB
00002ac6: MUL
00002ac7: PUSH1 0x02
00002ac9: PUSH8 0x0de0b6b3a7640000
00002ad2: DUP8
00002ad3: PUSH1 0x02
00002ad5: DUP10
00002ad6: EXP
00002ad7: SUB
00002ad8: DUP2
00002ad9: ISZERO
00002ada: ISZERO
00002adb: PUSH2 0x2ae0
00002ade: JUMPI
00002adf: INVALID
00002ae0: JUMPDEST
00002ae1: DIV
00002ae2: PUSH4 0x3b9aca00
00002ae7: MUL
00002ae8: DUP2
00002ae9: ISZERO
00002aea: ISZERO
00002aeb: PUSH2 0x2af0
00002aee: JUMPI
00002aef: INVALID
00002af0: JUMPDEST
00002af1: DIV
00002af2: PUSH2 0x1a96
00002af5: JUMP
00002af6: JUMPDEST
00002af7: DUP2
00002af8: ISZERO
00002af9: ISZERO
00002afa: PUSH2 0x2aff
00002afd: JUMPI
00002afe: INVALID
00002aff: JUMPDEST
00002b00: DIV
00002b01: SWAP1
00002b02: POP
00002b03: DUP1
00002b04: SWAP4
00002b05: POP
00002b06: POP
00002b07: POP
00002b08: POP
00002b09: SWAP2
00002b0a: SWAP1
00002b0b: POP
00002b0c: JUMP
00002b0d: JUMPDEST
00002b0e: PUSH1 0x00
00002b10: DUP1
00002b11: PUSH1 0x02
00002b13: PUSH1 0x01
00002b15: DUP5
00002b16: ADD
00002b17: DUP2
00002b18: ISZERO
00002b19: ISZERO
00002b1a: PUSH2 0x2b1f
00002b1d: JUMPI
00002b1e: INVALID
00002b1f: JUMPDEST
00002b20: DIV
00002b21: SWAP1
00002b22: POP
00002b23: DUP3
00002b24: SWAP2
00002b25: POP
00002b26: JUMPDEST
00002b27: DUP2
00002b28: DUP2
00002b29: LT
00002b2a: ISZERO
00002b2b: PUSH2 0x2b52
00002b2e: JUMPI
00002b2f: DUP1
00002b30: SWAP2
00002b31: POP
00002b32: PUSH1 0x02
00002b34: DUP2
00002b35: DUP3
00002b36: DUP6
00002b37: DUP2
00002b38: ISZERO
00002b39: ISZERO
00002b3a: PUSH2 0x2b3f
00002b3d: JUMPI
00002b3e: INVALID
00002b3f: JUMPDEST
00002b40: DIV
00002b41: ADD
00002b42: DUP2
00002b43: ISZERO
00002b44: ISZERO
00002b45: PUSH2 0x2b4a
00002b48: JUMPI
00002b49: INVALID
00002b4a: JUMPDEST
00002b4b: DIV
00002b4c: SWAP1
00002b4d: POP
00002b4e: PUSH2 0x2b26
00002b51: JUMP
00002b52: JUMPDEST
00002b53: POP
00002b54: SWAP2
00002b55: SWAP1
00002b56: POP
00002b57: JUMP
00002b58: JUMPDEST
00002b59: DUP3
00002b5a: DUP1
00002b5b: SLOAD
00002b5c: PUSH1 0x01
00002b5e: DUP2
00002b5f: PUSH1 0x01
00002b61: AND
00002b62: ISZERO
00002b63: PUSH2 0x0100
00002b66: MUL
00002b67: SUB
00002b68: AND
00002b69: PUSH1 0x02
00002b6b: SWAP1
00002b6c: DIV
00002b6d: SWAP1
00002b6e: PUSH1 0x00
00002b70: MSTORE
00002b71: PUSH1 0x20
00002b73: PUSH1 0x00
00002b75: KECCAK256
00002b76: SWAP1
00002b77: PUSH1 0x1f
00002b79: ADD
00002b7a: PUSH1 0x20
00002b7c: SWAP1
00002b7d: DIV
00002b7e: DUP2
00002b7f: ADD
00002b80: SWAP3
00002b81: DUP3
00002b82: PUSH1 0x1f
00002b84: LT
00002b85: PUSH2 0x2b99
00002b88: JUMPI
00002b89: DUP1
00002b8a: MLOAD
00002b8b: PUSH1 0xff
00002b8d: NOT
00002b8e: AND
00002b8f: DUP4
00002b90: DUP1
00002b91: ADD
00002b92: OR
00002b93: DUP6
00002b94: SSTORE
00002b95: PUSH2 0x2bc7
00002b98: JUMP
00002b99: JUMPDEST
00002b9a: DUP3
00002b9b: DUP1
00002b9c: ADD
00002b9d: PUSH1 0x01
00002b9f: ADD
00002ba0: DUP6
00002ba1: SSTORE
00002ba2: DUP3
00002ba3: ISZERO
00002ba4: PUSH2 0x2bc7
00002ba7: JUMPI
00002ba8: SWAP2
00002ba9: DUP3
00002baa: ADD
00002bab: JUMPDEST
00002bac: DUP3
00002bad: DUP2
00002bae: GT
00002baf: ISZERO
00002bb0: PUSH2 0x2bc6
00002bb3: JUMPI
00002bb4: DUP3
00002bb5: MLOAD
00002bb6: DUP3
00002bb7: SSTORE
00002bb8: SWAP2
00002bb9: PUSH1 0x20
00002bbb: ADD
00002bbc: SWAP2
00002bbd: SWAP1
00002bbe: PUSH1 0x01
00002bc0: ADD
00002bc1: SWAP1
00002bc2: PUSH2 0x2bab
00002bc5: JUMP
00002bc6: JUMPDEST
00002bc7: JUMPDEST
00002bc8: POP
00002bc9: SWAP1
00002bca: POP
00002bcb: PUSH2 0x2bd4
00002bce: SWAP2
00002bcf: SWAP1
00002bd0: PUSH2 0x2bd8
00002bd3: JUMP
00002bd4: JUMPDEST
00002bd5: POP
00002bd6: SWAP1
00002bd7: JUMP
00002bd8: JUMPDEST
00002bd9: PUSH2 0x2bfa
00002bdc: SWAP2
00002bdd: SWAP1
00002bde: JUMPDEST
00002bdf: DUP1
00002be0: DUP3
00002be1: GT
00002be2: ISZERO
00002be3: PUSH2 0x2bf6
00002be6: JUMPI
00002be7: PUSH1 0x00
00002be9: DUP2
00002bea: PUSH1 0x00
00002bec: SWAP1
00002bed: SSTORE
00002bee: POP
00002bef: PUSH1 0x01
00002bf1: ADD
00002bf2: PUSH2 0x2bde
00002bf5: JUMP
00002bf6: JUMPDEST
00002bf7: POP
00002bf8: SWAP1
00002bf9: JUMP
00002bfa: JUMPDEST
00002bfb: SWAP1
00002bfc: JUMP
00002bfd: STOP
00002bfe: LOG1
00002bff: PUSH6 0x627a7a723058
00002c06: KECCAK256
00002c07: INVALID
00002c08: EXP
00002c09: UNKNOWN(0xA6)
00002c0a: SMOD
00002c0b: MUL
00002c0c: PUSH6 0xd8129f584e49
00002c13: CALLCODE
00002c14: JUMP
00002c15: UNKNOWN(0xC9)
00002c16: UNKNOWN(0xD6)
00002c17: UNKNOWN(0xE6)
00002c18: LOG4
00002c19: UNKNOWN(0xE7)
00002c1a: RETURN
00002c1b: UNKNOWN(0x4B)
00002c1c: UNKNOWN(0xCE)
00002c1d: UNKNOWN(0xAE)
00002c1e: UNKNOWN(0x2A)
00002c1f: ADD
00002c20: PUSH12
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xd25ca33f0330a665a8174f0c169fdbb46bb3f62597f1cd2e1f689757d3fca81c call_targets: 0x77b541f90ecfa09f854209eefeca24c295050e2e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd25ca33f0330a665a8174f0c169fdbb46bb3f62597f1cd2e1f689757d3fca81c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x77b541f90ecfa09f854209eefeca24c295050e2e" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4b750334", "selector": "0x4b750334", "calldata_variants": [ "0x4b750334", "0x4b7503340000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2539, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3467, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5956, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xd25ca33f0330a665a8174f0c169fdbb46bb3f62597f1cd2e1f689757d3fca81c call_targets: 0x77b541f90ecfa09f854209eefeca24c295050e2e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd25ca33f0330a665a8174f0c169fdbb46bb3f62597f1cd2e1f689757d3fca81c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x77b541f90ecfa09f854209eefeca24c295050e2e" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4b750334", "selector": "0x4b750334", "calldata_variants": [ "0x4b750334", "0x4b7503340000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2539, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3467, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5956, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
Severity