Analysis Run

019b477e-ae56-73a5-9934-39072ece0e70
complete
Chain ID
1
Address
0xe810f80e3401f67e5cb2dd803599bfc9d3bffcb9
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
21573	artifact.fetch	complete	1 / 3	3 months ago
21574	tool.cast_disasm	complete	1 / 3	3 months ago
65110	analysis.bundle	complete	1 / 3	2 weeks ago
65111	capability.graph	complete	1 / 3	2 weeks ago
65112	detector.run	complete	1 / 3	2 weeks ago
65113	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)
2
EXT*/BALANCE
1
Total opcodes
5985
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 0x017f
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 0x018d
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x06fdde03
00000046: EQ
00000047: PUSH2 0x01e4
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x10d0ffdd
00000051: EQ
00000052: PUSH2 0x0274
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x18160ddd
0000005c: EQ
0000005d: PUSH2 0x02b5
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x22609373
00000067: EQ
00000068: PUSH2 0x02e0
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x27defa1f
00000072: EQ
00000073: PUSH2 0x0321
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x313ce567
0000007d: EQ
0000007e: PUSH2 0x0350
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x392efb52
00000088: EQ
00000089: PUSH2 0x0381
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x3ccfd60b
00000093: EQ
00000094: PUSH2 0x03ca
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x4b750334
0000009e: EQ
0000009f: PUSH2 0x03e1
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x56d399e8
000000a9: EQ
000000aa: PUSH2 0x040c
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x597fef79
000000b4: EQ
000000b5: PUSH2 0x0437
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x688abbf7
000000bf: EQ
000000c0: PUSH2 0x0462
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x6b2f4632
000000ca: EQ
000000cb: PUSH2 0x04a5
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x70a08231
000000d5: EQ
000000d6: PUSH2 0x04d0
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x8328b610
000000e0: EQ
000000e1: PUSH2 0x0527
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x83f12fec
000000eb: EQ
000000ec: PUSH2 0x0554
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x8620410b
000000f6: EQ
000000f7: PUSH2 0x05dc
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x89135ae9
00000101: EQ
00000102: PUSH2 0x0607
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x949e8acd
0000010c: EQ
0000010d: PUSH2 0x0644
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x95d89b41
00000117: EQ
00000118: PUSH2 0x066f
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xa8e04f34
00000122: EQ
00000123: PUSH2 0x06ff
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xa9059cbb
0000012d: EQ
0000012e: PUSH2 0x0716
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xb6ef4454
00000138: EQ
00000139: PUSH2 0x077b
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xb84c8246
00000143: EQ
00000144: PUSH2 0x0792
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xc47f0027
0000014e: EQ
0000014f: PUSH2 0x07fb
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xe4849b32
00000159: EQ
0000015a: PUSH2 0x0864
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xe9fad8ee
00000164: EQ
00000165: PUSH2 0x0891
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xf088d547
0000016f: EQ
00000170: PUSH2 0x08a8
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xfdb5a03e
0000017a: EQ
0000017b: PUSH2 0x08f2
0000017e: JUMPI
0000017f: JUMPDEST
00000180: PUSH2 0x018a
00000183: CALLVALUE
00000184: PUSH1 0x00
00000186: PUSH2 0x0909
00000189: JUMP
0000018a: JUMPDEST
0000018b: POP
0000018c: STOP
0000018d: JUMPDEST
0000018e: CALLVALUE
0000018f: DUP1
00000190: ISZERO
00000191: PUSH2 0x0199
00000194: JUMPI
00000195: PUSH1 0x00
00000197: DUP1
00000198: REVERT
00000199: JUMPDEST
0000019a: POP
0000019b: PUSH2 0x01ce
0000019e: PUSH1 0x04
000001a0: DUP1
000001a1: CALLDATASIZE
000001a2: SUB
000001a3: DUP2
000001a4: ADD
000001a5: SWAP1
000001a6: DUP1
000001a7: DUP1
000001a8: CALLDATALOAD
000001a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001be: AND
000001bf: SWAP1
000001c0: PUSH1 0x20
000001c2: ADD
000001c3: SWAP1
000001c4: SWAP3
000001c5: SWAP2
000001c6: SWAP1
000001c7: POP
000001c8: POP
000001c9: POP
000001ca: PUSH2 0x123d
000001cd: JUMP
000001ce: JUMPDEST
000001cf: PUSH1 0x40
000001d1: MLOAD
000001d2: DUP1
000001d3: DUP3
000001d4: DUP2
000001d5: MSTORE
000001d6: PUSH1 0x20
000001d8: ADD
000001d9: SWAP2
000001da: POP
000001db: POP
000001dc: PUSH1 0x40
000001de: MLOAD
000001df: DUP1
000001e0: SWAP2
000001e1: SUB
000001e2: SWAP1
000001e3: RETURN
000001e4: JUMPDEST
000001e5: CALLVALUE
000001e6: DUP1
000001e7: ISZERO
000001e8: PUSH2 0x01f0
000001eb: JUMPI
000001ec: PUSH1 0x00
000001ee: DUP1
000001ef: REVERT
000001f0: JUMPDEST
000001f1: POP
000001f2: PUSH2 0x01f9
000001f5: PUSH2 0x12df
000001f8: JUMP
000001f9: JUMPDEST
000001fa: PUSH1 0x40
000001fc: MLOAD
000001fd: DUP1
000001fe: DUP1
000001ff: PUSH1 0x20
00000201: ADD
00000202: DUP3
00000203: DUP2
00000204: SUB
00000205: DUP3
00000206: MSTORE
00000207: DUP4
00000208: DUP2
00000209: DUP2
0000020a: MLOAD
0000020b: DUP2
0000020c: MSTORE
0000020d: PUSH1 0x20
0000020f: ADD
00000210: SWAP2
00000211: POP
00000212: DUP1
00000213: MLOAD
00000214: SWAP1
00000215: PUSH1 0x20
00000217: ADD
00000218: SWAP1
00000219: DUP1
0000021a: DUP4
0000021b: DUP4
0000021c: PUSH1 0x00
0000021e: JUMPDEST
0000021f: DUP4
00000220: DUP2
00000221: LT
00000222: ISZERO
00000223: PUSH2 0x0239
00000226: JUMPI
00000227: DUP1
00000228: DUP3
00000229: ADD
0000022a: MLOAD
0000022b: DUP2
0000022c: DUP5
0000022d: ADD
0000022e: MSTORE
0000022f: PUSH1 0x20
00000231: DUP2
00000232: ADD
00000233: SWAP1
00000234: POP
00000235: PUSH2 0x021e
00000238: JUMP
00000239: JUMPDEST
0000023a: POP
0000023b: POP
0000023c: POP
0000023d: POP
0000023e: SWAP1
0000023f: POP
00000240: SWAP1
00000241: DUP2
00000242: ADD
00000243: SWAP1
00000244: PUSH1 0x1f
00000246: AND
00000247: DUP1
00000248: ISZERO
00000249: PUSH2 0x0266
0000024c: JUMPI
0000024d: DUP1
0000024e: DUP3
0000024f: SUB
00000250: DUP1
00000251: MLOAD
00000252: PUSH1 0x01
00000254: DUP4
00000255: PUSH1 0x20
00000257: SUB
00000258: PUSH2 0x0100
0000025b: EXP
0000025c: SUB
0000025d: NOT
0000025e: AND
0000025f: DUP2
00000260: MSTORE
00000261: PUSH1 0x20
00000263: ADD
00000264: SWAP2
00000265: POP
00000266: JUMPDEST
00000267: POP
00000268: SWAP3
00000269: POP
0000026a: POP
0000026b: POP
0000026c: PUSH1 0x40
0000026e: MLOAD
0000026f: DUP1
00000270: SWAP2
00000271: SUB
00000272: SWAP1
00000273: RETURN
00000274: JUMPDEST
00000275: CALLVALUE
00000276: DUP1
00000277: ISZERO
00000278: PUSH2 0x0280
0000027b: JUMPI
0000027c: PUSH1 0x00
0000027e: DUP1
0000027f: REVERT
00000280: JUMPDEST
00000281: POP
00000282: PUSH2 0x029f
00000285: PUSH1 0x04
00000287: DUP1
00000288: CALLDATASIZE
00000289: SUB
0000028a: DUP2
0000028b: ADD
0000028c: SWAP1
0000028d: DUP1
0000028e: DUP1
0000028f: CALLDATALOAD
00000290: SWAP1
00000291: PUSH1 0x20
00000293: ADD
00000294: SWAP1
00000295: SWAP3
00000296: SWAP2
00000297: SWAP1
00000298: POP
00000299: POP
0000029a: POP
0000029b: PUSH2 0x137d
0000029e: JUMP
0000029f: JUMPDEST
000002a0: PUSH1 0x40
000002a2: MLOAD
000002a3: DUP1
000002a4: DUP3
000002a5: DUP2
000002a6: MSTORE
000002a7: PUSH1 0x20
000002a9: ADD
000002aa: SWAP2
000002ab: POP
000002ac: POP
000002ad: PUSH1 0x40
000002af: MLOAD
000002b0: DUP1
000002b1: SWAP2
000002b2: SUB
000002b3: SWAP1
000002b4: RETURN
000002b5: JUMPDEST
000002b6: CALLVALUE
000002b7: DUP1
000002b8: ISZERO
000002b9: PUSH2 0x02c1
000002bc: JUMPI
000002bd: PUSH1 0x00
000002bf: DUP1
000002c0: REVERT
000002c1: JUMPDEST
000002c2: POP
000002c3: PUSH2 0x02ca
000002c6: PUSH2 0x13b5
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH1 0x40
000002cd: MLOAD
000002ce: DUP1
000002cf: DUP3
000002d0: DUP2
000002d1: MSTORE
000002d2: PUSH1 0x20
000002d4: ADD
000002d5: SWAP2
000002d6: POP
000002d7: POP
000002d8: PUSH1 0x40
000002da: MLOAD
000002db: DUP1
000002dc: SWAP2
000002dd: SUB
000002de: SWAP1
000002df: RETURN
000002e0: JUMPDEST
000002e1: CALLVALUE
000002e2: DUP1
000002e3: ISZERO
000002e4: PUSH2 0x02ec
000002e7: JUMPI
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: REVERT
000002ec: JUMPDEST
000002ed: POP
000002ee: PUSH2 0x030b
000002f1: PUSH1 0x04
000002f3: DUP1
000002f4: CALLDATASIZE
000002f5: SUB
000002f6: DUP2
000002f7: ADD
000002f8: SWAP1
000002f9: DUP1
000002fa: DUP1
000002fb: CALLDATALOAD
000002fc: SWAP1
000002fd: PUSH1 0x20
000002ff: ADD
00000300: SWAP1
00000301: SWAP3
00000302: SWAP2
00000303: SWAP1
00000304: POP
00000305: POP
00000306: POP
00000307: PUSH2 0x13bf
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH1 0x40
0000030e: MLOAD
0000030f: DUP1
00000310: DUP3
00000311: DUP2
00000312: MSTORE
00000313: PUSH1 0x20
00000315: ADD
00000316: SWAP2
00000317: POP
00000318: POP
00000319: PUSH1 0x40
0000031b: MLOAD
0000031c: DUP1
0000031d: SWAP2
0000031e: SUB
0000031f: SWAP1
00000320: RETURN
00000321: JUMPDEST
00000322: CALLVALUE
00000323: DUP1
00000324: ISZERO
00000325: PUSH2 0x032d
00000328: JUMPI
00000329: PUSH1 0x00
0000032b: DUP1
0000032c: REVERT
0000032d: JUMPDEST
0000032e: POP
0000032f: PUSH2 0x0336
00000332: PUSH2 0x1408
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH1 0x40
00000339: MLOAD
0000033a: DUP1
0000033b: DUP3
0000033c: ISZERO
0000033d: ISZERO
0000033e: ISZERO
0000033f: ISZERO
00000340: DUP2
00000341: MSTORE
00000342: PUSH1 0x20
00000344: ADD
00000345: SWAP2
00000346: POP
00000347: POP
00000348: PUSH1 0x40
0000034a: MLOAD
0000034b: DUP1
0000034c: SWAP2
0000034d: SUB
0000034e: SWAP1
0000034f: RETURN
00000350: JUMPDEST
00000351: CALLVALUE
00000352: DUP1
00000353: ISZERO
00000354: PUSH2 0x035c
00000357: JUMPI
00000358: PUSH1 0x00
0000035a: DUP1
0000035b: REVERT
0000035c: JUMPDEST
0000035d: POP
0000035e: PUSH2 0x0365
00000361: PUSH2 0x141b
00000364: JUMP
00000365: JUMPDEST
00000366: PUSH1 0x40
00000368: MLOAD
00000369: DUP1
0000036a: DUP3
0000036b: PUSH1 0xff
0000036d: AND
0000036e: PUSH1 0xff
00000370: AND
00000371: DUP2
00000372: MSTORE
00000373: PUSH1 0x20
00000375: ADD
00000376: SWAP2
00000377: POP
00000378: POP
00000379: PUSH1 0x40
0000037b: MLOAD
0000037c: DUP1
0000037d: SWAP2
0000037e: SUB
0000037f: SWAP1
00000380: RETURN
00000381: JUMPDEST
00000382: CALLVALUE
00000383: DUP1
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: POP
0000038f: PUSH2 0x03b0
00000392: PUSH1 0x04
00000394: DUP1
00000395: CALLDATASIZE
00000396: SUB
00000397: DUP2
00000398: ADD
00000399: SWAP1
0000039a: DUP1
0000039b: DUP1
0000039c: CALLDATALOAD
0000039d: PUSH1 0x00
0000039f: NOT
000003a0: AND
000003a1: SWAP1
000003a2: PUSH1 0x20
000003a4: ADD
000003a5: SWAP1
000003a6: SWAP3
000003a7: SWAP2
000003a8: SWAP1
000003a9: POP
000003aa: POP
000003ab: POP
000003ac: PUSH2 0x1420
000003af: JUMP
000003b0: JUMPDEST
000003b1: PUSH1 0x40
000003b3: MLOAD
000003b4: DUP1
000003b5: DUP3
000003b6: ISZERO
000003b7: ISZERO
000003b8: ISZERO
000003b9: ISZERO
000003ba: DUP2
000003bb: MSTORE
000003bc: PUSH1 0x20
000003be: ADD
000003bf: SWAP2
000003c0: POP
000003c1: POP
000003c2: PUSH1 0x40
000003c4: MLOAD
000003c5: DUP1
000003c6: SWAP2
000003c7: SUB
000003c8: SWAP1
000003c9: RETURN
000003ca: JUMPDEST
000003cb: CALLVALUE
000003cc: DUP1
000003cd: ISZERO
000003ce: PUSH2 0x03d6
000003d1: JUMPI
000003d2: PUSH1 0x00
000003d4: DUP1
000003d5: REVERT
000003d6: JUMPDEST
000003d7: POP
000003d8: PUSH2 0x03df
000003db: PUSH2 0x1440
000003de: JUMP
000003df: JUMPDEST
000003e0: STOP
000003e1: JUMPDEST
000003e2: CALLVALUE
000003e3: DUP1
000003e4: ISZERO
000003e5: PUSH2 0x03ed
000003e8: JUMPI
000003e9: PUSH1 0x00
000003eb: DUP1
000003ec: REVERT
000003ed: JUMPDEST
000003ee: POP
000003ef: PUSH2 0x03f6
000003f2: PUSH2 0x15e4
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH1 0x40
000003f9: MLOAD
000003fa: DUP1
000003fb: DUP3
000003fc: DUP2
000003fd: MSTORE
000003fe: PUSH1 0x20
00000400: ADD
00000401: SWAP2
00000402: POP
00000403: POP
00000404: PUSH1 0x40
00000406: MLOAD
00000407: DUP1
00000408: SWAP2
00000409: SUB
0000040a: SWAP1
0000040b: RETURN
0000040c: JUMPDEST
0000040d: CALLVALUE
0000040e: DUP1
0000040f: ISZERO
00000410: PUSH2 0x0418
00000413: JUMPI
00000414: PUSH1 0x00
00000416: DUP1
00000417: REVERT
00000418: JUMPDEST
00000419: POP
0000041a: PUSH2 0x0421
0000041d: PUSH2 0x1642
00000420: JUMP
00000421: JUMPDEST
00000422: PUSH1 0x40
00000424: MLOAD
00000425: DUP1
00000426: DUP3
00000427: DUP2
00000428: MSTORE
00000429: PUSH1 0x20
0000042b: ADD
0000042c: SWAP2
0000042d: POP
0000042e: POP
0000042f: PUSH1 0x40
00000431: MLOAD
00000432: DUP1
00000433: SWAP2
00000434: SUB
00000435: SWAP1
00000436: RETURN
00000437: JUMPDEST
00000438: CALLVALUE
00000439: DUP1
0000043a: ISZERO
0000043b: PUSH2 0x0443
0000043e: JUMPI
0000043f: PUSH1 0x00
00000441: DUP1
00000442: REVERT
00000443: JUMPDEST
00000444: POP
00000445: PUSH2 0x044c
00000448: PUSH2 0x1648
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: DUP1
00000451: DUP3
00000452: DUP2
00000453: MSTORE
00000454: PUSH1 0x20
00000456: ADD
00000457: SWAP2
00000458: POP
00000459: POP
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: SWAP2
0000045f: SUB
00000460: SWAP1
00000461: RETURN
00000462: JUMPDEST
00000463: CALLVALUE
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x046e
00000469: JUMPI
0000046a: PUSH1 0x00
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: PUSH2 0x048f
00000473: PUSH1 0x04
00000475: DUP1
00000476: CALLDATASIZE
00000477: SUB
00000478: DUP2
00000479: ADD
0000047a: SWAP1
0000047b: DUP1
0000047c: DUP1
0000047d: CALLDATALOAD
0000047e: ISZERO
0000047f: ISZERO
00000480: SWAP1
00000481: PUSH1 0x20
00000483: ADD
00000484: SWAP1
00000485: SWAP3
00000486: SWAP2
00000487: SWAP1
00000488: POP
00000489: POP
0000048a: POP
0000048b: PUSH2 0x164e
0000048e: JUMP
0000048f: JUMPDEST
00000490: PUSH1 0x40
00000492: MLOAD
00000493: DUP1
00000494: DUP3
00000495: DUP2
00000496: MSTORE
00000497: PUSH1 0x20
00000499: ADD
0000049a: SWAP2
0000049b: POP
0000049c: POP
0000049d: PUSH1 0x40
0000049f: MLOAD
000004a0: DUP1
000004a1: SWAP2
000004a2: SUB
000004a3: SWAP1
000004a4: RETURN
000004a5: JUMPDEST
000004a6: CALLVALUE
000004a7: DUP1
000004a8: ISZERO
000004a9: PUSH2 0x04b1
000004ac: JUMPI
000004ad: PUSH1 0x00
000004af: DUP1
000004b0: REVERT
000004b1: JUMPDEST
000004b2: POP
000004b3: PUSH2 0x04ba
000004b6: PUSH2 0x16ba
000004b9: JUMP
000004ba: JUMPDEST
000004bb: PUSH1 0x40
000004bd: MLOAD
000004be: DUP1
000004bf: DUP3
000004c0: DUP2
000004c1: MSTORE
000004c2: PUSH1 0x20
000004c4: ADD
000004c5: SWAP2
000004c6: POP
000004c7: POP
000004c8: PUSH1 0x40
000004ca: MLOAD
000004cb: DUP1
000004cc: SWAP2
000004cd: SUB
000004ce: SWAP1
000004cf: RETURN
000004d0: JUMPDEST
000004d1: CALLVALUE
000004d2: DUP1
000004d3: ISZERO
000004d4: PUSH2 0x04dc
000004d7: JUMPI
000004d8: PUSH1 0x00
000004da: DUP1
000004db: REVERT
000004dc: JUMPDEST
000004dd: POP
000004de: PUSH2 0x0511
000004e1: PUSH1 0x04
000004e3: DUP1
000004e4: CALLDATASIZE
000004e5: SUB
000004e6: DUP2
000004e7: ADD
000004e8: SWAP1
000004e9: DUP1
000004ea: DUP1
000004eb: CALLDATALOAD
000004ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000501: AND
00000502: SWAP1
00000503: PUSH1 0x20
00000505: ADD
00000506: SWAP1
00000507: SWAP3
00000508: SWAP2
00000509: SWAP1
0000050a: POP
0000050b: POP
0000050c: POP
0000050d: PUSH2 0x16d9
00000510: JUMP
00000511: JUMPDEST
00000512: PUSH1 0x40
00000514: MLOAD
00000515: DUP1
00000516: DUP3
00000517: DUP2
00000518: MSTORE
00000519: PUSH1 0x20
0000051b: ADD
0000051c: SWAP2
0000051d: POP
0000051e: POP
0000051f: PUSH1 0x40
00000521: MLOAD
00000522: DUP1
00000523: SWAP2
00000524: SUB
00000525: SWAP1
00000526: RETURN
00000527: JUMPDEST
00000528: CALLVALUE
00000529: DUP1
0000052a: ISZERO
0000052b: PUSH2 0x0533
0000052e: JUMPI
0000052f: PUSH1 0x00
00000531: DUP1
00000532: REVERT
00000533: JUMPDEST
00000534: POP
00000535: PUSH2 0x0552
00000538: PUSH1 0x04
0000053a: DUP1
0000053b: CALLDATASIZE
0000053c: SUB
0000053d: DUP2
0000053e: ADD
0000053f: SWAP1
00000540: DUP1
00000541: DUP1
00000542: CALLDATALOAD
00000543: SWAP1
00000544: PUSH1 0x20
00000546: ADD
00000547: SWAP1
00000548: SWAP3
00000549: SWAP2
0000054a: SWAP1
0000054b: POP
0000054c: POP
0000054d: POP
0000054e: PUSH2 0x1722
00000551: JUMP
00000552: JUMPDEST
00000553: STOP
00000554: JUMPDEST
00000555: CALLVALUE
00000556: DUP1
00000557: ISZERO
00000558: PUSH2 0x0560
0000055b: JUMPI
0000055c: PUSH1 0x00
0000055e: DUP1
0000055f: REVERT
00000560: JUMPDEST
00000561: POP
00000562: PUSH2 0x05c2
00000565: PUSH1 0x04
00000567: DUP1
00000568: CALLDATASIZE
00000569: SUB
0000056a: DUP2
0000056b: ADD
0000056c: SWAP1
0000056d: DUP1
0000056e: DUP1
0000056f: CALLDATALOAD
00000570: SWAP1
00000571: PUSH1 0x20
00000573: ADD
00000574: SWAP1
00000575: DUP3
00000576: ADD
00000577: DUP1
00000578: CALLDATALOAD
00000579: SWAP1
0000057a: PUSH1 0x20
0000057c: ADD
0000057d: SWAP1
0000057e: DUP1
0000057f: DUP1
00000580: PUSH1 0x20
00000582: MUL
00000583: PUSH1 0x20
00000585: ADD
00000586: PUSH1 0x40
00000588: MLOAD
00000589: SWAP1
0000058a: DUP2
0000058b: ADD
0000058c: PUSH1 0x40
0000058e: MSTORE
0000058f: DUP1
00000590: SWAP4
00000591: SWAP3
00000592: SWAP2
00000593: SWAP1
00000594: DUP2
00000595: DUP2
00000596: MSTORE
00000597: PUSH1 0x20
00000599: ADD
0000059a: DUP4
0000059b: DUP4
0000059c: PUSH1 0x20
0000059e: MUL
0000059f: DUP1
000005a0: DUP3
000005a1: DUP5
000005a2: CALLDATACOPY
000005a3: DUP3
000005a4: ADD
000005a5: SWAP2
000005a6: POP
000005a7: POP
000005a8: POP
000005a9: POP
000005aa: POP
000005ab: POP
000005ac: SWAP2
000005ad: SWAP3
000005ae: SWAP2
000005af: SWAP3
000005b0: SWAP1
000005b1: DUP1
000005b2: CALLDATALOAD
000005b3: SWAP1
000005b4: PUSH1 0x20
000005b6: ADD
000005b7: SWAP1
000005b8: SWAP3
000005b9: SWAP2
000005ba: SWAP1
000005bb: POP
000005bc: POP
000005bd: POP
000005be: PUSH2 0x17b6
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH1 0x40
000005c5: MLOAD
000005c6: DUP1
000005c7: DUP3
000005c8: ISZERO
000005c9: ISZERO
000005ca: ISZERO
000005cb: ISZERO
000005cc: DUP2
000005cd: MSTORE
000005ce: PUSH1 0x20
000005d0: ADD
000005d1: SWAP2
000005d2: POP
000005d3: POP
000005d4: PUSH1 0x40
000005d6: MLOAD
000005d7: DUP1
000005d8: SWAP2
000005d9: SUB
000005da: SWAP1
000005db: RETURN
000005dc: JUMPDEST
000005dd: CALLVALUE
000005de: DUP1
000005df: ISZERO
000005e0: PUSH2 0x05e8
000005e3: JUMPI
000005e4: PUSH1 0x00
000005e6: DUP1
000005e7: REVERT
000005e8: JUMPDEST
000005e9: POP
000005ea: PUSH2 0x05f1
000005ed: PUSH2 0x1bb8
000005f0: JUMP
000005f1: JUMPDEST
000005f2: PUSH1 0x40
000005f4: MLOAD
000005f5: DUP1
000005f6: DUP3
000005f7: DUP2
000005f8: MSTORE
000005f9: PUSH1 0x20
000005fb: ADD
000005fc: SWAP2
000005fd: POP
000005fe: POP
000005ff: PUSH1 0x40
00000601: MLOAD
00000602: DUP1
00000603: SWAP2
00000604: SUB
00000605: SWAP1
00000606: RETURN
00000607: JUMPDEST
00000608: CALLVALUE
00000609: DUP1
0000060a: ISZERO
0000060b: PUSH2 0x0613
0000060e: JUMPI
0000060f: PUSH1 0x00
00000611: DUP1
00000612: REVERT
00000613: JUMPDEST
00000614: POP
00000615: PUSH2 0x0642
00000618: PUSH1 0x04
0000061a: DUP1
0000061b: CALLDATASIZE
0000061c: SUB
0000061d: DUP2
0000061e: ADD
0000061f: SWAP1
00000620: DUP1
00000621: DUP1
00000622: CALLDATALOAD
00000623: PUSH1 0x00
00000625: NOT
00000626: AND
00000627: SWAP1
00000628: PUSH1 0x20
0000062a: ADD
0000062b: SWAP1
0000062c: SWAP3
0000062d: SWAP2
0000062e: SWAP1
0000062f: DUP1
00000630: CALLDATALOAD
00000631: ISZERO
00000632: ISZERO
00000633: SWAP1
00000634: PUSH1 0x20
00000636: ADD
00000637: SWAP1
00000638: SWAP3
00000639: SWAP2
0000063a: SWAP1
0000063b: POP
0000063c: POP
0000063d: POP
0000063e: PUSH2 0x1c16
00000641: JUMP
00000642: JUMPDEST
00000643: STOP
00000644: JUMPDEST
00000645: CALLVALUE
00000646: DUP1
00000647: ISZERO
00000648: PUSH2 0x0650
0000064b: JUMPI
0000064c: PUSH1 0x00
0000064e: DUP1
0000064f: REVERT
00000650: JUMPDEST
00000651: POP
00000652: PUSH2 0x0659
00000655: PUSH2 0x1cd7
00000658: JUMP
00000659: JUMPDEST
0000065a: PUSH1 0x40
0000065c: MLOAD
0000065d: DUP1
0000065e: DUP3
0000065f: DUP2
00000660: MSTORE
00000661: PUSH1 0x20
00000663: ADD
00000664: SWAP2
00000665: POP
00000666: POP
00000667: PUSH1 0x40
00000669: MLOAD
0000066a: DUP1
0000066b: SWAP2
0000066c: SUB
0000066d: SWAP1
0000066e: RETURN
0000066f: JUMPDEST
00000670: CALLVALUE
00000671: DUP1
00000672: ISZERO
00000673: PUSH2 0x067b
00000676: JUMPI
00000677: PUSH1 0x00
00000679: DUP1
0000067a: REVERT
0000067b: JUMPDEST
0000067c: POP
0000067d: PUSH2 0x0684
00000680: PUSH2 0x1cec
00000683: JUMP
00000684: JUMPDEST
00000685: PUSH1 0x40
00000687: MLOAD
00000688: DUP1
00000689: DUP1
0000068a: PUSH1 0x20
0000068c: ADD
0000068d: DUP3
0000068e: DUP2
0000068f: SUB
00000690: DUP3
00000691: MSTORE
00000692: DUP4
00000693: DUP2
00000694: DUP2
00000695: MLOAD
00000696: DUP2
00000697: MSTORE
00000698: PUSH1 0x20
0000069a: ADD
0000069b: SWAP2
0000069c: POP
0000069d: DUP1
0000069e: MLOAD
0000069f: SWAP1
000006a0: PUSH1 0x20
000006a2: ADD
000006a3: SWAP1
000006a4: DUP1
000006a5: DUP4
000006a6: DUP4
000006a7: PUSH1 0x00
000006a9: JUMPDEST
000006aa: DUP4
000006ab: DUP2
000006ac: LT
000006ad: ISZERO
000006ae: PUSH2 0x06c4
000006b1: JUMPI
000006b2: DUP1
000006b3: DUP3
000006b4: ADD
000006b5: MLOAD
000006b6: DUP2
000006b7: DUP5
000006b8: ADD
000006b9: MSTORE
000006ba: PUSH1 0x20
000006bc: DUP2
000006bd: ADD
000006be: SWAP1
000006bf: POP
000006c0: PUSH2 0x06a9
000006c3: JUMP
000006c4: JUMPDEST
000006c5: POP
000006c6: POP
000006c7: POP
000006c8: POP
000006c9: SWAP1
000006ca: POP
000006cb: SWAP1
000006cc: DUP2
000006cd: ADD
000006ce: SWAP1
000006cf: PUSH1 0x1f
000006d1: AND
000006d2: DUP1
000006d3: ISZERO
000006d4: PUSH2 0x06f1
000006d7: JUMPI
000006d8: DUP1
000006d9: DUP3
000006da: SUB
000006db: DUP1
000006dc: MLOAD
000006dd: PUSH1 0x01
000006df: DUP4
000006e0: PUSH1 0x20
000006e2: SUB
000006e3: PUSH2 0x0100
000006e6: EXP
000006e7: SUB
000006e8: NOT
000006e9: AND
000006ea: DUP2
000006eb: MSTORE
000006ec: PUSH1 0x20
000006ee: ADD
000006ef: SWAP2
000006f0: POP
000006f1: JUMPDEST
000006f2: POP
000006f3: SWAP3
000006f4: POP
000006f5: POP
000006f6: POP
000006f7: PUSH1 0x40
000006f9: MLOAD
000006fa: DUP1
000006fb: SWAP2
000006fc: SUB
000006fd: SWAP1
000006fe: RETURN
000006ff: JUMPDEST
00000700: CALLVALUE
00000701: DUP1
00000702: ISZERO
00000703: PUSH2 0x070b
00000706: JUMPI
00000707: PUSH1 0x00
00000709: DUP1
0000070a: REVERT
0000070b: JUMPDEST
0000070c: POP
0000070d: PUSH2 0x0714
00000710: PUSH2 0x1d8a
00000713: JUMP
00000714: JUMPDEST
00000715: STOP
00000716: JUMPDEST
00000717: CALLVALUE
00000718: DUP1
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: PUSH2 0x0761
00000727: PUSH1 0x04
00000729: DUP1
0000072a: CALLDATASIZE
0000072b: SUB
0000072c: DUP2
0000072d: ADD
0000072e: SWAP1
0000072f: DUP1
00000730: DUP1
00000731: CALLDATALOAD
00000732: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000747: AND
00000748: SWAP1
00000749: PUSH1 0x20
0000074b: ADD
0000074c: SWAP1
0000074d: SWAP3
0000074e: SWAP2
0000074f: SWAP1
00000750: DUP1
00000751: CALLDATALOAD
00000752: SWAP1
00000753: PUSH1 0x20
00000755: ADD
00000756: SWAP1
00000757: SWAP3
00000758: SWAP2
00000759: SWAP1
0000075a: POP
0000075b: POP
0000075c: POP
0000075d: PUSH2 0x1e31
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH1 0x40
00000764: MLOAD
00000765: DUP1
00000766: DUP3
00000767: ISZERO
00000768: ISZERO
00000769: ISZERO
0000076a: ISZERO
0000076b: DUP2
0000076c: MSTORE
0000076d: PUSH1 0x20
0000076f: ADD
00000770: SWAP2
00000771: POP
00000772: POP
00000773: PUSH1 0x40
00000775: MLOAD
00000776: DUP1
00000777: SWAP2
00000778: SUB
00000779: SWAP1
0000077a: RETURN
0000077b: JUMPDEST
0000077c: CALLVALUE
0000077d: DUP1
0000077e: ISZERO
0000077f: PUSH2 0x0787
00000782: JUMPI
00000783: PUSH1 0x00
00000785: DUP1
00000786: REVERT
00000787: JUMPDEST
00000788: POP
00000789: PUSH2 0x0790
0000078c: PUSH2 0x2196
0000078f: JUMP
00000790: JUMPDEST
00000791: STOP
00000792: JUMPDEST
00000793: CALLVALUE
00000794: DUP1
00000795: ISZERO
00000796: PUSH2 0x079e
00000799: JUMPI
0000079a: PUSH1 0x00
0000079c: DUP1
0000079d: REVERT
0000079e: JUMPDEST
0000079f: POP
000007a0: PUSH2 0x07f9
000007a3: PUSH1 0x04
000007a5: DUP1
000007a6: CALLDATASIZE
000007a7: SUB
000007a8: DUP2
000007a9: ADD
000007aa: SWAP1
000007ab: DUP1
000007ac: DUP1
000007ad: CALLDATALOAD
000007ae: SWAP1
000007af: PUSH1 0x20
000007b1: ADD
000007b2: SWAP1
000007b3: DUP3
000007b4: ADD
000007b5: DUP1
000007b6: CALLDATALOAD
000007b7: SWAP1
000007b8: PUSH1 0x20
000007ba: ADD
000007bb: SWAP1
000007bc: DUP1
000007bd: DUP1
000007be: PUSH1 0x1f
000007c0: ADD
000007c1: PUSH1 0x20
000007c3: DUP1
000007c4: SWAP2
000007c5: DIV
000007c6: MUL
000007c7: PUSH1 0x20
000007c9: ADD
000007ca: PUSH1 0x40
000007cc: MLOAD
000007cd: SWAP1
000007ce: DUP2
000007cf: ADD
000007d0: PUSH1 0x40
000007d2: MSTORE
000007d3: DUP1
000007d4: SWAP4
000007d5: SWAP3
000007d6: SWAP2
000007d7: SWAP1
000007d8: DUP2
000007d9: DUP2
000007da: MSTORE
000007db: PUSH1 0x20
000007dd: ADD
000007de: DUP4
000007df: DUP4
000007e0: DUP1
000007e1: DUP3
000007e2: DUP5
000007e3: CALLDATACOPY
000007e4: DUP3
000007e5: ADD
000007e6: SWAP2
000007e7: POP
000007e8: POP
000007e9: POP
000007ea: POP
000007eb: POP
000007ec: POP
000007ed: SWAP2
000007ee: SWAP3
000007ef: SWAP2
000007f0: SWAP3
000007f1: SWAP1
000007f2: POP
000007f3: POP
000007f4: POP
000007f5: PUSH2 0x22f1
000007f8: JUMP
000007f9: JUMPDEST
000007fa: STOP
000007fb: JUMPDEST
000007fc: CALLVALUE
000007fd: DUP1
000007fe: ISZERO
000007ff: PUSH2 0x0807
00000802: JUMPI
00000803: PUSH1 0x00
00000805: DUP1
00000806: REVERT
00000807: JUMPDEST
00000808: POP
00000809: PUSH2 0x0862
0000080c: PUSH1 0x04
0000080e: DUP1
0000080f: CALLDATASIZE
00000810: SUB
00000811: DUP2
00000812: ADD
00000813: SWAP1
00000814: DUP1
00000815: DUP1
00000816: CALLDATALOAD
00000817: SWAP1
00000818: PUSH1 0x20
0000081a: ADD
0000081b: SWAP1
0000081c: DUP3
0000081d: ADD
0000081e: DUP1
0000081f: CALLDATALOAD
00000820: SWAP1
00000821: PUSH1 0x20
00000823: ADD
00000824: SWAP1
00000825: DUP1
00000826: DUP1
00000827: PUSH1 0x1f
00000829: ADD
0000082a: PUSH1 0x20
0000082c: DUP1
0000082d: SWAP2
0000082e: DIV
0000082f: MUL
00000830: PUSH1 0x20
00000832: ADD
00000833: PUSH1 0x40
00000835: MLOAD
00000836: SWAP1
00000837: DUP2
00000838: ADD
00000839: PUSH1 0x40
0000083b: MSTORE
0000083c: DUP1
0000083d: SWAP4
0000083e: SWAP3
0000083f: SWAP2
00000840: SWAP1
00000841: DUP2
00000842: DUP2
00000843: MSTORE
00000844: PUSH1 0x20
00000846: ADD
00000847: DUP4
00000848: DUP4
00000849: DUP1
0000084a: DUP3
0000084b: DUP5
0000084c: CALLDATACOPY
0000084d: DUP3
0000084e: ADD
0000084f: SWAP2
00000850: POP
00000851: POP
00000852: POP
00000853: POP
00000854: POP
00000855: POP
00000856: SWAP2
00000857: SWAP3
00000858: SWAP2
00000859: SWAP3
0000085a: SWAP1
0000085b: POP
0000085c: POP
0000085d: POP
0000085e: PUSH2 0x2395
00000861: JUMP
00000862: JUMPDEST
00000863: STOP
00000864: JUMPDEST
00000865: CALLVALUE
00000866: DUP1
00000867: ISZERO
00000868: PUSH2 0x0870
0000086b: JUMPI
0000086c: PUSH1 0x00
0000086e: DUP1
0000086f: REVERT
00000870: JUMPDEST
00000871: POP
00000872: PUSH2 0x088f
00000875: PUSH1 0x04
00000877: DUP1
00000878: CALLDATASIZE
00000879: SUB
0000087a: DUP2
0000087b: ADD
0000087c: SWAP1
0000087d: DUP1
0000087e: DUP1
0000087f: CALLDATALOAD
00000880: SWAP1
00000881: PUSH1 0x20
00000883: ADD
00000884: SWAP1
00000885: SWAP3
00000886: SWAP2
00000887: SWAP1
00000888: POP
00000889: POP
0000088a: POP
0000088b: PUSH2 0x2439
0000088e: JUMP
0000088f: JUMPDEST
00000890: STOP
00000891: JUMPDEST
00000892: CALLVALUE
00000893: DUP1
00000894: ISZERO
00000895: PUSH2 0x089d
00000898: JUMPI
00000899: PUSH1 0x00
0000089b: DUP1
0000089c: REVERT
0000089d: JUMPDEST
0000089e: POP
0000089f: PUSH2 0x08a6
000008a2: PUSH2 0x269a
000008a5: JUMP
000008a6: JUMPDEST
000008a7: STOP
000008a8: JUMPDEST
000008a9: PUSH2 0x08dc
000008ac: PUSH1 0x04
000008ae: DUP1
000008af: CALLDATASIZE
000008b0: SUB
000008b1: DUP2
000008b2: ADD
000008b3: SWAP1
000008b4: DUP1
000008b5: DUP1
000008b6: CALLDATALOAD
000008b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cc: AND
000008cd: SWAP1
000008ce: PUSH1 0x20
000008d0: ADD
000008d1: SWAP1
000008d2: SWAP3
000008d3: SWAP2
000008d4: SWAP1
000008d5: POP
000008d6: POP
000008d7: POP
000008d8: PUSH2 0x2701
000008db: JUMP
000008dc: JUMPDEST
000008dd: PUSH1 0x40
000008df: MLOAD
000008e0: DUP1
000008e1: DUP3
000008e2: DUP2
000008e3: MSTORE
000008e4: PUSH1 0x20
000008e6: ADD
000008e7: SWAP2
000008e8: POP
000008e9: POP
000008ea: PUSH1 0x40
000008ec: MLOAD
000008ed: DUP1
000008ee: SWAP2
000008ef: SUB
000008f0: SWAP1
000008f1: RETURN
000008f2: JUMPDEST
000008f3: CALLVALUE
000008f4: DUP1
000008f5: ISZERO
000008f6: PUSH2 0x08fe
000008f9: JUMPI
000008fa: PUSH1 0x00
000008fc: DUP1
000008fd: REVERT
000008fe: JUMPDEST
000008ff: POP
00000900: PUSH2 0x0907
00000903: PUSH2 0x2713
00000906: JUMP
00000907: JUMPDEST
00000908: STOP
00000909: JUMPDEST
0000090a: PUSH1 0x00
0000090c: DUP1
0000090d: PUSH1 0x00
0000090f: DUP1
00000910: PUSH1 0x00
00000912: DUP1
00000913: PUSH1 0x00
00000915: DUP1
00000916: PUSH1 0x00
00000918: DUP11
00000919: PUSH1 0x00
0000091b: CALLER
0000091c: SWAP1
0000091d: POP
0000091e: PUSH1 0x0c
00000920: PUSH1 0x00
00000922: SWAP1
00000923: SLOAD
00000924: SWAP1
00000925: PUSH2 0x0100
00000928: EXP
00000929: SWAP1
0000092a: DIV
0000092b: PUSH1 0xff
0000092d: AND
0000092e: DUP1
0000092f: ISZERO
00000930: PUSH2 0x094b
00000933: JUMPI
00000934: POP
00000935: PUSH9 0x01158e460913d00000
0000093f: DUP3
00000940: PUSH2 0x0947
00000943: PUSH2 0x16ba
00000946: JUMP
00000947: JUMPDEST
00000948: SUB
00000949: GT
0000094a: ISZERO
0000094b: JUMPDEST
0000094c: ISZERO
0000094d: PUSH2 0x0e53
00000950: JUMPI
00000951: PUSH1 0x01
00000953: ISZERO
00000954: ISZERO
00000955: PUSH1 0x03
00000957: PUSH1 0x00
00000959: DUP4
0000095a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096f: AND
00000970: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000985: AND
00000986: DUP2
00000987: MSTORE
00000988: PUSH1 0x20
0000098a: ADD
0000098b: SWAP1
0000098c: DUP2
0000098d: MSTORE
0000098e: PUSH1 0x20
00000990: ADD
00000991: PUSH1 0x00
00000993: KECCAK256
00000994: PUSH1 0x00
00000996: SWAP1
00000997: SLOAD
00000998: SWAP1
00000999: PUSH2 0x0100
0000099c: EXP
0000099d: SWAP1
0000099e: DIV
0000099f: PUSH1 0xff
000009a1: AND
000009a2: ISZERO
000009a3: ISZERO
000009a4: EQ
000009a5: DUP1
000009a6: ISZERO
000009a7: PUSH2 0x09f9
000009aa: JUMPI
000009ab: POP
000009ac: PUSH8 0x0de0b6b3a7640000
000009b5: DUP3
000009b6: PUSH1 0x08
000009b8: PUSH1 0x00
000009ba: DUP5
000009bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d0: AND
000009d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e6: AND
000009e7: DUP2
000009e8: MSTORE
000009e9: PUSH1 0x20
000009eb: ADD
000009ec: SWAP1
000009ed: DUP2
000009ee: MSTORE
000009ef: PUSH1 0x20
000009f1: ADD
000009f2: PUSH1 0x00
000009f4: KECCAK256
000009f5: SLOAD
000009f6: ADD
000009f7: GT
000009f8: ISZERO
000009f9: JUMPDEST
000009fa: ISZERO
000009fb: ISZERO
000009fc: PUSH2 0x0a04
000009ff: JUMPI
00000a00: PUSH1 0x00
00000a02: DUP1
00000a03: REVERT
00000a04: JUMPDEST
00000a05: PUSH2 0x0a4d
00000a08: PUSH1 0x08
00000a0a: PUSH1 0x00
00000a0c: DUP4
00000a0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a22: AND
00000a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a38: AND
00000a39: DUP2
00000a3a: MSTORE
00000a3b: PUSH1 0x20
00000a3d: ADD
00000a3e: SWAP1
00000a3f: DUP2
00000a40: MSTORE
00000a41: PUSH1 0x20
00000a43: ADD
00000a44: PUSH1 0x00
00000a46: KECCAK256
00000a47: SLOAD
00000a48: DUP4
00000a49: PUSH2 0x2887
00000a4c: JUMP
00000a4d: JUMPDEST
00000a4e: PUSH1 0x08
00000a50: PUSH1 0x00
00000a52: DUP4
00000a53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a68: AND
00000a69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a7e: AND
00000a7f: DUP2
00000a80: MSTORE
00000a81: PUSH1 0x20
00000a83: ADD
00000a84: SWAP1
00000a85: DUP2
00000a86: MSTORE
00000a87: PUSH1 0x20
00000a89: ADD
00000a8a: PUSH1 0x00
00000a8c: KECCAK256
00000a8d: DUP2
00000a8e: SWAP1
00000a8f: SSTORE
00000a90: POP
00000a91: PUSH2 0x0a9e
00000a94: DUP14
00000a95: PUSH1 0x05
00000a97: PUSH1 0xff
00000a99: AND
00000a9a: PUSH2 0x28a5
00000a9d: JUMP
00000a9e: JUMPDEST
00000a9f: SWAP10
00000aa0: POP
00000aa1: PUSH2 0x0aae
00000aa4: DUP11
00000aa5: PUSH1 0x02
00000aa7: PUSH1 0xff
00000aa9: AND
00000aaa: PUSH2 0x28a5
00000aad: JUMP
00000aae: JUMPDEST
00000aaf: SWAP9
00000ab0: POP
00000ab1: PUSH2 0x0aba
00000ab4: DUP11
00000ab5: DUP11
00000ab6: PUSH2 0x28c0
00000ab9: JUMP
00000aba: JUMPDEST
00000abb: SWAP8
00000abc: POP
00000abd: PUSH2 0x0ac6
00000ac0: DUP14
00000ac1: DUP12
00000ac2: PUSH2 0x28c0
00000ac5: JUMP
00000ac6: JUMPDEST
00000ac7: SWAP7
00000ac8: POP
00000ac9: PUSH2 0x0ad1
00000acc: DUP8
00000acd: PUSH2 0x28d9
00000ad0: JUMP
00000ad1: JUMPDEST
00000ad2: SWAP6
00000ad3: POP
00000ad4: PUSH9 0x010000000000000000
00000ade: DUP9
00000adf: MUL
00000ae0: SWAP5
00000ae1: POP
00000ae2: PUSH1 0x00
00000ae4: DUP7
00000ae5: GT
00000ae6: DUP1
00000ae7: ISZERO
00000ae8: PUSH2 0x0afd
00000aeb: JUMPI
00000aec: POP
00000aed: PUSH1 0x09
00000aef: SLOAD
00000af0: PUSH2 0x0afb
00000af3: DUP8
00000af4: PUSH1 0x09
00000af6: SLOAD
00000af7: PUSH2 0x2887
00000afa: JUMP
00000afb: JUMPDEST
00000afc: GT
00000afd: JUMPDEST
00000afe: ISZERO
00000aff: ISZERO
00000b00: PUSH2 0x0b08
00000b03: JUMPI
00000b04: PUSH1 0x00
00000b06: DUP1
00000b07: REVERT
00000b08: JUMPDEST
00000b09: PUSH2 0x0b14
00000b0c: PUSH1 0x06
00000b0e: SLOAD
00000b0f: DUP11
00000b10: PUSH2 0x2887
00000b13: JUMP
00000b14: JUMPDEST
00000b15: PUSH1 0x06
00000b17: DUP2
00000b18: SWAP1
00000b19: SSTORE
00000b1a: POP
00000b1b: PUSH1 0x00
00000b1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b32: AND
00000b33: DUP13
00000b34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b49: AND
00000b4a: EQ
00000b4b: ISZERO
00000b4c: DUP1
00000b4d: ISZERO
00000b4e: PUSH2 0x0b83
00000b51: JUMPI
00000b52: POP
00000b53: CALLER
00000b54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b69: AND
00000b6a: DUP13
00000b6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b80: AND
00000b81: EQ
00000b82: ISZERO
00000b83: JUMPDEST
00000b84: DUP1
00000b85: ISZERO
00000b86: PUSH2 0x0bd0
00000b89: JUMPI
00000b8a: POP
00000b8b: PUSH1 0x02
00000b8d: SLOAD
00000b8e: PUSH1 0x04
00000b90: PUSH1 0x00
00000b92: DUP15
00000b93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba8: AND
00000ba9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bbe: AND
00000bbf: DUP2
00000bc0: MSTORE
00000bc1: PUSH1 0x20
00000bc3: ADD
00000bc4: SWAP1
00000bc5: DUP2
00000bc6: MSTORE
00000bc7: PUSH1 0x20
00000bc9: ADD
00000bca: PUSH1 0x00
00000bcc: KECCAK256
00000bcd: SLOAD
00000bce: LT
00000bcf: ISZERO
00000bd0: JUMPDEST
00000bd1: ISZERO
00000bd2: PUSH2 0x0c89
00000bd5: JUMPI
00000bd6: PUSH2 0x0be0
00000bd9: DUP9
00000bda: PUSH1 0x03
00000bdc: PUSH2 0x28a5
00000bdf: JUMP
00000be0: JUMPDEST
00000be1: SWAP4
00000be2: POP
00000be3: PUSH2 0x0bec
00000be6: DUP9
00000be7: DUP6
00000be8: PUSH2 0x28c0
00000beb: JUMP
00000bec: JUMPDEST
00000bed: SWAP8
00000bee: POP
00000bef: PUSH9 0x010000000000000000
00000bf9: DUP9
00000bfa: MUL
00000bfb: SWAP5
00000bfc: POP
00000bfd: PUSH2 0x0c45
00000c00: PUSH1 0x05
00000c02: PUSH1 0x00
00000c04: DUP15
00000c05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1a: AND
00000c1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c30: AND
00000c31: DUP2
00000c32: MSTORE
00000c33: PUSH1 0x20
00000c35: ADD
00000c36: SWAP1
00000c37: DUP2
00000c38: MSTORE
00000c39: PUSH1 0x20
00000c3b: ADD
00000c3c: PUSH1 0x00
00000c3e: KECCAK256
00000c3f: SLOAD
00000c40: DUP6
00000c41: PUSH2 0x2887
00000c44: JUMP
00000c45: JUMPDEST
00000c46: PUSH1 0x05
00000c48: PUSH1 0x00
00000c4a: DUP15
00000c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c60: AND
00000c61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c76: AND
00000c77: DUP2
00000c78: MSTORE
00000c79: PUSH1 0x20
00000c7b: ADD
00000c7c: SWAP1
00000c7d: DUP2
00000c7e: MSTORE
00000c7f: PUSH1 0x20
00000c81: ADD
00000c82: PUSH1 0x00
00000c84: KECCAK256
00000c85: DUP2
00000c86: SWAP1
00000c87: SSTORE
00000c88: POP
00000c89: JUMPDEST
00000c8a: PUSH1 0x00
00000c8c: PUSH1 0x09
00000c8e: SLOAD
00000c8f: GT
00000c90: ISZERO
00000c91: PUSH2 0x0cf4
00000c94: JUMPI
00000c95: PUSH2 0x0ca0
00000c98: PUSH1 0x09
00000c9a: SLOAD
00000c9b: DUP8
00000c9c: PUSH2 0x2887
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: PUSH1 0x09
00000ca3: DUP2
00000ca4: SWAP1
00000ca5: SSTORE
00000ca6: POP
00000ca7: PUSH1 0x09
00000ca9: SLOAD
00000caa: PUSH9 0x010000000000000000
00000cb4: DUP10
00000cb5: MUL
00000cb6: DUP2
00000cb7: ISZERO
00000cb8: ISZERO
00000cb9: PUSH2 0x0cbe
00000cbc: JUMPI
00000cbd: INVALID
00000cbe: JUMPDEST
00000cbf: DIV
00000cc0: PUSH1 0x0a
00000cc2: PUSH1 0x00
00000cc4: DUP3
00000cc5: DUP3
00000cc6: SLOAD
00000cc7: ADD
00000cc8: SWAP3
00000cc9: POP
00000cca: POP
00000ccb: DUP2
00000ccc: SWAP1
00000ccd: SSTORE
00000cce: POP
00000ccf: PUSH1 0x09
00000cd1: SLOAD
00000cd2: PUSH9 0x010000000000000000
00000cdc: DUP10
00000cdd: MUL
00000cde: DUP2
00000cdf: ISZERO
00000ce0: ISZERO
00000ce1: PUSH2 0x0ce6
00000ce4: JUMPI
00000ce5: INVALID
00000ce6: JUMPDEST
00000ce7: DIV
00000ce8: DUP7
00000ce9: MUL
00000cea: DUP6
00000ceb: SUB
00000cec: DUP6
00000ced: SUB
00000cee: SWAP5
00000cef: POP
00000cf0: PUSH2 0x0cfc
00000cf3: JUMP
00000cf4: JUMPDEST
00000cf5: DUP6
00000cf6: PUSH1 0x09
00000cf8: DUP2
00000cf9: SWAP1
00000cfa: SSTORE
00000cfb: POP
00000cfc: JUMPDEST
00000cfd: PUSH2 0x0d45
00000d00: PUSH1 0x04
00000d02: PUSH1 0x00
00000d04: CALLER
00000d05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d1a: AND
00000d1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d30: AND
00000d31: DUP2
00000d32: MSTORE
00000d33: PUSH1 0x20
00000d35: ADD
00000d36: SWAP1
00000d37: DUP2
00000d38: MSTORE
00000d39: PUSH1 0x20
00000d3b: ADD
00000d3c: PUSH1 0x00
00000d3e: KECCAK256
00000d3f: SLOAD
00000d40: DUP8
00000d41: PUSH2 0x2887
00000d44: JUMP
00000d45: JUMPDEST
00000d46: PUSH1 0x04
00000d48: PUSH1 0x00
00000d4a: CALLER
00000d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d60: AND
00000d61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d76: AND
00000d77: DUP2
00000d78: MSTORE
00000d79: PUSH1 0x20
00000d7b: ADD
00000d7c: SWAP1
00000d7d: DUP2
00000d7e: MSTORE
00000d7f: PUSH1 0x20
00000d81: ADD
00000d82: PUSH1 0x00
00000d84: KECCAK256
00000d85: DUP2
00000d86: SWAP1
00000d87: SSTORE
00000d88: POP
00000d89: DUP5
00000d8a: DUP7
00000d8b: PUSH1 0x0a
00000d8d: SLOAD
00000d8e: MUL
00000d8f: SUB
00000d90: SWAP3
00000d91: POP
00000d92: DUP3
00000d93: PUSH1 0x07
00000d95: PUSH1 0x00
00000d97: CALLER
00000d98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dad: AND
00000dae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc3: AND
00000dc4: DUP2
00000dc5: MSTORE
00000dc6: PUSH1 0x20
00000dc8: ADD
00000dc9: SWAP1
00000dca: DUP2
00000dcb: MSTORE
00000dcc: PUSH1 0x20
00000dce: ADD
00000dcf: PUSH1 0x00
00000dd1: KECCAK256
00000dd2: PUSH1 0x00
00000dd4: DUP3
00000dd5: DUP3
00000dd6: SLOAD
00000dd7: ADD
00000dd8: SWAP3
00000dd9: POP
00000dda: POP
00000ddb: DUP2
00000ddc: SWAP1
00000ddd: SSTORE
00000dde: POP
00000ddf: DUP12
00000de0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df5: AND
00000df6: CALLER
00000df7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0c: AND
00000e0d: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00000e2e: DUP16
00000e2f: DUP10
00000e30: PUSH1 0x40
00000e32: MLOAD
00000e33: DUP1
00000e34: DUP4
00000e35: DUP2
00000e36: MSTORE
00000e37: PUSH1 0x20
00000e39: ADD
00000e3a: DUP3
00000e3b: DUP2
00000e3c: MSTORE
00000e3d: PUSH1 0x20
00000e3f: ADD
00000e40: SWAP3
00000e41: POP
00000e42: POP
00000e43: POP
00000e44: PUSH1 0x40
00000e46: MLOAD
00000e47: DUP1
00000e48: SWAP2
00000e49: SUB
00000e4a: SWAP1
00000e4b: LOG3
00000e4c: DUP6
00000e4d: SWAP11
00000e4e: POP
00000e4f: PUSH2 0x122d
00000e52: JUMP
00000e53: JUMPDEST
00000e54: PUSH1 0x00
00000e56: PUSH1 0x0c
00000e58: PUSH1 0x00
00000e5a: PUSH2 0x0100
00000e5d: EXP
00000e5e: DUP2
00000e5f: SLOAD
00000e60: DUP2
00000e61: PUSH1 0xff
00000e63: MUL
00000e64: NOT
00000e65: AND
00000e66: SWAP1
00000e67: DUP4
00000e68: ISZERO
00000e69: ISZERO
00000e6a: MUL
00000e6b: OR
00000e6c: SWAP1
00000e6d: SSTORE
00000e6e: POP
00000e6f: PUSH2 0x0e7c
00000e72: DUP14
00000e73: PUSH1 0x05
00000e75: PUSH1 0xff
00000e77: AND
00000e78: PUSH2 0x28a5
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: SWAP10
00000e7e: POP
00000e7f: PUSH2 0x0e8c
00000e82: DUP11
00000e83: PUSH1 0x02
00000e85: PUSH1 0xff
00000e87: AND
00000e88: PUSH2 0x28a5
00000e8b: JUMP
00000e8c: JUMPDEST
00000e8d: SWAP9
00000e8e: POP
00000e8f: PUSH2 0x0e98
00000e92: DUP11
00000e93: DUP11
00000e94: PUSH2 0x28c0
00000e97: JUMP
00000e98: JUMPDEST
00000e99: SWAP8
00000e9a: POP
00000e9b: PUSH2 0x0ea4
00000e9e: DUP14
00000e9f: DUP12
00000ea0: PUSH2 0x28c0
00000ea3: JUMP
00000ea4: JUMPDEST
00000ea5: SWAP7
00000ea6: POP
00000ea7: PUSH2 0x0eaf
00000eaa: DUP8
00000eab: PUSH2 0x28d9
00000eae: JUMP
00000eaf: JUMPDEST
00000eb0: SWAP6
00000eb1: POP
00000eb2: PUSH9 0x010000000000000000
00000ebc: DUP9
00000ebd: MUL
00000ebe: SWAP5
00000ebf: POP
00000ec0: PUSH1 0x00
00000ec2: DUP7
00000ec3: GT
00000ec4: DUP1
00000ec5: ISZERO
00000ec6: PUSH2 0x0edb
00000ec9: JUMPI
00000eca: POP
00000ecb: PUSH1 0x09
00000ecd: SLOAD
00000ece: PUSH2 0x0ed9
00000ed1: DUP8
00000ed2: PUSH1 0x09
00000ed4: SLOAD
00000ed5: PUSH2 0x2887
00000ed8: JUMP
00000ed9: JUMPDEST
00000eda: GT
00000edb: JUMPDEST
00000edc: ISZERO
00000edd: ISZERO
00000ede: PUSH2 0x0ee6
00000ee1: JUMPI
00000ee2: PUSH1 0x00
00000ee4: DUP1
00000ee5: REVERT
00000ee6: JUMPDEST
00000ee7: PUSH2 0x0ef2
00000eea: PUSH1 0x06
00000eec: SLOAD
00000eed: DUP11
00000eee: PUSH2 0x2887
00000ef1: JUMP
00000ef2: JUMPDEST
00000ef3: PUSH1 0x06
00000ef5: DUP2
00000ef6: SWAP1
00000ef7: SSTORE
00000ef8: POP
00000ef9: PUSH1 0x00
00000efb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f10: AND
00000f11: DUP13
00000f12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f27: AND
00000f28: EQ
00000f29: ISZERO
00000f2a: DUP1
00000f2b: ISZERO
00000f2c: PUSH2 0x0f61
00000f2f: JUMPI
00000f30: POP
00000f31: CALLER
00000f32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f47: AND
00000f48: DUP13
00000f49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f5e: AND
00000f5f: EQ
00000f60: ISZERO
00000f61: JUMPDEST
00000f62: DUP1
00000f63: ISZERO
00000f64: PUSH2 0x0fae
00000f67: JUMPI
00000f68: POP
00000f69: PUSH1 0x02
00000f6b: SLOAD
00000f6c: PUSH1 0x04
00000f6e: PUSH1 0x00
00000f70: DUP15
00000f71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f86: AND
00000f87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f9c: AND
00000f9d: DUP2
00000f9e: MSTORE
00000f9f: PUSH1 0x20
00000fa1: ADD
00000fa2: SWAP1
00000fa3: DUP2
00000fa4: MSTORE
00000fa5: PUSH1 0x20
00000fa7: ADD
00000fa8: PUSH1 0x00
00000faa: KECCAK256
00000fab: SLOAD
00000fac: LT
00000fad: ISZERO
00000fae: JUMPDEST
00000faf: ISZERO
00000fb0: PUSH2 0x1067
00000fb3: JUMPI
00000fb4: PUSH2 0x0fbe
00000fb7: DUP9
00000fb8: PUSH1 0x03
00000fba: PUSH2 0x28a5
00000fbd: JUMP
00000fbe: JUMPDEST
00000fbf: SWAP4
00000fc0: POP
00000fc1: PUSH2 0x0fca
00000fc4: DUP9
00000fc5: DUP6
00000fc6: PUSH2 0x28c0
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: SWAP8
00000fcc: POP
00000fcd: PUSH9 0x010000000000000000
00000fd7: DUP9
00000fd8: MUL
00000fd9: SWAP5
00000fda: POP
00000fdb: PUSH2 0x1023
00000fde: PUSH1 0x05
00000fe0: PUSH1 0x00
00000fe2: DUP15
00000fe3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff8: AND
00000ff9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100e: AND
0000100f: DUP2
00001010: MSTORE
00001011: PUSH1 0x20
00001013: ADD
00001014: SWAP1
00001015: DUP2
00001016: MSTORE
00001017: PUSH1 0x20
00001019: ADD
0000101a: PUSH1 0x00
0000101c: KECCAK256
0000101d: SLOAD
0000101e: DUP6
0000101f: PUSH2 0x2887
00001022: JUMP
00001023: JUMPDEST
00001024: PUSH1 0x05
00001026: PUSH1 0x00
00001028: DUP15
00001029: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103e: AND
0000103f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001054: AND
00001055: DUP2
00001056: MSTORE
00001057: PUSH1 0x20
00001059: ADD
0000105a: SWAP1
0000105b: DUP2
0000105c: MSTORE
0000105d: PUSH1 0x20
0000105f: ADD
00001060: PUSH1 0x00
00001062: KECCAK256
00001063: DUP2
00001064: SWAP1
00001065: SSTORE
00001066: POP
00001067: JUMPDEST
00001068: PUSH1 0x00
0000106a: PUSH1 0x09
0000106c: SLOAD
0000106d: GT
0000106e: ISZERO
0000106f: PUSH2 0x10d2
00001072: JUMPI
00001073: PUSH2 0x107e
00001076: PUSH1 0x09
00001078: SLOAD
00001079: DUP8
0000107a: PUSH2 0x2887
0000107d: JUMP
0000107e: JUMPDEST
0000107f: PUSH1 0x09
00001081: DUP2
00001082: SWAP1
00001083: SSTORE
00001084: POP
00001085: PUSH1 0x09
00001087: SLOAD
00001088: PUSH9 0x010000000000000000
00001092: DUP10
00001093: MUL
00001094: DUP2
00001095: ISZERO
00001096: ISZERO
00001097: PUSH2 0x109c
0000109a: JUMPI
0000109b: INVALID
0000109c: JUMPDEST
0000109d: DIV
0000109e: PUSH1 0x0a
000010a0: PUSH1 0x00
000010a2: DUP3
000010a3: DUP3
000010a4: SLOAD
000010a5: ADD
000010a6: SWAP3
000010a7: POP
000010a8: POP
000010a9: DUP2
000010aa: SWAP1
000010ab: SSTORE
000010ac: POP
000010ad: PUSH1 0x09
000010af: SLOAD
000010b0: PUSH9 0x010000000000000000
000010ba: DUP10
000010bb: MUL
000010bc: DUP2
000010bd: ISZERO
000010be: ISZERO
000010bf: PUSH2 0x10c4
000010c2: JUMPI
000010c3: INVALID
000010c4: JUMPDEST
000010c5: DIV
000010c6: DUP7
000010c7: MUL
000010c8: DUP6
000010c9: SUB
000010ca: DUP6
000010cb: SUB
000010cc: SWAP5
000010cd: POP
000010ce: PUSH2 0x10da
000010d1: JUMP
000010d2: JUMPDEST
000010d3: DUP6
000010d4: PUSH1 0x09
000010d6: DUP2
000010d7: SWAP1
000010d8: SSTORE
000010d9: POP
000010da: JUMPDEST
000010db: PUSH2 0x1123
000010de: PUSH1 0x04
000010e0: PUSH1 0x00
000010e2: CALLER
000010e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f8: AND
000010f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000110e: AND
0000110f: DUP2
00001110: MSTORE
00001111: PUSH1 0x20
00001113: ADD
00001114: SWAP1
00001115: DUP2
00001116: MSTORE
00001117: PUSH1 0x20
00001119: ADD
0000111a: PUSH1 0x00
0000111c: KECCAK256
0000111d: SLOAD
0000111e: DUP8
0000111f: PUSH2 0x2887
00001122: JUMP
00001123: JUMPDEST
00001124: PUSH1 0x04
00001126: PUSH1 0x00
00001128: CALLER
00001129: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000113e: AND
0000113f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001154: AND
00001155: DUP2
00001156: MSTORE
00001157: PUSH1 0x20
00001159: ADD
0000115a: SWAP1
0000115b: DUP2
0000115c: MSTORE
0000115d: PUSH1 0x20
0000115f: ADD
00001160: PUSH1 0x00
00001162: KECCAK256
00001163: DUP2
00001164: SWAP1
00001165: SSTORE
00001166: POP
00001167: DUP5
00001168: DUP7
00001169: PUSH1 0x0a
0000116b: SLOAD
0000116c: MUL
0000116d: SUB
0000116e: SWAP3
0000116f: POP
00001170: DUP3
00001171: PUSH1 0x07
00001173: PUSH1 0x00
00001175: CALLER
00001176: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118b: AND
0000118c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a1: AND
000011a2: DUP2
000011a3: MSTORE
000011a4: PUSH1 0x20
000011a6: ADD
000011a7: SWAP1
000011a8: DUP2
000011a9: MSTORE
000011aa: PUSH1 0x20
000011ac: ADD
000011ad: PUSH1 0x00
000011af: KECCAK256
000011b0: PUSH1 0x00
000011b2: DUP3
000011b3: DUP3
000011b4: SLOAD
000011b5: ADD
000011b6: SWAP3
000011b7: POP
000011b8: POP
000011b9: DUP2
000011ba: SWAP1
000011bb: SSTORE
000011bc: POP
000011bd: DUP12
000011be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d3: AND
000011d4: CALLER
000011d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ea: AND
000011eb: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
0000120c: DUP16
0000120d: DUP10
0000120e: PUSH1 0x40
00001210: MLOAD
00001211: DUP1
00001212: DUP4
00001213: DUP2
00001214: MSTORE
00001215: PUSH1 0x20
00001217: ADD
00001218: DUP3
00001219: DUP2
0000121a: MSTORE
0000121b: PUSH1 0x20
0000121d: ADD
0000121e: SWAP3
0000121f: POP
00001220: POP
00001221: POP
00001222: PUSH1 0x40
00001224: MLOAD
00001225: DUP1
00001226: SWAP2
00001227: SUB
00001228: SWAP1
00001229: LOG3
0000122a: DUP6
0000122b: SWAP11
0000122c: POP
0000122d: JUMPDEST
0000122e: POP
0000122f: POP
00001230: POP
00001231: POP
00001232: POP
00001233: POP
00001234: POP
00001235: POP
00001236: POP
00001237: POP
00001238: SWAP3
00001239: SWAP2
0000123a: POP
0000123b: POP
0000123c: JUMP
0000123d: JUMPDEST
0000123e: PUSH1 0x00
00001240: PUSH9 0x010000000000000000
0000124a: PUSH1 0x07
0000124c: PUSH1 0x00
0000124e: DUP5
0000124f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001264: AND
00001265: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127a: AND
0000127b: DUP2
0000127c: MSTORE
0000127d: PUSH1 0x20
0000127f: ADD
00001280: SWAP1
00001281: DUP2
00001282: MSTORE
00001283: PUSH1 0x20
00001285: ADD
00001286: PUSH1 0x00
00001288: KECCAK256
00001289: SLOAD
0000128a: PUSH1 0x04
0000128c: PUSH1 0x00
0000128e: DUP6
0000128f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a4: AND
000012a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ba: AND
000012bb: DUP2
000012bc: MSTORE
000012bd: PUSH1 0x20
000012bf: ADD
000012c0: SWAP1
000012c1: DUP2
000012c2: MSTORE
000012c3: PUSH1 0x20
000012c5: ADD
000012c6: PUSH1 0x00
000012c8: KECCAK256
000012c9: SLOAD
000012ca: PUSH1 0x0a
000012cc: SLOAD
000012cd: MUL
000012ce: SUB
000012cf: DUP2
000012d0: ISZERO
000012d1: ISZERO
000012d2: PUSH2 0x12d7
000012d5: JUMPI
000012d6: INVALID
000012d7: JUMPDEST
000012d8: DIV
000012d9: SWAP1
000012da: POP
000012db: SWAP2
000012dc: SWAP1
000012dd: POP
000012de: JUMP
000012df: JUMPDEST
000012e0: PUSH1 0x00
000012e2: DUP1
000012e3: SLOAD
000012e4: PUSH1 0x01
000012e6: DUP2
000012e7: PUSH1 0x01
000012e9: AND
000012ea: ISZERO
000012eb: PUSH2 0x0100
000012ee: MUL
000012ef: SUB
000012f0: AND
000012f1: PUSH1 0x02
000012f3: SWAP1
000012f4: DIV
000012f5: DUP1
000012f6: PUSH1 0x1f
000012f8: ADD
000012f9: PUSH1 0x20
000012fb: DUP1
000012fc: SWAP2
000012fd: DIV
000012fe: MUL
000012ff: PUSH1 0x20
00001301: ADD
00001302: PUSH1 0x40
00001304: MLOAD
00001305: SWAP1
00001306: DUP2
00001307: ADD
00001308: PUSH1 0x40
0000130a: MSTORE
0000130b: DUP1
0000130c: SWAP3
0000130d: SWAP2
0000130e: SWAP1
0000130f: DUP2
00001310: DUP2
00001311: MSTORE
00001312: PUSH1 0x20
00001314: ADD
00001315: DUP3
00001316: DUP1
00001317: SLOAD
00001318: PUSH1 0x01
0000131a: DUP2
0000131b: PUSH1 0x01
0000131d: AND
0000131e: ISZERO
0000131f: PUSH2 0x0100
00001322: MUL
00001323: SUB
00001324: AND
00001325: PUSH1 0x02
00001327: SWAP1
00001328: DIV
00001329: DUP1
0000132a: ISZERO
0000132b: PUSH2 0x1375
0000132e: JUMPI
0000132f: DUP1
00001330: PUSH1 0x1f
00001332: LT
00001333: PUSH2 0x134a
00001336: JUMPI
00001337: PUSH2 0x0100
0000133a: DUP1
0000133b: DUP4
0000133c: SLOAD
0000133d: DIV
0000133e: MUL
0000133f: DUP4
00001340: MSTORE
00001341: SWAP2
00001342: PUSH1 0x20
00001344: ADD
00001345: SWAP2
00001346: PUSH2 0x1375
00001349: JUMP
0000134a: JUMPDEST
0000134b: DUP3
0000134c: ADD
0000134d: SWAP2
0000134e: SWAP1
0000134f: PUSH1 0x00
00001351: MSTORE
00001352: PUSH1 0x20
00001354: PUSH1 0x00
00001356: KECCAK256
00001357: SWAP1
00001358: JUMPDEST
00001359: DUP2
0000135a: SLOAD
0000135b: DUP2
0000135c: MSTORE
0000135d: SWAP1
0000135e: PUSH1 0x01
00001360: ADD
00001361: SWAP1
00001362: PUSH1 0x20
00001364: ADD
00001365: DUP1
00001366: DUP4
00001367: GT
00001368: PUSH2 0x1358
0000136b: JUMPI
0000136c: DUP3
0000136d: SWAP1
0000136e: SUB
0000136f: PUSH1 0x1f
00001371: AND
00001372: DUP3
00001373: ADD
00001374: SWAP2
00001375: JUMPDEST
00001376: POP
00001377: POP
00001378: POP
00001379: POP
0000137a: POP
0000137b: DUP2
0000137c: JUMP
0000137d: JUMPDEST
0000137e: PUSH1 0x00
00001380: DUP1
00001381: PUSH1 0x00
00001383: DUP1
00001384: PUSH2 0x1391
00001387: DUP6
00001388: PUSH1 0x05
0000138a: PUSH1 0xff
0000138c: AND
0000138d: PUSH2 0x28a5
00001390: JUMP
00001391: JUMPDEST
00001392: SWAP3
00001393: POP
00001394: PUSH2 0x139d
00001397: DUP6
00001398: DUP5
00001399: PUSH2 0x28c0
0000139c: JUMP
0000139d: JUMPDEST
0000139e: SWAP2
0000139f: POP
000013a0: PUSH2 0x13a8
000013a3: DUP3
000013a4: PUSH2 0x28d9
000013a7: JUMP
000013a8: JUMPDEST
000013a9: SWAP1
000013aa: POP
000013ab: DUP1
000013ac: SWAP4
000013ad: POP
000013ae: POP
000013af: POP
000013b0: POP
000013b1: SWAP2
000013b2: SWAP1
000013b3: POP
000013b4: JUMP
000013b5: JUMPDEST
000013b6: PUSH1 0x00
000013b8: PUSH1 0x09
000013ba: SLOAD
000013bb: SWAP1
000013bc: POP
000013bd: SWAP1
000013be: JUMP
000013bf: JUMPDEST
000013c0: PUSH1 0x00
000013c2: DUP1
000013c3: PUSH1 0x00
000013c5: DUP1
000013c6: PUSH1 0x09
000013c8: SLOAD
000013c9: DUP6
000013ca: GT
000013cb: ISZERO
000013cc: ISZERO
000013cd: ISZERO
000013ce: PUSH2 0x13d6
000013d1: JUMPI
000013d2: PUSH1 0x00
000013d4: DUP1
000013d5: REVERT
000013d6: JUMPDEST
000013d7: PUSH2 0x13df
000013da: DUP6
000013db: PUSH2 0x2966
000013de: JUMP
000013df: JUMPDEST
000013e0: SWAP3
000013e1: POP
000013e2: PUSH2 0x13ef
000013e5: DUP4
000013e6: PUSH1 0x05
000013e8: PUSH1 0xff
000013ea: AND
000013eb: PUSH2 0x28a5
000013ee: JUMP
000013ef: JUMPDEST
000013f0: SWAP2
000013f1: POP
000013f2: PUSH2 0x13fb
000013f5: DUP4
000013f6: DUP4
000013f7: PUSH2 0x28c0
000013fa: JUMP
000013fb: JUMPDEST
000013fc: SWAP1
000013fd: POP
000013fe: DUP1
000013ff: SWAP4
00001400: POP
00001401: POP
00001402: POP
00001403: POP
00001404: SWAP2
00001405: SWAP1
00001406: POP
00001407: JUMP
00001408: JUMPDEST
00001409: PUSH1 0x0c
0000140b: PUSH1 0x00
0000140d: SWAP1
0000140e: SLOAD
0000140f: SWAP1
00001410: PUSH2 0x0100
00001413: EXP
00001414: SWAP1
00001415: DIV
00001416: PUSH1 0xff
00001418: AND
00001419: DUP2
0000141a: JUMP
0000141b: JUMPDEST
0000141c: PUSH1 0x12
0000141e: DUP2
0000141f: JUMP
00001420: JUMPDEST
00001421: PUSH1 0x0b
00001423: PUSH1 0x20
00001425: MSTORE
00001426: DUP1
00001427: PUSH1 0x00
00001429: MSTORE
0000142a: PUSH1 0x40
0000142c: PUSH1 0x00
0000142e: KECCAK256
0000142f: PUSH1 0x00
00001431: SWAP2
00001432: POP
00001433: SLOAD
00001434: SWAP1
00001435: PUSH2 0x0100
00001438: EXP
00001439: SWAP1
0000143a: DIV
0000143b: PUSH1 0xff
0000143d: AND
0000143e: DUP2
0000143f: JUMP
00001440: JUMPDEST
00001441: PUSH1 0x00
00001443: DUP1
00001444: PUSH1 0x00
00001446: PUSH2 0x144f
00001449: PUSH1 0x01
0000144b: PUSH2 0x164e
0000144e: JUMP
0000144f: JUMPDEST
00001450: GT
00001451: ISZERO
00001452: ISZERO
00001453: PUSH2 0x145b
00001456: JUMPI
00001457: PUSH1 0x00
00001459: DUP1
0000145a: REVERT
0000145b: JUMPDEST
0000145c: CALLER
0000145d: SWAP2
0000145e: POP
0000145f: PUSH2 0x1468
00001462: PUSH1 0x00
00001464: PUSH2 0x164e
00001467: JUMP
00001468: JUMPDEST
00001469: SWAP1
0000146a: POP
0000146b: PUSH9 0x010000000000000000
00001475: DUP2
00001476: MUL
00001477: PUSH1 0x07
00001479: PUSH1 0x00
0000147b: DUP5
0000147c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001491: AND
00001492: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a7: AND
000014a8: DUP2
000014a9: MSTORE
000014aa: PUSH1 0x20
000014ac: ADD
000014ad: SWAP1
000014ae: DUP2
000014af: MSTORE
000014b0: PUSH1 0x20
000014b2: ADD
000014b3: PUSH1 0x00
000014b5: KECCAK256
000014b6: PUSH1 0x00
000014b8: DUP3
000014b9: DUP3
000014ba: SLOAD
000014bb: ADD
000014bc: SWAP3
000014bd: POP
000014be: POP
000014bf: DUP2
000014c0: SWAP1
000014c1: SSTORE
000014c2: POP
000014c3: PUSH1 0x05
000014c5: PUSH1 0x00
000014c7: DUP4
000014c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014dd: AND
000014de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f3: AND
000014f4: DUP2
000014f5: MSTORE
000014f6: PUSH1 0x20
000014f8: ADD
000014f9: SWAP1
000014fa: DUP2
000014fb: MSTORE
000014fc: PUSH1 0x20
000014fe: ADD
000014ff: PUSH1 0x00
00001501: KECCAK256
00001502: SLOAD
00001503: DUP2
00001504: ADD
00001505: SWAP1
00001506: POP
00001507: PUSH1 0x00
00001509: PUSH1 0x05
0000150b: PUSH1 0x00
0000150d: DUP5
0000150e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001523: AND
00001524: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001539: AND
0000153a: DUP2
0000153b: MSTORE
0000153c: PUSH1 0x20
0000153e: ADD
0000153f: SWAP1
00001540: DUP2
00001541: MSTORE
00001542: PUSH1 0x20
00001544: ADD
00001545: PUSH1 0x00
00001547: KECCAK256
00001548: DUP2
00001549: SWAP1
0000154a: SSTORE
0000154b: POP
0000154c: DUP2
0000154d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001562: AND
00001563: PUSH2 0x08fc
00001566: DUP3
00001567: SWAP1
00001568: DUP2
00001569: ISZERO
0000156a: MUL
0000156b: SWAP1
0000156c: PUSH1 0x40
0000156e: MLOAD
0000156f: PUSH1 0x00
00001571: PUSH1 0x40
00001573: MLOAD
00001574: DUP1
00001575: DUP4
00001576: SUB
00001577: DUP2
00001578: DUP6
00001579: DUP9
0000157a: DUP9
0000157b: CALL
0000157c: SWAP4
0000157d: POP
0000157e: POP
0000157f: POP
00001580: POP
00001581: ISZERO
00001582: DUP1
00001583: ISZERO
00001584: PUSH2 0x1591
00001587: JUMPI
00001588: RETURNDATASIZE
00001589: PUSH1 0x00
0000158b: DUP1
0000158c: RETURNDATACOPY
0000158d: RETURNDATASIZE
0000158e: PUSH1 0x00
00001590: REVERT
00001591: JUMPDEST
00001592: POP
00001593: DUP2
00001594: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a9: AND
000015aa: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
000015cb: DUP3
000015cc: PUSH1 0x40
000015ce: MLOAD
000015cf: DUP1
000015d0: DUP3
000015d1: DUP2
000015d2: MSTORE
000015d3: PUSH1 0x20
000015d5: ADD
000015d6: SWAP2
000015d7: POP
000015d8: POP
000015d9: PUSH1 0x40
000015db: MLOAD
000015dc: DUP1
000015dd: SWAP2
000015de: SUB
000015df: SWAP1
000015e0: LOG2
000015e1: POP
000015e2: POP
000015e3: JUMP
000015e4: JUMPDEST
000015e5: PUSH1 0x00
000015e7: DUP1
000015e8: PUSH1 0x00
000015ea: DUP1
000015eb: PUSH1 0x00
000015ed: PUSH1 0x09
000015ef: SLOAD
000015f0: EQ
000015f1: ISZERO
000015f2: PUSH2 0x1609
000015f5: JUMPI
000015f6: PUSH5 0x02540be400
000015fc: PUSH5 0x174876e800
00001602: SUB
00001603: SWAP4
00001604: POP
00001605: PUSH2 0x163c
00001608: JUMP
00001609: JUMPDEST
0000160a: PUSH2 0x161a
0000160d: PUSH8 0x0de0b6b3a7640000
00001616: PUSH2 0x2966
00001619: JUMP
0000161a: JUMPDEST
0000161b: SWAP3
0000161c: POP
0000161d: PUSH2 0x162a
00001620: DUP4
00001621: PUSH1 0x05
00001623: PUSH1 0xff
00001625: AND
00001626: PUSH2 0x28a5
00001629: JUMP
0000162a: JUMPDEST
0000162b: SWAP2
0000162c: POP
0000162d: PUSH2 0x1636
00001630: DUP4
00001631: DUP4
00001632: PUSH2 0x28c0
00001635: JUMP
00001636: JUMPDEST
00001637: SWAP1
00001638: POP
00001639: DUP1
0000163a: SWAP4
0000163b: POP
0000163c: JUMPDEST
0000163d: POP
0000163e: POP
0000163f: POP
00001640: SWAP1
00001641: JUMP
00001642: JUMPDEST
00001643: PUSH1 0x02
00001645: SLOAD
00001646: DUP2
00001647: JUMP
00001648: JUMPDEST
00001649: PUSH1 0x06
0000164b: SLOAD
0000164c: DUP2
0000164d: JUMP
0000164e: JUMPDEST
0000164f: PUSH1 0x00
00001651: DUP1
00001652: CALLER
00001653: SWAP1
00001654: POP
00001655: DUP3
00001656: PUSH2 0x1667
00001659: JUMPI
0000165a: PUSH2 0x1662
0000165d: DUP2
0000165e: PUSH2 0x123d
00001661: JUMP
00001662: JUMPDEST
00001663: PUSH2 0x16b2
00001666: JUMP
00001667: JUMPDEST
00001668: PUSH1 0x05
0000166a: PUSH1 0x00
0000166c: DUP3
0000166d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001682: AND
00001683: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001698: AND
00001699: DUP2
0000169a: MSTORE
0000169b: PUSH1 0x20
0000169d: ADD
0000169e: SWAP1
0000169f: DUP2
000016a0: MSTORE
000016a1: PUSH1 0x20
000016a3: ADD
000016a4: PUSH1 0x00
000016a6: KECCAK256
000016a7: SLOAD
000016a8: PUSH2 0x16b0
000016ab: DUP3
000016ac: PUSH2 0x123d
000016af: JUMP
000016b0: JUMPDEST
000016b1: ADD
000016b2: JUMPDEST
000016b3: SWAP2
000016b4: POP
000016b5: POP
000016b6: SWAP2
000016b7: SWAP1
000016b8: POP
000016b9: JUMP
000016ba: JUMPDEST
000016bb: PUSH1 0x00
000016bd: ADDRESS
000016be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d3: AND
000016d4: BALANCE
000016d5: SWAP1
000016d6: POP
000016d7: SWAP1
000016d8: JUMP
000016d9: JUMPDEST
000016da: PUSH1 0x00
000016dc: PUSH1 0x04
000016de: PUSH1 0x00
000016e0: DUP4
000016e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f6: AND
000016f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170c: AND
0000170d: DUP2
0000170e: MSTORE
0000170f: PUSH1 0x20
00001711: ADD
00001712: SWAP1
00001713: DUP2
00001714: MSTORE
00001715: PUSH1 0x20
00001717: ADD
00001718: PUSH1 0x00
0000171a: KECCAK256
0000171b: SLOAD
0000171c: SWAP1
0000171d: POP
0000171e: SWAP2
0000171f: SWAP1
00001720: POP
00001721: JUMP
00001722: JUMPDEST
00001723: PUSH1 0x00
00001725: CALLER
00001726: SWAP1
00001727: POP
00001728: PUSH1 0x0b
0000172a: PUSH1 0x00
0000172c: DUP3
0000172d: PUSH1 0x40
0000172f: MLOAD
00001730: DUP1
00001731: DUP3
00001732: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001747: AND
00001748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000175d: AND
0000175e: PUSH13 0x01000000000000000000000000
0000176c: MUL
0000176d: DUP2
0000176e: MSTORE
0000176f: PUSH1 0x14
00001771: ADD
00001772: SWAP2
00001773: POP
00001774: POP
00001775: PUSH1 0x40
00001777: MLOAD
00001778: DUP1
00001779: SWAP2
0000177a: SUB
0000177b: SWAP1
0000177c: KECCAK256
0000177d: PUSH1 0x00
0000177f: NOT
00001780: AND
00001781: PUSH1 0x00
00001783: NOT
00001784: AND
00001785: DUP2
00001786: MSTORE
00001787: PUSH1 0x20
00001789: ADD
0000178a: SWAP1
0000178b: DUP2
0000178c: MSTORE
0000178d: PUSH1 0x20
0000178f: ADD
00001790: PUSH1 0x00
00001792: KECCAK256
00001793: PUSH1 0x00
00001795: SWAP1
00001796: SLOAD
00001797: SWAP1
00001798: PUSH2 0x0100
0000179b: EXP
0000179c: SWAP1
0000179d: DIV
0000179e: PUSH1 0xff
000017a0: AND
000017a1: ISZERO
000017a2: ISZERO
000017a3: PUSH2 0x17ab
000017a6: JUMPI
000017a7: PUSH1 0x00
000017a9: DUP1
000017aa: REVERT
000017ab: JUMPDEST
000017ac: DUP2
000017ad: PUSH1 0x02
000017af: DUP2
000017b0: SWAP1
000017b1: SSTORE
000017b2: POP
000017b3: POP
000017b4: POP
000017b5: JUMP
000017b6: JUMPDEST
000017b7: PUSH1 0x00
000017b9: DUP1
000017ba: PUSH1 0x00
000017bc: DUP1
000017bd: PUSH1 0x00
000017bf: DUP1
000017c0: PUSH1 0x00
000017c2: DUP1
000017c3: PUSH1 0x00
000017c5: DUP1
000017c6: PUSH1 0x00
000017c8: PUSH2 0x17cf
000017cb: PUSH2 0x1cd7
000017ce: JUMP
000017cf: JUMPDEST
000017d0: GT
000017d1: ISZERO
000017d2: ISZERO
000017d3: PUSH2 0x17db
000017d6: JUMPI
000017d7: PUSH1 0x00
000017d9: DUP1
000017da: REVERT
000017db: JUMPDEST
000017dc: CALLER
000017dd: SWAP9
000017de: POP
000017df: DUP12
000017e0: MLOAD
000017e1: SWAP8
000017e2: POP
000017e3: PUSH2 0x17ec
000017e6: DUP9
000017e7: DUP13
000017e8: PUSH2 0x2a11
000017eb: JUMP
000017ec: JUMPDEST
000017ed: SWAP7
000017ee: POP
000017ef: PUSH1 0x00
000017f1: DUP9
000017f2: GT
000017f3: DUP1
000017f4: ISZERO
000017f5: PUSH2 0x17ff
000017f8: JUMPI
000017f9: POP
000017fa: PUSH1 0x14
000017fc: DUP9
000017fd: GT
000017fe: ISZERO
000017ff: JUMPDEST
00001800: ISZERO
00001801: ISZERO
00001802: PUSH2 0x180a
00001805: JUMPI
00001806: PUSH1 0x00
00001808: DUP1
00001809: REVERT
0000180a: JUMPDEST
0000180b: PUSH1 0x00
0000180d: DUP12
0000180e: GT
0000180f: DUP1
00001810: ISZERO
00001811: PUSH2 0x1859
00001814: JUMPI
00001815: POP
00001816: DUP7
00001817: PUSH1 0x04
00001819: PUSH1 0x00
0000181b: DUP12
0000181c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001831: AND
00001832: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001847: AND
00001848: DUP2
00001849: MSTORE
0000184a: PUSH1 0x20
0000184c: ADD
0000184d: SWAP1
0000184e: DUP2
0000184f: MSTORE
00001850: PUSH1 0x20
00001852: ADD
00001853: PUSH1 0x00
00001855: KECCAK256
00001856: SLOAD
00001857: LT
00001858: ISZERO
00001859: JUMPDEST
0000185a: ISZERO
0000185b: ISZERO
0000185c: PUSH2 0x1864
0000185f: JUMPI
00001860: PUSH1 0x00
00001862: DUP1
00001863: REVERT
00001864: JUMPDEST
00001865: PUSH1 0x00
00001867: PUSH2 0x1870
0000186a: PUSH1 0x01
0000186c: PUSH2 0x164e
0000186f: JUMP
00001870: JUMPDEST
00001871: GT
00001872: ISZERO
00001873: PUSH2 0x187f
00001876: JUMPI
00001877: PUSH2 0x187e
0000187a: PUSH2 0x1440
0000187d: JUMP
0000187e: JUMPDEST
0000187f: JUMPDEST
00001880: PUSH1 0x00
00001882: SWAP1
00001883: POP
00001884: JUMPDEST
00001885: DUP8
00001886: DUP2
00001887: LT
00001888: ISZERO
00001889: PUSH2 0x1ba5
0000188c: JUMPI
0000188d: PUSH2 0x189a
00001890: DUP12
00001891: PUSH1 0x05
00001893: PUSH1 0xff
00001895: AND
00001896: PUSH2 0x28a5
00001899: JUMP
0000189a: JUMPDEST
0000189b: SWAP6
0000189c: POP
0000189d: PUSH2 0x18a6
000018a0: DUP12
000018a1: DUP8
000018a2: PUSH2 0x28c0
000018a5: JUMP
000018a6: JUMPDEST
000018a7: SWAP5
000018a8: POP
000018a9: PUSH2 0x18b1
000018ac: DUP7
000018ad: PUSH2 0x2966
000018b0: JUMP
000018b1: JUMPDEST
000018b2: SWAP4
000018b3: POP
000018b4: PUSH2 0x18c1
000018b7: DUP5
000018b8: PUSH1 0x02
000018ba: PUSH1 0xff
000018bc: AND
000018bd: PUSH2 0x28a5
000018c0: JUMP
000018c1: JUMPDEST
000018c2: SWAP3
000018c3: POP
000018c4: PUSH2 0x18cf
000018c7: PUSH1 0x06
000018c9: SLOAD
000018ca: DUP5
000018cb: PUSH2 0x2887
000018ce: JUMP
000018cf: JUMPDEST
000018d0: PUSH1 0x06
000018d2: DUP2
000018d3: SWAP1
000018d4: SSTORE
000018d5: POP
000018d6: PUSH2 0x18df
000018d9: DUP5
000018da: DUP5
000018db: PUSH2 0x28c0
000018de: JUMP
000018df: JUMPDEST
000018e0: SWAP2
000018e1: POP
000018e2: PUSH2 0x18ed
000018e5: PUSH1 0x09
000018e7: SLOAD
000018e8: DUP8
000018e9: PUSH2 0x28c0
000018ec: JUMP
000018ed: JUMPDEST
000018ee: PUSH1 0x09
000018f0: DUP2
000018f1: SWAP1
000018f2: SSTORE
000018f3: POP
000018f4: PUSH2 0x193c
000018f7: PUSH1 0x04
000018f9: PUSH1 0x00
000018fb: DUP12
000018fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001911: AND
00001912: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001927: AND
00001928: DUP2
00001929: MSTORE
0000192a: PUSH1 0x20
0000192c: ADD
0000192d: SWAP1
0000192e: DUP2
0000192f: MSTORE
00001930: PUSH1 0x20
00001932: ADD
00001933: PUSH1 0x00
00001935: KECCAK256
00001936: SLOAD
00001937: DUP13
00001938: PUSH2 0x28c0
0000193b: JUMP
0000193c: JUMPDEST
0000193d: PUSH1 0x04
0000193f: PUSH1 0x00
00001941: DUP12
00001942: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001957: AND
00001958: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000196d: AND
0000196e: DUP2
0000196f: MSTORE
00001970: PUSH1 0x20
00001972: ADD
00001973: SWAP1
00001974: DUP2
00001975: MSTORE
00001976: PUSH1 0x20
00001978: ADD
00001979: PUSH1 0x00
0000197b: KECCAK256
0000197c: DUP2
0000197d: SWAP1
0000197e: SSTORE
0000197f: POP
00001980: PUSH2 0x19df
00001983: PUSH1 0x04
00001985: PUSH1 0x00
00001987: DUP15
00001988: DUP5
00001989: DUP2
0000198a: MLOAD
0000198b: DUP2
0000198c: LT
0000198d: ISZERO
0000198e: ISZERO
0000198f: PUSH2 0x1994
00001992: JUMPI
00001993: INVALID
00001994: JUMPDEST
00001995: SWAP1
00001996: PUSH1 0x20
00001998: ADD
00001999: SWAP1
0000199a: PUSH1 0x20
0000199c: MUL
0000199d: ADD
0000199e: MLOAD
0000199f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b4: AND
000019b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ca: AND
000019cb: DUP2
000019cc: MSTORE
000019cd: PUSH1 0x20
000019cf: ADD
000019d0: SWAP1
000019d1: DUP2
000019d2: MSTORE
000019d3: PUSH1 0x20
000019d5: ADD
000019d6: PUSH1 0x00
000019d8: KECCAK256
000019d9: SLOAD
000019da: DUP7
000019db: PUSH2 0x2887
000019de: JUMP
000019df: JUMPDEST
000019e0: PUSH1 0x04
000019e2: PUSH1 0x00
000019e4: DUP15
000019e5: DUP5
000019e6: DUP2
000019e7: MLOAD
000019e8: DUP2
000019e9: LT
000019ea: ISZERO
000019eb: ISZERO
000019ec: PUSH2 0x19f1
000019ef: JUMPI
000019f0: INVALID
000019f1: JUMPDEST
000019f2: SWAP1
000019f3: PUSH1 0x20
000019f5: ADD
000019f6: SWAP1
000019f7: PUSH1 0x20
000019f9: MUL
000019fa: ADD
000019fb: MLOAD
000019fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a11: AND
00001a12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a27: AND
00001a28: DUP2
00001a29: MSTORE
00001a2a: PUSH1 0x20
00001a2c: ADD
00001a2d: SWAP1
00001a2e: DUP2
00001a2f: MSTORE
00001a30: PUSH1 0x20
00001a32: ADD
00001a33: PUSH1 0x00
00001a35: KECCAK256
00001a36: DUP2
00001a37: SWAP1
00001a38: SSTORE
00001a39: POP
00001a3a: DUP11
00001a3b: PUSH1 0x0a
00001a3d: SLOAD
00001a3e: MUL
00001a3f: PUSH1 0x07
00001a41: PUSH1 0x00
00001a43: DUP12
00001a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a59: AND
00001a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6f: AND
00001a70: DUP2
00001a71: MSTORE
00001a72: PUSH1 0x20
00001a74: ADD
00001a75: SWAP1
00001a76: DUP2
00001a77: MSTORE
00001a78: PUSH1 0x20
00001a7a: ADD
00001a7b: PUSH1 0x00
00001a7d: KECCAK256
00001a7e: PUSH1 0x00
00001a80: DUP3
00001a81: DUP3
00001a82: SLOAD
00001a83: SUB
00001a84: SWAP3
00001a85: POP
00001a86: POP
00001a87: DUP2
00001a88: SWAP1
00001a89: SSTORE
00001a8a: POP
00001a8b: DUP5
00001a8c: PUSH1 0x0a
00001a8e: SLOAD
00001a8f: MUL
00001a90: PUSH1 0x07
00001a92: PUSH1 0x00
00001a94: DUP15
00001a95: DUP5
00001a96: DUP2
00001a97: MLOAD
00001a98: DUP2
00001a99: LT
00001a9a: ISZERO
00001a9b: ISZERO
00001a9c: PUSH2 0x1aa1
00001a9f: JUMPI
00001aa0: INVALID
00001aa1: JUMPDEST
00001aa2: SWAP1
00001aa3: PUSH1 0x20
00001aa5: ADD
00001aa6: SWAP1
00001aa7: PUSH1 0x20
00001aa9: MUL
00001aaa: ADD
00001aab: MLOAD
00001aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac1: AND
00001ac2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad7: AND
00001ad8: DUP2
00001ad9: MSTORE
00001ada: PUSH1 0x20
00001adc: ADD
00001add: SWAP1
00001ade: DUP2
00001adf: MSTORE
00001ae0: PUSH1 0x20
00001ae2: ADD
00001ae3: PUSH1 0x00
00001ae5: KECCAK256
00001ae6: PUSH1 0x00
00001ae8: DUP3
00001ae9: DUP3
00001aea: SLOAD
00001aeb: ADD
00001aec: SWAP3
00001aed: POP
00001aee: POP
00001aef: DUP2
00001af0: SWAP1
00001af1: SSTORE
00001af2: POP
00001af3: PUSH2 0x1b16
00001af6: PUSH1 0x0a
00001af8: SLOAD
00001af9: PUSH1 0x09
00001afb: SLOAD
00001afc: PUSH9 0x010000000000000000
00001b06: DUP6
00001b07: MUL
00001b08: DUP2
00001b09: ISZERO
00001b0a: ISZERO
00001b0b: PUSH2 0x1b10
00001b0e: JUMPI
00001b0f: INVALID
00001b10: JUMPDEST
00001b11: DIV
00001b12: PUSH2 0x2887
00001b15: JUMP
00001b16: JUMPDEST
00001b17: PUSH1 0x0a
00001b19: DUP2
00001b1a: SWAP1
00001b1b: SSTORE
00001b1c: POP
00001b1d: DUP12
00001b1e: DUP2
00001b1f: DUP2
00001b20: MLOAD
00001b21: DUP2
00001b22: LT
00001b23: ISZERO
00001b24: ISZERO
00001b25: PUSH2 0x1b2a
00001b28: JUMPI
00001b29: INVALID
00001b2a: JUMPDEST
00001b2b: SWAP1
00001b2c: PUSH1 0x20
00001b2e: ADD
00001b2f: SWAP1
00001b30: PUSH1 0x20
00001b32: MUL
00001b33: ADD
00001b34: MLOAD
00001b35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4a: AND
00001b4b: DUP10
00001b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b61: AND
00001b62: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001b83: DUP14
00001b84: PUSH1 0x40
00001b86: MLOAD
00001b87: DUP1
00001b88: DUP3
00001b89: DUP2
00001b8a: MSTORE
00001b8b: PUSH1 0x20
00001b8d: ADD
00001b8e: SWAP2
00001b8f: POP
00001b90: POP
00001b91: PUSH1 0x40
00001b93: MLOAD
00001b94: DUP1
00001b95: SWAP2
00001b96: SUB
00001b97: SWAP1
00001b98: LOG3
00001b99: DUP1
00001b9a: DUP1
00001b9b: PUSH1 0x01
00001b9d: ADD
00001b9e: SWAP2
00001b9f: POP
00001ba0: POP
00001ba1: PUSH2 0x1884
00001ba4: JUMP
00001ba5: JUMPDEST
00001ba6: PUSH1 0x01
00001ba8: SWAP10
00001ba9: POP
00001baa: POP
00001bab: POP
00001bac: POP
00001bad: POP
00001bae: POP
00001baf: POP
00001bb0: POP
00001bb1: POP
00001bb2: POP
00001bb3: SWAP3
00001bb4: SWAP2
00001bb5: POP
00001bb6: POP
00001bb7: JUMP
00001bb8: JUMPDEST
00001bb9: PUSH1 0x00
00001bbb: DUP1
00001bbc: PUSH1 0x00
00001bbe: DUP1
00001bbf: PUSH1 0x00
00001bc1: PUSH1 0x09
00001bc3: SLOAD
00001bc4: EQ
00001bc5: ISZERO
00001bc6: PUSH2 0x1bdd
00001bc9: JUMPI
00001bca: PUSH5 0x02540be400
00001bd0: PUSH5 0x174876e800
00001bd6: ADD
00001bd7: SWAP4
00001bd8: POP
00001bd9: PUSH2 0x1c10
00001bdc: JUMP
00001bdd: JUMPDEST
00001bde: PUSH2 0x1bee
00001be1: PUSH8 0x0de0b6b3a7640000
00001bea: PUSH2 0x2966
00001bed: JUMP
00001bee: JUMPDEST
00001bef: SWAP3
00001bf0: POP
00001bf1: PUSH2 0x1bfe
00001bf4: DUP4
00001bf5: PUSH1 0x05
00001bf7: PUSH1 0xff
00001bf9: AND
00001bfa: PUSH2 0x28a5
00001bfd: JUMP
00001bfe: JUMPDEST
00001bff: SWAP2
00001c00: POP
00001c01: PUSH2 0x1c0a
00001c04: DUP4
00001c05: DUP4
00001c06: PUSH2 0x2887
00001c09: JUMP
00001c0a: JUMPDEST
00001c0b: SWAP1
00001c0c: POP
00001c0d: DUP1
00001c0e: SWAP4
00001c0f: POP
00001c10: JUMPDEST
00001c11: POP
00001c12: POP
00001c13: POP
00001c14: SWAP1
00001c15: JUMP
00001c16: JUMPDEST
00001c17: PUSH1 0x00
00001c19: CALLER
00001c1a: SWAP1
00001c1b: POP
00001c1c: PUSH1 0x0b
00001c1e: PUSH1 0x00
00001c20: DUP3
00001c21: PUSH1 0x40
00001c23: MLOAD
00001c24: DUP1
00001c25: DUP3
00001c26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c3b: AND
00001c3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c51: AND
00001c52: PUSH13 0x01000000000000000000000000
00001c60: MUL
00001c61: DUP2
00001c62: MSTORE
00001c63: PUSH1 0x14
00001c65: ADD
00001c66: SWAP2
00001c67: POP
00001c68: POP
00001c69: PUSH1 0x40
00001c6b: MLOAD
00001c6c: DUP1
00001c6d: SWAP2
00001c6e: SUB
00001c6f: SWAP1
00001c70: KECCAK256
00001c71: PUSH1 0x00
00001c73: NOT
00001c74: AND
00001c75: PUSH1 0x00
00001c77: NOT
00001c78: AND
00001c79: DUP2
00001c7a: MSTORE
00001c7b: PUSH1 0x20
00001c7d: ADD
00001c7e: SWAP1
00001c7f: DUP2
00001c80: MSTORE
00001c81: PUSH1 0x20
00001c83: ADD
00001c84: PUSH1 0x00
00001c86: KECCAK256
00001c87: PUSH1 0x00
00001c89: SWAP1
00001c8a: SLOAD
00001c8b: SWAP1
00001c8c: PUSH2 0x0100
00001c8f: EXP
00001c90: SWAP1
00001c91: DIV
00001c92: PUSH1 0xff
00001c94: AND
00001c95: ISZERO
00001c96: ISZERO
00001c97: PUSH2 0x1c9f
00001c9a: JUMPI
00001c9b: PUSH1 0x00
00001c9d: DUP1
00001c9e: REVERT
00001c9f: JUMPDEST
00001ca0: DUP2
00001ca1: PUSH1 0x0b
00001ca3: PUSH1 0x00
00001ca5: DUP6
00001ca6: PUSH1 0x00
00001ca8: NOT
00001ca9: AND
00001caa: PUSH1 0x00
00001cac: NOT
00001cad: AND
00001cae: DUP2
00001caf: MSTORE
00001cb0: PUSH1 0x20
00001cb2: ADD
00001cb3: SWAP1
00001cb4: DUP2
00001cb5: MSTORE
00001cb6: PUSH1 0x20
00001cb8: ADD
00001cb9: PUSH1 0x00
00001cbb: KECCAK256
00001cbc: PUSH1 0x00
00001cbe: PUSH2 0x0100
00001cc1: EXP
00001cc2: DUP2
00001cc3: SLOAD
00001cc4: DUP2
00001cc5: PUSH1 0xff
00001cc7: MUL
00001cc8: NOT
00001cc9: AND
00001cca: SWAP1
00001ccb: DUP4
00001ccc: ISZERO
00001ccd: ISZERO
00001cce: MUL
00001ccf: OR
00001cd0: SWAP1
00001cd1: SSTORE
00001cd2: POP
00001cd3: POP
00001cd4: POP
00001cd5: POP
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: PUSH1 0x00
00001cda: DUP1
00001cdb: CALLER
00001cdc: SWAP1
00001cdd: POP
00001cde: PUSH2 0x1ce6
00001ce1: DUP2
00001ce2: PUSH2 0x16d9
00001ce5: JUMP
00001ce6: JUMPDEST
00001ce7: SWAP2
00001ce8: POP
00001ce9: POP
00001cea: SWAP1
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: PUSH1 0x01
00001cef: DUP1
00001cf0: SLOAD
00001cf1: PUSH1 0x01
00001cf3: DUP2
00001cf4: PUSH1 0x01
00001cf6: AND
00001cf7: ISZERO
00001cf8: PUSH2 0x0100
00001cfb: MUL
00001cfc: SUB
00001cfd: AND
00001cfe: PUSH1 0x02
00001d00: SWAP1
00001d01: DIV
00001d02: DUP1
00001d03: PUSH1 0x1f
00001d05: ADD
00001d06: PUSH1 0x20
00001d08: DUP1
00001d09: SWAP2
00001d0a: DIV
00001d0b: MUL
00001d0c: PUSH1 0x20
00001d0e: ADD
00001d0f: PUSH1 0x40
00001d11: MLOAD
00001d12: SWAP1
00001d13: DUP2
00001d14: ADD
00001d15: PUSH1 0x40
00001d17: MSTORE
00001d18: DUP1
00001d19: SWAP3
00001d1a: SWAP2
00001d1b: SWAP1
00001d1c: DUP2
00001d1d: DUP2
00001d1e: MSTORE
00001d1f: PUSH1 0x20
00001d21: ADD
00001d22: DUP3
00001d23: DUP1
00001d24: SLOAD
00001d25: PUSH1 0x01
00001d27: DUP2
00001d28: PUSH1 0x01
00001d2a: AND
00001d2b: ISZERO
00001d2c: PUSH2 0x0100
00001d2f: MUL
00001d30: SUB
00001d31: AND
00001d32: PUSH1 0x02
00001d34: SWAP1
00001d35: DIV
00001d36: DUP1
00001d37: ISZERO
00001d38: PUSH2 0x1d82
00001d3b: JUMPI
00001d3c: DUP1
00001d3d: PUSH1 0x1f
00001d3f: LT
00001d40: PUSH2 0x1d57
00001d43: JUMPI
00001d44: PUSH2 0x0100
00001d47: DUP1
00001d48: DUP4
00001d49: SLOAD
00001d4a: DIV
00001d4b: MUL
00001d4c: DUP4
00001d4d: MSTORE
00001d4e: SWAP2
00001d4f: PUSH1 0x20
00001d51: ADD
00001d52: SWAP2
00001d53: PUSH2 0x1d82
00001d56: JUMP
00001d57: JUMPDEST
00001d58: DUP3
00001d59: ADD
00001d5a: SWAP2
00001d5b: SWAP1
00001d5c: PUSH1 0x00
00001d5e: MSTORE
00001d5f: PUSH1 0x20
00001d61: PUSH1 0x00
00001d63: KECCAK256
00001d64: SWAP1
00001d65: JUMPDEST
00001d66: DUP2
00001d67: SLOAD
00001d68: DUP2
00001d69: MSTORE
00001d6a: SWAP1
00001d6b: PUSH1 0x01
00001d6d: ADD
00001d6e: SWAP1
00001d6f: PUSH1 0x20
00001d71: ADD
00001d72: DUP1
00001d73: DUP4
00001d74: GT
00001d75: PUSH2 0x1d65
00001d78: JUMPI
00001d79: DUP3
00001d7a: SWAP1
00001d7b: SUB
00001d7c: PUSH1 0x1f
00001d7e: AND
00001d7f: DUP3
00001d80: ADD
00001d81: SWAP2
00001d82: JUMPDEST
00001d83: POP
00001d84: POP
00001d85: POP
00001d86: POP
00001d87: POP
00001d88: DUP2
00001d89: JUMP
00001d8a: JUMPDEST
00001d8b: PUSH1 0x00
00001d8d: CALLER
00001d8e: SWAP1
00001d8f: POP
00001d90: PUSH1 0x0b
00001d92: PUSH1 0x00
00001d94: DUP3
00001d95: PUSH1 0x40
00001d97: MLOAD
00001d98: DUP1
00001d99: DUP3
00001d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001daf: AND
00001db0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc5: AND
00001dc6: PUSH13 0x01000000000000000000000000
00001dd4: MUL
00001dd5: DUP2
00001dd6: MSTORE
00001dd7: PUSH1 0x14
00001dd9: ADD
00001dda: SWAP2
00001ddb: POP
00001ddc: POP
00001ddd: PUSH1 0x40
00001ddf: MLOAD
00001de0: DUP1
00001de1: SWAP2
00001de2: SUB
00001de3: SWAP1
00001de4: KECCAK256
00001de5: PUSH1 0x00
00001de7: NOT
00001de8: AND
00001de9: PUSH1 0x00
00001deb: NOT
00001dec: AND
00001ded: DUP2
00001dee: MSTORE
00001def: PUSH1 0x20
00001df1: ADD
00001df2: SWAP1
00001df3: DUP2
00001df4: MSTORE
00001df5: PUSH1 0x20
00001df7: ADD
00001df8: PUSH1 0x00
00001dfa: KECCAK256
00001dfb: PUSH1 0x00
00001dfd: SWAP1
00001dfe: SLOAD
00001dff: SWAP1
00001e00: PUSH2 0x0100
00001e03: EXP
00001e04: SWAP1
00001e05: DIV
00001e06: PUSH1 0xff
00001e08: AND
00001e09: ISZERO
00001e0a: ISZERO
00001e0b: PUSH2 0x1e13
00001e0e: JUMPI
00001e0f: PUSH1 0x00
00001e11: DUP1
00001e12: REVERT
00001e13: JUMPDEST
00001e14: PUSH1 0x00
00001e16: PUSH1 0x0c
00001e18: PUSH1 0x00
00001e1a: PUSH2 0x0100
00001e1d: EXP
00001e1e: DUP2
00001e1f: SLOAD
00001e20: DUP2
00001e21: PUSH1 0xff
00001e23: MUL
00001e24: NOT
00001e25: AND
00001e26: SWAP1
00001e27: DUP4
00001e28: ISZERO
00001e29: ISZERO
00001e2a: MUL
00001e2b: OR
00001e2c: SWAP1
00001e2d: SSTORE
00001e2e: POP
00001e2f: POP
00001e30: JUMP
00001e31: JUMPDEST
00001e32: PUSH1 0x00
00001e34: DUP1
00001e35: PUSH1 0x00
00001e37: DUP1
00001e38: PUSH1 0x00
00001e3a: DUP1
00001e3b: PUSH1 0x00
00001e3d: DUP1
00001e3e: PUSH2 0x1e45
00001e41: PUSH2 0x1cd7
00001e44: JUMP
00001e45: JUMPDEST
00001e46: GT
00001e47: ISZERO
00001e48: ISZERO
00001e49: PUSH2 0x1e51
00001e4c: JUMPI
00001e4d: PUSH1 0x00
00001e4f: DUP1
00001e50: REVERT
00001e51: JUMPDEST
00001e52: CALLER
00001e53: SWAP6
00001e54: POP
00001e55: PUSH1 0x0c
00001e57: PUSH1 0x00
00001e59: SWAP1
00001e5a: SLOAD
00001e5b: SWAP1
00001e5c: PUSH2 0x0100
00001e5f: EXP
00001e60: SWAP1
00001e61: DIV
00001e62: PUSH1 0xff
00001e64: AND
00001e65: ISZERO
00001e66: DUP1
00001e67: ISZERO
00001e68: PUSH2 0x1eb0
00001e6b: JUMPI
00001e6c: POP
00001e6d: PUSH1 0x04
00001e6f: PUSH1 0x00
00001e71: DUP8
00001e72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e87: AND
00001e88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9d: AND
00001e9e: DUP2
00001e9f: MSTORE
00001ea0: PUSH1 0x20
00001ea2: ADD
00001ea3: SWAP1
00001ea4: DUP2
00001ea5: MSTORE
00001ea6: PUSH1 0x20
00001ea8: ADD
00001ea9: PUSH1 0x00
00001eab: KECCAK256
00001eac: SLOAD
00001ead: DUP9
00001eae: GT
00001eaf: ISZERO
00001eb0: JUMPDEST
00001eb1: ISZERO
00001eb2: ISZERO
00001eb3: PUSH2 0x1ebb
00001eb6: JUMPI
00001eb7: PUSH1 0x00
00001eb9: DUP1
00001eba: REVERT
00001ebb: JUMPDEST
00001ebc: PUSH1 0x00
00001ebe: PUSH2 0x1ec7
00001ec1: PUSH1 0x01
00001ec3: PUSH2 0x164e
00001ec6: JUMP
00001ec7: JUMPDEST
00001ec8: GT
00001ec9: ISZERO
00001eca: PUSH2 0x1ed6
00001ecd: JUMPI
00001ece: PUSH2 0x1ed5
00001ed1: PUSH2 0x1440
00001ed4: JUMP
00001ed5: JUMPDEST
00001ed6: JUMPDEST
00001ed7: PUSH2 0x1ee4
00001eda: DUP9
00001edb: PUSH1 0x05
00001edd: PUSH1 0xff
00001edf: AND
00001ee0: PUSH2 0x28a5
00001ee3: JUMP
00001ee4: JUMPDEST
00001ee5: SWAP5
00001ee6: POP
00001ee7: PUSH2 0x1ef0
00001eea: DUP9
00001eeb: DUP7
00001eec: PUSH2 0x28c0
00001eef: JUMP
00001ef0: JUMPDEST
00001ef1: SWAP4
00001ef2: POP
00001ef3: PUSH2 0x1efb
00001ef6: DUP6
00001ef7: PUSH2 0x2966
00001efa: JUMP
00001efb: JUMPDEST
00001efc: SWAP3
00001efd: POP
00001efe: PUSH2 0x1f0b
00001f01: DUP4
00001f02: PUSH1 0x02
00001f04: PUSH1 0xff
00001f06: AND
00001f07: PUSH2 0x28a5
00001f0a: JUMP
00001f0b: JUMPDEST
00001f0c: SWAP2
00001f0d: POP
00001f0e: PUSH2 0x1f19
00001f11: PUSH1 0x06
00001f13: SLOAD
00001f14: DUP4
00001f15: PUSH2 0x2887
00001f18: JUMP
00001f19: JUMPDEST
00001f1a: PUSH1 0x06
00001f1c: DUP2
00001f1d: SWAP1
00001f1e: SSTORE
00001f1f: POP
00001f20: PUSH2 0x1f29
00001f23: DUP4
00001f24: DUP4
00001f25: PUSH2 0x28c0
00001f28: JUMP
00001f29: JUMPDEST
00001f2a: SWAP1
00001f2b: POP
00001f2c: PUSH2 0x1f37
00001f2f: PUSH1 0x09
00001f31: SLOAD
00001f32: DUP7
00001f33: PUSH2 0x28c0
00001f36: JUMP
00001f37: JUMPDEST
00001f38: PUSH1 0x09
00001f3a: DUP2
00001f3b: SWAP1
00001f3c: SSTORE
00001f3d: POP
00001f3e: PUSH2 0x1f86
00001f41: PUSH1 0x04
00001f43: PUSH1 0x00
00001f45: DUP9
00001f46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f5b: AND
00001f5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f71: AND
00001f72: DUP2
00001f73: MSTORE
00001f74: PUSH1 0x20
00001f76: ADD
00001f77: SWAP1
00001f78: DUP2
00001f79: MSTORE
00001f7a: PUSH1 0x20
00001f7c: ADD
00001f7d: PUSH1 0x00
00001f7f: KECCAK256
00001f80: SLOAD
00001f81: DUP10
00001f82: PUSH2 0x28c0
00001f85: JUMP
00001f86: JUMPDEST
00001f87: PUSH1 0x04
00001f89: PUSH1 0x00
00001f8b: DUP9
00001f8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa1: AND
00001fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb7: AND
00001fb8: DUP2
00001fb9: MSTORE
00001fba: PUSH1 0x20
00001fbc: ADD
00001fbd: SWAP1
00001fbe: DUP2
00001fbf: MSTORE
00001fc0: PUSH1 0x20
00001fc2: ADD
00001fc3: PUSH1 0x00
00001fc5: KECCAK256
00001fc6: DUP2
00001fc7: SWAP1
00001fc8: SSTORE
00001fc9: POP
00001fca: PUSH2 0x2012
00001fcd: PUSH1 0x04
00001fcf: PUSH1 0x00
00001fd1: DUP12
00001fd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe7: AND
00001fe8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ffd: AND
00001ffe: DUP2
00001fff: MSTORE
00002000: PUSH1 0x20
00002002: ADD
00002003: SWAP1
00002004: DUP2
00002005: MSTORE
00002006: PUSH1 0x20
00002008: ADD
00002009: PUSH1 0x00
0000200b: KECCAK256
0000200c: SLOAD
0000200d: DUP6
0000200e: PUSH2 0x2887
00002011: JUMP
00002012: JUMPDEST
00002013: PUSH1 0x04
00002015: PUSH1 0x00
00002017: DUP12
00002018: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000202d: AND
0000202e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002043: AND
00002044: DUP2
00002045: MSTORE
00002046: PUSH1 0x20
00002048: ADD
00002049: SWAP1
0000204a: DUP2
0000204b: MSTORE
0000204c: PUSH1 0x20
0000204e: ADD
0000204f: PUSH1 0x00
00002051: KECCAK256
00002052: DUP2
00002053: SWAP1
00002054: SSTORE
00002055: POP
00002056: DUP8
00002057: PUSH1 0x0a
00002059: SLOAD
0000205a: MUL
0000205b: PUSH1 0x07
0000205d: PUSH1 0x00
0000205f: DUP9
00002060: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002075: AND
00002076: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000208b: AND
0000208c: DUP2
0000208d: MSTORE
0000208e: PUSH1 0x20
00002090: ADD
00002091: SWAP1
00002092: DUP2
00002093: MSTORE
00002094: PUSH1 0x20
00002096: ADD
00002097: PUSH1 0x00
00002099: KECCAK256
0000209a: PUSH1 0x00
0000209c: DUP3
0000209d: DUP3
0000209e: SLOAD
0000209f: SUB
000020a0: SWAP3
000020a1: POP
000020a2: POP
000020a3: DUP2
000020a4: SWAP1
000020a5: SSTORE
000020a6: POP
000020a7: DUP4
000020a8: PUSH1 0x0a
000020aa: SLOAD
000020ab: MUL
000020ac: PUSH1 0x07
000020ae: PUSH1 0x00
000020b0: DUP12
000020b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c6: AND
000020c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020dc: AND
000020dd: DUP2
000020de: MSTORE
000020df: PUSH1 0x20
000020e1: ADD
000020e2: SWAP1
000020e3: DUP2
000020e4: MSTORE
000020e5: PUSH1 0x20
000020e7: ADD
000020e8: PUSH1 0x00
000020ea: KECCAK256
000020eb: PUSH1 0x00
000020ed: DUP3
000020ee: DUP3
000020ef: SLOAD
000020f0: ADD
000020f1: SWAP3
000020f2: POP
000020f3: POP
000020f4: DUP2
000020f5: SWAP1
000020f6: SSTORE
000020f7: POP
000020f8: PUSH2 0x211b
000020fb: PUSH1 0x0a
000020fd: SLOAD
000020fe: PUSH1 0x09
00002100: SLOAD
00002101: PUSH9 0x010000000000000000
0000210b: DUP5
0000210c: MUL
0000210d: DUP2
0000210e: ISZERO
0000210f: ISZERO
00002110: PUSH2 0x2115
00002113: JUMPI
00002114: INVALID
00002115: JUMPDEST
00002116: DIV
00002117: PUSH2 0x2887
0000211a: JUMP
0000211b: JUMPDEST
0000211c: PUSH1 0x0a
0000211e: DUP2
0000211f: SWAP1
00002120: SSTORE
00002121: POP
00002122: DUP9
00002123: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002138: AND
00002139: DUP7
0000213a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214f: AND
00002150: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002171: DUP7
00002172: PUSH1 0x40
00002174: MLOAD
00002175: DUP1
00002176: DUP3
00002177: DUP2
00002178: MSTORE
00002179: PUSH1 0x20
0000217b: ADD
0000217c: SWAP2
0000217d: POP
0000217e: POP
0000217f: PUSH1 0x40
00002181: MLOAD
00002182: DUP1
00002183: SWAP2
00002184: SUB
00002185: SWAP1
00002186: LOG3
00002187: PUSH1 0x01
00002189: SWAP7
0000218a: POP
0000218b: POP
0000218c: POP
0000218d: POP
0000218e: POP
0000218f: POP
00002190: POP
00002191: SWAP3
00002192: SWAP2
00002193: POP
00002194: POP
00002195: JUMP
00002196: JUMPDEST
00002197: PUSH1 0x00
00002199: DUP1
0000219a: PUSH1 0x00
0000219c: CALLER
0000219d: SWAP1
0000219e: POP
0000219f: PUSH1 0x0b
000021a1: PUSH1 0x00
000021a3: DUP3
000021a4: PUSH1 0x40
000021a6: MLOAD
000021a7: DUP1
000021a8: DUP3
000021a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021be: AND
000021bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d4: AND
000021d5: PUSH13 0x01000000000000000000000000
000021e3: MUL
000021e4: DUP2
000021e5: MSTORE
000021e6: PUSH1 0x14
000021e8: ADD
000021e9: SWAP2
000021ea: POP
000021eb: POP
000021ec: PUSH1 0x40
000021ee: MLOAD
000021ef: DUP1
000021f0: SWAP2
000021f1: SUB
000021f2: SWAP1
000021f3: KECCAK256
000021f4: PUSH1 0x00
000021f6: NOT
000021f7: AND
000021f8: PUSH1 0x00
000021fa: NOT
000021fb: AND
000021fc: DUP2
000021fd: MSTORE
000021fe: PUSH1 0x20
00002200: ADD
00002201: SWAP1
00002202: DUP2
00002203: MSTORE
00002204: PUSH1 0x20
00002206: ADD
00002207: PUSH1 0x00
00002209: KECCAK256
0000220a: PUSH1 0x00
0000220c: SWAP1
0000220d: SLOAD
0000220e: SWAP1
0000220f: PUSH2 0x0100
00002212: EXP
00002213: SWAP1
00002214: DIV
00002215: PUSH1 0xff
00002217: AND
00002218: ISZERO
00002219: ISZERO
0000221a: PUSH2 0x2222
0000221d: JUMPI
0000221e: PUSH1 0x00
00002220: DUP1
00002221: REVERT
00002222: JUMPDEST
00002223: PUSH1 0x00
00002225: PUSH1 0x06
00002227: SLOAD
00002228: GT
00002229: ISZERO
0000222a: ISZERO
0000222b: PUSH2 0x2233
0000222e: JUMPI
0000222f: PUSH1 0x00
00002231: DUP1
00002232: REVERT
00002233: JUMPDEST
00002234: PUSH1 0x06
00002236: SLOAD
00002237: SWAP3
00002238: POP
00002239: PUSH1 0x00
0000223b: PUSH1 0x06
0000223d: DUP2
0000223e: SWAP1
0000223f: SSTORE
00002240: POP
00002241: PUSH20 0xc3ca29b303196f4f94b7928254eb166e4ce2fcda
00002256: SWAP2
00002257: POP
00002258: DUP2
00002259: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000226e: AND
0000226f: PUSH2 0x08fc
00002272: DUP5
00002273: SWAP1
00002274: DUP2
00002275: ISZERO
00002276: MUL
00002277: SWAP1
00002278: PUSH1 0x40
0000227a: MLOAD
0000227b: PUSH1 0x00
0000227d: PUSH1 0x40
0000227f: MLOAD
00002280: DUP1
00002281: DUP4
00002282: SUB
00002283: DUP2
00002284: DUP6
00002285: DUP9
00002286: DUP9
00002287: CALL
00002288: SWAP4
00002289: POP
0000228a: POP
0000228b: POP
0000228c: POP
0000228d: ISZERO
0000228e: DUP1
0000228f: ISZERO
00002290: PUSH2 0x229d
00002293: JUMPI
00002294: RETURNDATASIZE
00002295: PUSH1 0x00
00002297: DUP1
00002298: RETURNDATACOPY
00002299: RETURNDATASIZE
0000229a: PUSH1 0x00
0000229c: REVERT
0000229d: JUMPDEST
0000229e: POP
0000229f: DUP2
000022a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022b5: AND
000022b6: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
000022d7: DUP5
000022d8: PUSH1 0x40
000022da: MLOAD
000022db: DUP1
000022dc: DUP3
000022dd: DUP2
000022de: MSTORE
000022df: PUSH1 0x20
000022e1: ADD
000022e2: SWAP2
000022e3: POP
000022e4: POP
000022e5: PUSH1 0x40
000022e7: MLOAD
000022e8: DUP1
000022e9: SWAP2
000022ea: SUB
000022eb: SWAP1
000022ec: LOG2
000022ed: POP
000022ee: POP
000022ef: POP
000022f0: JUMP
000022f1: JUMPDEST
000022f2: PUSH1 0x00
000022f4: CALLER
000022f5: SWAP1
000022f6: POP
000022f7: PUSH1 0x0b
000022f9: PUSH1 0x00
000022fb: DUP3
000022fc: PUSH1 0x40
000022fe: MLOAD
000022ff: DUP1
00002300: DUP3
00002301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002316: AND
00002317: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000232c: AND
0000232d: PUSH13 0x01000000000000000000000000
0000233b: MUL
0000233c: DUP2
0000233d: MSTORE
0000233e: PUSH1 0x14
00002340: ADD
00002341: SWAP2
00002342: POP
00002343: POP
00002344: PUSH1 0x40
00002346: MLOAD
00002347: DUP1
00002348: SWAP2
00002349: SUB
0000234a: SWAP1
0000234b: KECCAK256
0000234c: PUSH1 0x00
0000234e: NOT
0000234f: AND
00002350: PUSH1 0x00
00002352: NOT
00002353: AND
00002354: DUP2
00002355: MSTORE
00002356: PUSH1 0x20
00002358: ADD
00002359: SWAP1
0000235a: DUP2
0000235b: MSTORE
0000235c: PUSH1 0x20
0000235e: ADD
0000235f: PUSH1 0x00
00002361: KECCAK256
00002362: PUSH1 0x00
00002364: SWAP1
00002365: SLOAD
00002366: SWAP1
00002367: PUSH2 0x0100
0000236a: EXP
0000236b: SWAP1
0000236c: DIV
0000236d: PUSH1 0xff
0000236f: AND
00002370: ISZERO
00002371: ISZERO
00002372: PUSH2 0x237a
00002375: JUMPI
00002376: PUSH1 0x00
00002378: DUP1
00002379: REVERT
0000237a: JUMPDEST
0000237b: DUP2
0000237c: PUSH1 0x01
0000237e: SWAP1
0000237f: DUP1
00002380: MLOAD
00002381: SWAP1
00002382: PUSH1 0x20
00002384: ADD
00002385: SWAP1
00002386: PUSH2 0x2390
00002389: SWAP3
0000238a: SWAP2
0000238b: SWAP1
0000238c: PUSH2 0x2a97
0000238f: JUMP
00002390: JUMPDEST
00002391: POP
00002392: POP
00002393: POP
00002394: JUMP
00002395: JUMPDEST
00002396: PUSH1 0x00
00002398: CALLER
00002399: SWAP1
0000239a: POP
0000239b: PUSH1 0x0b
0000239d: PUSH1 0x00
0000239f: DUP3
000023a0: PUSH1 0x40
000023a2: MLOAD
000023a3: DUP1
000023a4: DUP3
000023a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ba: AND
000023bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d0: AND
000023d1: PUSH13 0x01000000000000000000000000
000023df: MUL
000023e0: DUP2
000023e1: MSTORE
000023e2: PUSH1 0x14
000023e4: ADD
000023e5: SWAP2
000023e6: POP
000023e7: POP
000023e8: PUSH1 0x40
000023ea: MLOAD
000023eb: DUP1
000023ec: SWAP2
000023ed: SUB
000023ee: SWAP1
000023ef: KECCAK256
000023f0: PUSH1 0x00
000023f2: NOT
000023f3: AND
000023f4: PUSH1 0x00
000023f6: NOT
000023f7: AND
000023f8: DUP2
000023f9: MSTORE
000023fa: PUSH1 0x20
000023fc: ADD
000023fd: SWAP1
000023fe: DUP2
000023ff: MSTORE
00002400: PUSH1 0x20
00002402: ADD
00002403: PUSH1 0x00
00002405: KECCAK256
00002406: PUSH1 0x00
00002408: SWAP1
00002409: SLOAD
0000240a: SWAP1
0000240b: PUSH2 0x0100
0000240e: EXP
0000240f: SWAP1
00002410: DIV
00002411: PUSH1 0xff
00002413: AND
00002414: ISZERO
00002415: ISZERO
00002416: PUSH2 0x241e
00002419: JUMPI
0000241a: PUSH1 0x00
0000241c: DUP1
0000241d: REVERT
0000241e: JUMPDEST
0000241f: DUP2
00002420: PUSH1 0x00
00002422: SWAP1
00002423: DUP1
00002424: MLOAD
00002425: SWAP1
00002426: PUSH1 0x20
00002428: ADD
00002429: SWAP1
0000242a: PUSH2 0x2434
0000242d: SWAP3
0000242e: SWAP2
0000242f: SWAP1
00002430: PUSH2 0x2a97
00002433: JUMP
00002434: JUMPDEST
00002435: POP
00002436: POP
00002437: POP
00002438: JUMP
00002439: JUMPDEST
0000243a: PUSH1 0x00
0000243c: DUP1
0000243d: PUSH1 0x00
0000243f: DUP1
00002440: PUSH1 0x00
00002442: DUP1
00002443: PUSH1 0x00
00002445: DUP1
00002446: PUSH1 0x00
00002448: PUSH2 0x244f
0000244b: PUSH2 0x1cd7
0000244e: JUMP
0000244f: JUMPDEST
00002450: GT
00002451: ISZERO
00002452: ISZERO
00002453: PUSH2 0x245b
00002456: JUMPI
00002457: PUSH1 0x00
00002459: DUP1
0000245a: REVERT
0000245b: JUMPDEST
0000245c: CALLER
0000245d: SWAP8
0000245e: POP
0000245f: PUSH1 0x04
00002461: PUSH1 0x00
00002463: DUP10
00002464: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002479: AND
0000247a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000248f: AND
00002490: DUP2
00002491: MSTORE
00002492: PUSH1 0x20
00002494: ADD
00002495: SWAP1
00002496: DUP2
00002497: MSTORE
00002498: PUSH1 0x20
0000249a: ADD
0000249b: PUSH1 0x00
0000249d: KECCAK256
0000249e: SLOAD
0000249f: DUP10
000024a0: GT
000024a1: ISZERO
000024a2: ISZERO
000024a3: ISZERO
000024a4: PUSH2 0x24ac
000024a7: JUMPI
000024a8: PUSH1 0x00
000024aa: DUP1
000024ab: REVERT
000024ac: JUMPDEST
000024ad: DUP9
000024ae: SWAP7
000024af: POP
000024b0: PUSH2 0x24b8
000024b3: DUP8
000024b4: PUSH2 0x2966
000024b7: JUMP
000024b8: JUMPDEST
000024b9: SWAP6
000024ba: POP
000024bb: PUSH2 0x24c8
000024be: DUP7
000024bf: PUSH1 0x05
000024c1: PUSH1 0xff
000024c3: AND
000024c4: PUSH2 0x28a5
000024c7: JUMP
000024c8: JUMPDEST
000024c9: SWAP5
000024ca: POP
000024cb: PUSH2 0x24d4
000024ce: DUP7
000024cf: DUP7
000024d0: PUSH2 0x28c0
000024d3: JUMP
000024d4: JUMPDEST
000024d5: SWAP4
000024d6: POP
000024d7: PUSH2 0x24e4
000024da: DUP6
000024db: PUSH1 0x02
000024dd: PUSH1 0xff
000024df: AND
000024e0: PUSH2 0x28a5
000024e3: JUMP
000024e4: JUMPDEST
000024e5: SWAP3
000024e6: POP
000024e7: PUSH2 0x24f2
000024ea: PUSH1 0x06
000024ec: SLOAD
000024ed: DUP5
000024ee: PUSH2 0x2887
000024f1: JUMP
000024f2: JUMPDEST
000024f3: PUSH1 0x06
000024f5: DUP2
000024f6: SWAP1
000024f7: SSTORE
000024f8: POP
000024f9: PUSH2 0x2502
000024fc: DUP6
000024fd: DUP5
000024fe: PUSH2 0x28c0
00002501: JUMP
00002502: JUMPDEST
00002503: SWAP2
00002504: POP
00002505: PUSH2 0x2510
00002508: PUSH1 0x09
0000250a: SLOAD
0000250b: DUP9
0000250c: PUSH2 0x28c0
0000250f: JUMP
00002510: JUMPDEST
00002511: PUSH1 0x09
00002513: DUP2
00002514: SWAP1
00002515: SSTORE
00002516: POP
00002517: PUSH2 0x255f
0000251a: PUSH1 0x04
0000251c: PUSH1 0x00
0000251e: DUP11
0000251f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002534: AND
00002535: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000254a: AND
0000254b: DUP2
0000254c: MSTORE
0000254d: PUSH1 0x20
0000254f: ADD
00002550: SWAP1
00002551: DUP2
00002552: MSTORE
00002553: PUSH1 0x20
00002555: ADD
00002556: PUSH1 0x00
00002558: KECCAK256
00002559: SLOAD
0000255a: DUP9
0000255b: PUSH2 0x28c0
0000255e: JUMP
0000255f: JUMPDEST
00002560: PUSH1 0x04
00002562: PUSH1 0x00
00002564: DUP11
00002565: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000257a: AND
0000257b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002590: AND
00002591: DUP2
00002592: MSTORE
00002593: PUSH1 0x20
00002595: ADD
00002596: SWAP1
00002597: DUP2
00002598: MSTORE
00002599: PUSH1 0x20
0000259b: ADD
0000259c: PUSH1 0x00
0000259e: KECCAK256
0000259f: DUP2
000025a0: SWAP1
000025a1: SSTORE
000025a2: POP
000025a3: PUSH9 0x010000000000000000
000025ad: DUP5
000025ae: MUL
000025af: DUP8
000025b0: PUSH1 0x0a
000025b2: SLOAD
000025b3: MUL
000025b4: ADD
000025b5: SWAP1
000025b6: POP
000025b7: DUP1
000025b8: PUSH1 0x07
000025ba: PUSH1 0x00
000025bc: DUP11
000025bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025d2: AND
000025d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025e8: AND
000025e9: DUP2
000025ea: MSTORE
000025eb: PUSH1 0x20
000025ed: ADD
000025ee: SWAP1
000025ef: DUP2
000025f0: MSTORE
000025f1: PUSH1 0x20
000025f3: ADD
000025f4: PUSH1 0x00
000025f6: KECCAK256
000025f7: PUSH1 0x00
000025f9: DUP3
000025fa: DUP3
000025fb: SLOAD
000025fc: SUB
000025fd: SWAP3
000025fe: POP
000025ff: POP
00002600: DUP2
00002601: SWAP1
00002602: SSTORE
00002603: POP
00002604: PUSH1 0x00
00002606: PUSH1 0x09
00002608: SLOAD
00002609: GT
0000260a: ISZERO
0000260b: PUSH2 0x2639
0000260e: JUMPI
0000260f: PUSH2 0x2632
00002612: PUSH1 0x0a
00002614: SLOAD
00002615: PUSH1 0x09
00002617: SLOAD
00002618: PUSH9 0x010000000000000000
00002622: DUP6
00002623: MUL
00002624: DUP2
00002625: ISZERO
00002626: ISZERO
00002627: PUSH2 0x262c
0000262a: JUMPI
0000262b: INVALID
0000262c: JUMPDEST
0000262d: DIV
0000262e: PUSH2 0x2887
00002631: JUMP
00002632: JUMPDEST
00002633: PUSH1 0x0a
00002635: DUP2
00002636: SWAP1
00002637: SSTORE
00002638: POP
00002639: JUMPDEST
0000263a: DUP8
0000263b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002650: AND
00002651: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00002672: DUP9
00002673: DUP7
00002674: PUSH1 0x40
00002676: MLOAD
00002677: DUP1
00002678: DUP4
00002679: DUP2
0000267a: MSTORE
0000267b: PUSH1 0x20
0000267d: ADD
0000267e: DUP3
0000267f: DUP2
00002680: MSTORE
00002681: PUSH1 0x20
00002683: ADD
00002684: SWAP3
00002685: POP
00002686: POP
00002687: POP
00002688: PUSH1 0x40
0000268a: MLOAD
0000268b: DUP1
0000268c: SWAP2
0000268d: SUB
0000268e: SWAP1
0000268f: LOG2
00002690: POP
00002691: POP
00002692: POP
00002693: POP
00002694: POP
00002695: POP
00002696: POP
00002697: POP
00002698: POP
00002699: JUMP
0000269a: JUMPDEST
0000269b: PUSH1 0x00
0000269d: DUP1
0000269e: CALLER
0000269f: SWAP2
000026a0: POP
000026a1: PUSH1 0x04
000026a3: PUSH1 0x00
000026a5: DUP4
000026a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026bb: AND
000026bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026d1: AND
000026d2: DUP2
000026d3: MSTORE
000026d4: PUSH1 0x20
000026d6: ADD
000026d7: SWAP1
000026d8: DUP2
000026d9: MSTORE
000026da: PUSH1 0x20
000026dc: ADD
000026dd: PUSH1 0x00
000026df: KECCAK256
000026e0: SLOAD
000026e1: SWAP1
000026e2: POP
000026e3: PUSH1 0x00
000026e5: DUP2
000026e6: GT
000026e7: ISZERO
000026e8: PUSH2 0x26f5
000026eb: JUMPI
000026ec: PUSH2 0x26f4
000026ef: DUP2
000026f0: PUSH2 0x2439
000026f3: JUMP
000026f4: JUMPDEST
000026f5: JUMPDEST
000026f6: PUSH2 0x26fd
000026f9: PUSH2 0x1440
000026fc: JUMP
000026fd: JUMPDEST
000026fe: POP
000026ff: POP
00002700: JUMP
00002701: JUMPDEST
00002702: PUSH1 0x00
00002704: PUSH2 0x270d
00002707: CALLVALUE
00002708: DUP4
00002709: PUSH2 0x0909
0000270c: JUMP
0000270d: JUMPDEST
0000270e: POP
0000270f: SWAP2
00002710: SWAP1
00002711: POP
00002712: JUMP
00002713: JUMPDEST
00002714: PUSH1 0x00
00002716: DUP1
00002717: PUSH1 0x00
00002719: DUP1
0000271a: PUSH2 0x2723
0000271d: PUSH1 0x01
0000271f: PUSH2 0x164e
00002722: JUMP
00002723: JUMPDEST
00002724: GT
00002725: ISZERO
00002726: ISZERO
00002727: PUSH2 0x272f
0000272a: JUMPI
0000272b: PUSH1 0x00
0000272d: DUP1
0000272e: REVERT
0000272f: JUMPDEST
00002730: PUSH2 0x2739
00002733: PUSH1 0x00
00002735: PUSH2 0x164e
00002738: JUMP
00002739: JUMPDEST
0000273a: SWAP3
0000273b: POP
0000273c: CALLER
0000273d: SWAP2
0000273e: POP
0000273f: PUSH9 0x010000000000000000
00002749: DUP4
0000274a: MUL
0000274b: PUSH1 0x07
0000274d: PUSH1 0x00
0000274f: DUP5
00002750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002765: AND
00002766: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000277b: AND
0000277c: DUP2
0000277d: MSTORE
0000277e: PUSH1 0x20
00002780: ADD
00002781: SWAP1
00002782: DUP2
00002783: MSTORE
00002784: PUSH1 0x20
00002786: ADD
00002787: PUSH1 0x00
00002789: KECCAK256
0000278a: PUSH1 0x00
0000278c: DUP3
0000278d: DUP3
0000278e: SLOAD
0000278f: ADD
00002790: SWAP3
00002791: POP
00002792: POP
00002793: DUP2
00002794: SWAP1
00002795: SSTORE
00002796: POP
00002797: PUSH1 0x05
00002799: PUSH1 0x00
0000279b: DUP4
0000279c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027b1: AND
000027b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027c7: AND
000027c8: DUP2
000027c9: MSTORE
000027ca: PUSH1 0x20
000027cc: ADD
000027cd: SWAP1
000027ce: DUP2
000027cf: MSTORE
000027d0: PUSH1 0x20
000027d2: ADD
000027d3: PUSH1 0x00
000027d5: KECCAK256
000027d6: SLOAD
000027d7: DUP4
000027d8: ADD
000027d9: SWAP3
000027da: POP
000027db: PUSH1 0x00
000027dd: PUSH1 0x05
000027df: PUSH1 0x00
000027e1: DUP5
000027e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f7: AND
000027f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000280d: AND
0000280e: DUP2
0000280f: MSTORE
00002810: PUSH1 0x20
00002812: ADD
00002813: SWAP1
00002814: DUP2
00002815: MSTORE
00002816: PUSH1 0x20
00002818: ADD
00002819: PUSH1 0x00
0000281b: KECCAK256
0000281c: DUP2
0000281d: SWAP1
0000281e: SSTORE
0000281f: POP
00002820: PUSH2 0x282a
00002823: DUP4
00002824: PUSH1 0x00
00002826: PUSH2 0x0909
00002829: JUMP
0000282a: JUMPDEST
0000282b: SWAP1
0000282c: POP
0000282d: DUP2
0000282e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002843: AND
00002844: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00002865: DUP5
00002866: DUP4
00002867: PUSH1 0x40
00002869: MLOAD
0000286a: DUP1
0000286b: DUP4
0000286c: DUP2
0000286d: MSTORE
0000286e: PUSH1 0x20
00002870: ADD
00002871: DUP3
00002872: DUP2
00002873: MSTORE
00002874: PUSH1 0x20
00002876: ADD
00002877: SWAP3
00002878: POP
00002879: POP
0000287a: POP
0000287b: PUSH1 0x40
0000287d: MLOAD
0000287e: DUP1
0000287f: SWAP2
00002880: SUB
00002881: SWAP1
00002882: LOG2
00002883: POP
00002884: POP
00002885: POP
00002886: JUMP
00002887: JUMPDEST
00002888: PUSH1 0x00
0000288a: DUP1
0000288b: DUP3
0000288c: DUP5
0000288d: ADD
0000288e: SWAP1
0000288f: POP
00002890: DUP4
00002891: DUP2
00002892: LT
00002893: ISZERO
00002894: ISZERO
00002895: ISZERO
00002896: PUSH2 0x289b
00002899: JUMPI
0000289a: INVALID
0000289b: JUMPDEST
0000289c: DUP1
0000289d: SWAP2
0000289e: POP
0000289f: POP
000028a0: SWAP3
000028a1: SWAP2
000028a2: POP
000028a3: POP
000028a4: JUMP
000028a5: JUMPDEST
000028a6: PUSH1 0x00
000028a8: DUP1
000028a9: DUP3
000028aa: DUP5
000028ab: DUP2
000028ac: ISZERO
000028ad: ISZERO
000028ae: PUSH2 0x28b3
000028b1: JUMPI
000028b2: INVALID
000028b3: JUMPDEST
000028b4: DIV
000028b5: SWAP1
000028b6: POP
000028b7: DUP1
000028b8: SWAP2
000028b9: POP
000028ba: POP
000028bb: SWAP3
000028bc: SWAP2
000028bd: POP
000028be: POP
000028bf: JUMP
000028c0: JUMPDEST
000028c1: PUSH1 0x00
000028c3: DUP3
000028c4: DUP3
000028c5: GT
000028c6: ISZERO
000028c7: ISZERO
000028c8: ISZERO
000028c9: PUSH2 0x28ce
000028cc: JUMPI
000028cd: INVALID
000028ce: JUMPDEST
000028cf: DUP2
000028d0: DUP4
000028d1: SUB
000028d2: SWAP1
000028d3: POP
000028d4: SWAP3
000028d5: SWAP2
000028d6: POP
000028d7: POP
000028d8: JUMP
000028d9: JUMPDEST
000028da: PUSH1 0x00
000028dc: DUP1
000028dd: PUSH1 0x00
000028df: PUSH8 0x0de0b6b3a7640000
000028e8: PUSH5 0x174876e800
000028ee: MUL
000028ef: SWAP2
000028f0: POP
000028f1: PUSH1 0x09
000028f3: SLOAD
000028f4: PUSH5 0x02540be400
000028fa: PUSH2 0x294f
000028fd: PUSH2 0x2949
00002900: PUSH1 0x09
00002902: SLOAD
00002903: DUP7
00002904: PUSH5 0x02540be400
0000290a: PUSH1 0x02
0000290c: MUL
0000290d: MUL
0000290e: MUL
0000290f: PUSH1 0x02
00002911: PUSH1 0x09
00002913: SLOAD
00002914: EXP
00002915: PUSH1 0x02
00002917: PUSH5 0x02540be400
0000291d: EXP
0000291e: MUL
0000291f: PUSH8 0x0de0b6b3a7640000
00002928: DUP11
00002929: MUL
0000292a: PUSH8 0x0de0b6b3a7640000
00002933: PUSH5 0x02540be400
00002939: MUL
0000293a: PUSH1 0x02
0000293c: MUL
0000293d: MUL
0000293e: PUSH1 0x02
00002940: DUP10
00002941: EXP
00002942: ADD
00002943: ADD
00002944: ADD
00002945: PUSH2 0x2a4c
00002948: JUMP
00002949: JUMPDEST
0000294a: DUP6
0000294b: PUSH2 0x28c0
0000294e: JUMP
0000294f: JUMPDEST
00002950: DUP2
00002951: ISZERO
00002952: ISZERO
00002953: PUSH2 0x2958
00002956: JUMPI
00002957: INVALID
00002958: JUMPDEST
00002959: DIV
0000295a: SUB
0000295b: SWAP1
0000295c: POP
0000295d: DUP1
0000295e: SWAP3
0000295f: POP
00002960: POP
00002961: POP
00002962: SWAP2
00002963: SWAP1
00002964: POP
00002965: JUMP
00002966: JUMPDEST
00002967: PUSH1 0x00
00002969: DUP1
0000296a: PUSH1 0x00
0000296c: DUP1
0000296d: PUSH8 0x0de0b6b3a7640000
00002976: DUP6
00002977: ADD
00002978: SWAP3
00002979: POP
0000297a: PUSH8 0x0de0b6b3a7640000
00002983: PUSH1 0x09
00002985: SLOAD
00002986: ADD
00002987: SWAP2
00002988: POP
00002989: PUSH8 0x0de0b6b3a7640000
00002992: PUSH2 0x29fa
00002995: PUSH8 0x0de0b6b3a7640000
0000299e: DUP6
0000299f: SUB
000029a0: PUSH5 0x02540be400
000029a6: PUSH8 0x0de0b6b3a7640000
000029af: DUP7
000029b0: DUP2
000029b1: ISZERO
000029b2: ISZERO
000029b3: PUSH2 0x29b8
000029b6: JUMPI
000029b7: INVALID
000029b8: JUMPDEST
000029b9: DIV
000029ba: PUSH5 0x02540be400
000029c0: MUL
000029c1: PUSH5 0x174876e800
000029c7: ADD
000029c8: SUB
000029c9: MUL
000029ca: PUSH1 0x02
000029cc: PUSH8 0x0de0b6b3a7640000
000029d5: DUP8
000029d6: PUSH1 0x02
000029d8: DUP10
000029d9: EXP
000029da: SUB
000029db: DUP2
000029dc: ISZERO
000029dd: ISZERO
000029de: PUSH2 0x29e3
000029e1: JUMPI
000029e2: INVALID
000029e3: JUMPDEST
000029e4: DIV
000029e5: PUSH5 0x02540be400
000029eb: MUL
000029ec: DUP2
000029ed: ISZERO
000029ee: ISZERO
000029ef: PUSH2 0x29f4
000029f2: JUMPI
000029f3: INVALID
000029f4: JUMPDEST
000029f5: DIV
000029f6: PUSH2 0x28c0
000029f9: JUMP
000029fa: JUMPDEST
000029fb: DUP2
000029fc: ISZERO
000029fd: ISZERO
000029fe: PUSH2 0x2a03
00002a01: JUMPI
00002a02: INVALID
00002a03: JUMPDEST
00002a04: DIV
00002a05: SWAP1
00002a06: POP
00002a07: DUP1
00002a08: SWAP4
00002a09: POP
00002a0a: POP
00002a0b: POP
00002a0c: POP
00002a0d: SWAP2
00002a0e: SWAP1
00002a0f: POP
00002a10: JUMP
00002a11: JUMPDEST
00002a12: PUSH1 0x00
00002a14: DUP1
00002a15: PUSH1 0x00
00002a17: DUP5
00002a18: EQ
00002a19: ISZERO
00002a1a: PUSH2 0x2a26
00002a1d: JUMPI
00002a1e: PUSH1 0x00
00002a20: SWAP2
00002a21: POP
00002a22: PUSH2 0x2a45
00002a25: JUMP
00002a26: JUMPDEST
00002a27: DUP3
00002a28: DUP5
00002a29: MUL
00002a2a: SWAP1
00002a2b: POP
00002a2c: DUP3
00002a2d: DUP5
00002a2e: DUP3
00002a2f: DUP2
00002a30: ISZERO
00002a31: ISZERO
00002a32: PUSH2 0x2a37
00002a35: JUMPI
00002a36: INVALID
00002a37: JUMPDEST
00002a38: DIV
00002a39: EQ
00002a3a: ISZERO
00002a3b: ISZERO
00002a3c: PUSH2 0x2a41
00002a3f: JUMPI
00002a40: INVALID
00002a41: JUMPDEST
00002a42: DUP1
00002a43: SWAP2
00002a44: POP
00002a45: JUMPDEST
00002a46: POP
00002a47: SWAP3
00002a48: SWAP2
00002a49: POP
00002a4a: POP
00002a4b: JUMP
00002a4c: JUMPDEST
00002a4d: PUSH1 0x00
00002a4f: DUP1
00002a50: PUSH1 0x02
00002a52: PUSH1 0x01
00002a54: DUP5
00002a55: ADD
00002a56: DUP2
00002a57: ISZERO
00002a58: ISZERO
00002a59: PUSH2 0x2a5e
00002a5c: JUMPI
00002a5d: INVALID
00002a5e: JUMPDEST
00002a5f: DIV
00002a60: SWAP1
00002a61: POP
00002a62: DUP3
00002a63: SWAP2
00002a64: POP
00002a65: JUMPDEST
00002a66: DUP2
00002a67: DUP2
00002a68: LT
00002a69: ISZERO
00002a6a: PUSH2 0x2a91
00002a6d: JUMPI
00002a6e: DUP1
00002a6f: SWAP2
00002a70: POP
00002a71: PUSH1 0x02
00002a73: DUP2
00002a74: DUP3
00002a75: DUP6
00002a76: DUP2
00002a77: ISZERO
00002a78: ISZERO
00002a79: PUSH2 0x2a7e
00002a7c: JUMPI
00002a7d: INVALID
00002a7e: JUMPDEST
00002a7f: DIV
00002a80: ADD
00002a81: DUP2
00002a82: ISZERO
00002a83: ISZERO
00002a84: PUSH2 0x2a89
00002a87: JUMPI
00002a88: INVALID
00002a89: JUMPDEST
00002a8a: DIV
00002a8b: SWAP1
00002a8c: POP
00002a8d: PUSH2 0x2a65
00002a90: JUMP
00002a91: JUMPDEST
00002a92: POP
00002a93: SWAP2
00002a94: SWAP1
00002a95: POP
00002a96: JUMP
00002a97: JUMPDEST
00002a98: DUP3
00002a99: DUP1
00002a9a: SLOAD
00002a9b: PUSH1 0x01
00002a9d: DUP2
00002a9e: PUSH1 0x01
00002aa0: AND
00002aa1: ISZERO
00002aa2: PUSH2 0x0100
00002aa5: MUL
00002aa6: SUB
00002aa7: AND
00002aa8: PUSH1 0x02
00002aaa: SWAP1
00002aab: DIV
00002aac: SWAP1
00002aad: PUSH1 0x00
00002aaf: MSTORE
00002ab0: PUSH1 0x20
00002ab2: PUSH1 0x00
00002ab4: KECCAK256
00002ab5: SWAP1
00002ab6: PUSH1 0x1f
00002ab8: ADD
00002ab9: PUSH1 0x20
00002abb: SWAP1
00002abc: DIV
00002abd: DUP2
00002abe: ADD
00002abf: SWAP3
00002ac0: DUP3
00002ac1: PUSH1 0x1f
00002ac3: LT
00002ac4: PUSH2 0x2ad8
00002ac7: JUMPI
00002ac8: DUP1
00002ac9: MLOAD
00002aca: PUSH1 0xff
00002acc: NOT
00002acd: AND
00002ace: DUP4
00002acf: DUP1
00002ad0: ADD
00002ad1: OR
00002ad2: DUP6
00002ad3: SSTORE
00002ad4: PUSH2 0x2b06
00002ad7: JUMP
00002ad8: JUMPDEST
00002ad9: DUP3
00002ada: DUP1
00002adb: ADD
00002adc: PUSH1 0x01
00002ade: ADD
00002adf: DUP6
00002ae0: SSTORE
00002ae1: DUP3
00002ae2: ISZERO
00002ae3: PUSH2 0x2b06
00002ae6: JUMPI
00002ae7: SWAP2
00002ae8: DUP3
00002ae9: ADD
00002aea: JUMPDEST
00002aeb: DUP3
00002aec: DUP2
00002aed: GT
00002aee: ISZERO
00002aef: PUSH2 0x2b05
00002af2: JUMPI
00002af3: DUP3
00002af4: MLOAD
00002af5: DUP3
00002af6: SSTORE
00002af7: SWAP2
00002af8: PUSH1 0x20
00002afa: ADD
00002afb: SWAP2
00002afc: SWAP1
00002afd: PUSH1 0x01
00002aff: ADD
00002b00: SWAP1
00002b01: PUSH2 0x2aea
00002b04: JUMP
00002b05: JUMPDEST
00002b06: JUMPDEST
00002b07: POP
00002b08: SWAP1
00002b09: POP
00002b0a: PUSH2 0x2b13
00002b0d: SWAP2
00002b0e: SWAP1
00002b0f: PUSH2 0x2b17
00002b12: JUMP
00002b13: JUMPDEST
00002b14: POP
00002b15: SWAP1
00002b16: JUMP
00002b17: JUMPDEST
00002b18: PUSH2 0x2b39
00002b1b: SWAP2
00002b1c: SWAP1
00002b1d: JUMPDEST
00002b1e: DUP1
00002b1f: DUP3
00002b20: GT
00002b21: ISZERO
00002b22: PUSH2 0x2b35
00002b25: JUMPI
00002b26: PUSH1 0x00
00002b28: DUP2
00002b29: PUSH1 0x00
00002b2b: SWAP1
00002b2c: SSTORE
00002b2d: POP
00002b2e: PUSH1 0x01
00002b30: ADD
00002b31: PUSH2 0x2b1d
00002b34: JUMP
00002b35: JUMPDEST
00002b36: POP
00002b37: SWAP1
00002b38: JUMP
00002b39: JUMPDEST
00002b3a: SWAP1
00002b3b: JUMP
00002b3c: STOP
00002b3d: LOG1
00002b3e: PUSH6 0x627a7a723058
00002b45: KECCAK256
00002b46: BYTE
00002b47: UNKNOWN(0xBA)
00002b48: UNKNOWN(0xFB)
00002b49: CALLDATASIZE
00002b4a: UNKNOWN(0xC5)
00002b4b: SAR
00002b4c: BLOBBASEFEE
00002b4d: PUSH24 0x55d30c63718e4c133b5a86e0ba35024018be5bcb0e14ee2e
00002b66: STOP
00002b67: UNKNOWN(0x29)
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: 0x79c0307b637d6aa9383256b6b1d1e2fdcf1574b5846d6fb6a26565a65b02ea8b call_targets: 0xe810f80e3401f67e5cb2dd803599bfc9d3bffcb9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x79c0307b637d6aa9383256b6b1d1e2fdcf1574b5846d6fb6a26565a65b02ea8b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe810f80e3401f67e5cb2dd803599bfc9d3bffcb9" ], "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": "0x27defa1f", "selector": "0x27defa1f", "calldata_variants": [ "0x27defa1f", "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x392efb52", "selector": "0x392efb52", "calldata_variants": [ "0x392efb52", "0x392efb520000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5499, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8839, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x79c0307b637d6aa9383256b6b1d1e2fdcf1574b5846d6fb6a26565a65b02ea8b call_targets: 0xe810f80e3401f67e5cb2dd803599bfc9d3bffcb9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x79c0307b637d6aa9383256b6b1d1e2fdcf1574b5846d6fb6a26565a65b02ea8b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe810f80e3401f67e5cb2dd803599bfc9d3bffcb9" ], "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": "0x27defa1f", "selector": "0x27defa1f", "calldata_variants": [ "0x27defa1f", "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x392efb52", "selector": "0x392efb52", "calldata_variants": [ "0x392efb52", "0x392efb520000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5499, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8839, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
Severity