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

Analysis Run

019b3844-93ed-7274-8d90-cd2f7c7d076c

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:19 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?

Confirmed
0
Validated
0
Source
Bytecode only
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
13121 artifact.fetch complete 1 / 3 3 months ago
13122 tool.cast_disasm complete 1 / 3 3 months ago
111754 analysis.bundle complete 1 / 3 1 week ago
111755 capability.graph complete 1 / 3 1 week ago
111756 detector.run complete 1 / 3 1 week ago
111757 validation.fork complete 1 / 3 1 week ago

Artifact

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

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)
1
EXT*/BALANCE
3
Total opcodes
4694
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x015e
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 0x016c
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x06fdde03
00000046: EQ
00000047: PUSH2 0x01b9
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x10d0ffdd
00000051: EQ
00000052: PUSH2 0x0247
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x18160ddd
0000005c: EQ
0000005d: PUSH2 0x027e
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x22609373
00000067: EQ
00000068: PUSH2 0x02a7
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x27defa1f
00000072: EQ
00000073: PUSH2 0x02de
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x313ce567
0000007d: EQ
0000007e: PUSH2 0x030b
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x3ccfd60b
00000088: EQ
00000089: PUSH2 0x033a
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x4b750334
00000093: EQ
00000094: PUSH2 0x034f
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x56d399e8
0000009e: EQ
0000009f: PUSH2 0x0378
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x688abbf7
000000a9: EQ
000000aa: PUSH2 0x03a1
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x6b2f4632
000000b4: EQ
000000b5: PUSH2 0x03da
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x70a08231
000000bf: EQ
000000c0: PUSH2 0x0403
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x76be1585
000000ca: EQ
000000cb: PUSH2 0x0450
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x8328b610
000000d5: EQ
000000d6: PUSH2 0x04a1
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x8620410b
000000e0: EQ
000000e1: PUSH2 0x04c4
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x87c95058
000000eb: EQ
000000ec: PUSH2 0x04ed
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x949e8acd
000000f6: EQ
000000f7: PUSH2 0x0531
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x95d89b41
00000101: EQ
00000102: PUSH2 0x055a
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xa8e04f34
0000010c: EQ
0000010d: PUSH2 0x05e8
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xa9059cbb
00000117: EQ
00000118: PUSH2 0x05fd
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xb84c8246
00000122: EQ
00000123: PUSH2 0x0657
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xc47f0027
0000012d: EQ
0000012e: PUSH2 0x06b4
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xe4849b32
00000138: EQ
00000139: PUSH2 0x0711
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xe9fad8ee
00000143: EQ
00000144: PUSH2 0x0734
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xf088d547
0000014e: EQ
0000014f: PUSH2 0x0749
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xfdb5a03e
00000159: EQ
0000015a: PUSH2 0x078b
0000015d: JUMPI
0000015e: JUMPDEST
0000015f: PUSH2 0x0169
00000162: CALLVALUE
00000163: PUSH1 0x00
00000165: PUSH2 0x07a0
00000168: JUMP
00000169: JUMPDEST
0000016a: POP
0000016b: STOP
0000016c: JUMPDEST
0000016d: CALLVALUE
0000016e: ISZERO
0000016f: PUSH2 0x0177
00000172: JUMPI
00000173: PUSH1 0x00
00000175: DUP1
00000176: REVERT
00000177: JUMPDEST
00000178: PUSH2 0x01a3
0000017b: PUSH1 0x04
0000017d: DUP1
0000017e: DUP1
0000017f: CALLDATALOAD
00000180: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000195: AND
00000196: SWAP1
00000197: PUSH1 0x20
00000199: ADD
0000019a: SWAP1
0000019b: SWAP2
0000019c: SWAP1
0000019d: POP
0000019e: POP
0000019f: PUSH2 0x109f
000001a2: JUMP
000001a3: JUMPDEST
000001a4: PUSH1 0x40
000001a6: MLOAD
000001a7: DUP1
000001a8: DUP3
000001a9: DUP2
000001aa: MSTORE
000001ab: PUSH1 0x20
000001ad: ADD
000001ae: SWAP2
000001af: POP
000001b0: POP
000001b1: PUSH1 0x40
000001b3: MLOAD
000001b4: DUP1
000001b5: SWAP2
000001b6: SUB
000001b7: SWAP1
000001b8: RETURN
000001b9: JUMPDEST
000001ba: CALLVALUE
000001bb: ISZERO
000001bc: PUSH2 0x01c4
000001bf: JUMPI
000001c0: PUSH1 0x00
000001c2: DUP1
000001c3: REVERT
000001c4: JUMPDEST
000001c5: PUSH2 0x01cc
000001c8: PUSH2 0x1141
000001cb: JUMP
000001cc: JUMPDEST
000001cd: PUSH1 0x40
000001cf: MLOAD
000001d0: DUP1
000001d1: DUP1
000001d2: PUSH1 0x20
000001d4: ADD
000001d5: DUP3
000001d6: DUP2
000001d7: SUB
000001d8: DUP3
000001d9: MSTORE
000001da: DUP4
000001db: DUP2
000001dc: DUP2
000001dd: MLOAD
000001de: DUP2
000001df: MSTORE
000001e0: PUSH1 0x20
000001e2: ADD
000001e3: SWAP2
000001e4: POP
000001e5: DUP1
000001e6: MLOAD
000001e7: SWAP1
000001e8: PUSH1 0x20
000001ea: ADD
000001eb: SWAP1
000001ec: DUP1
000001ed: DUP4
000001ee: DUP4
000001ef: PUSH1 0x00
000001f1: JUMPDEST
000001f2: DUP4
000001f3: DUP2
000001f4: LT
000001f5: ISZERO
000001f6: PUSH2 0x020c
000001f9: JUMPI
000001fa: DUP1
000001fb: DUP3
000001fc: ADD
000001fd: MLOAD
000001fe: DUP2
000001ff: DUP5
00000200: ADD
00000201: MSTORE
00000202: PUSH1 0x20
00000204: DUP2
00000205: ADD
00000206: SWAP1
00000207: POP
00000208: PUSH2 0x01f1
0000020b: JUMP
0000020c: JUMPDEST
0000020d: POP
0000020e: POP
0000020f: POP
00000210: POP
00000211: SWAP1
00000212: POP
00000213: SWAP1
00000214: DUP2
00000215: ADD
00000216: SWAP1
00000217: PUSH1 0x1f
00000219: AND
0000021a: DUP1
0000021b: ISZERO
0000021c: PUSH2 0x0239
0000021f: JUMPI
00000220: DUP1
00000221: DUP3
00000222: SUB
00000223: DUP1
00000224: MLOAD
00000225: PUSH1 0x01
00000227: DUP4
00000228: PUSH1 0x20
0000022a: SUB
0000022b: PUSH2 0x0100
0000022e: EXP
0000022f: SUB
00000230: NOT
00000231: AND
00000232: DUP2
00000233: MSTORE
00000234: PUSH1 0x20
00000236: ADD
00000237: SWAP2
00000238: POP
00000239: JUMPDEST
0000023a: POP
0000023b: SWAP3
0000023c: POP
0000023d: POP
0000023e: POP
0000023f: PUSH1 0x40
00000241: MLOAD
00000242: DUP1
00000243: SWAP2
00000244: SUB
00000245: SWAP1
00000246: RETURN
00000247: JUMPDEST
00000248: CALLVALUE
00000249: ISZERO
0000024a: PUSH2 0x0252
0000024d: JUMPI
0000024e: PUSH1 0x00
00000250: DUP1
00000251: REVERT
00000252: JUMPDEST
00000253: PUSH2 0x0268
00000256: PUSH1 0x04
00000258: DUP1
00000259: DUP1
0000025a: CALLDATALOAD
0000025b: SWAP1
0000025c: PUSH1 0x20
0000025e: ADD
0000025f: SWAP1
00000260: SWAP2
00000261: SWAP1
00000262: POP
00000263: POP
00000264: PUSH2 0x11df
00000267: JUMP
00000268: JUMPDEST
00000269: PUSH1 0x40
0000026b: MLOAD
0000026c: DUP1
0000026d: DUP3
0000026e: DUP2
0000026f: MSTORE
00000270: PUSH1 0x20
00000272: ADD
00000273: SWAP2
00000274: POP
00000275: POP
00000276: PUSH1 0x40
00000278: MLOAD
00000279: DUP1
0000027a: SWAP2
0000027b: SUB
0000027c: SWAP1
0000027d: RETURN
0000027e: JUMPDEST
0000027f: CALLVALUE
00000280: ISZERO
00000281: PUSH2 0x0289
00000284: JUMPI
00000285: PUSH1 0x00
00000287: DUP1
00000288: REVERT
00000289: JUMPDEST
0000028a: PUSH2 0x0291
0000028d: PUSH2 0x1217
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH1 0x40
00000294: MLOAD
00000295: DUP1
00000296: DUP3
00000297: DUP2
00000298: MSTORE
00000299: PUSH1 0x20
0000029b: ADD
0000029c: SWAP2
0000029d: POP
0000029e: POP
0000029f: PUSH1 0x40
000002a1: MLOAD
000002a2: DUP1
000002a3: SWAP2
000002a4: SUB
000002a5: SWAP1
000002a6: RETURN
000002a7: JUMPDEST
000002a8: CALLVALUE
000002a9: ISZERO
000002aa: PUSH2 0x02b2
000002ad: JUMPI
000002ae: PUSH1 0x00
000002b0: DUP1
000002b1: REVERT
000002b2: JUMPDEST
000002b3: PUSH2 0x02c8
000002b6: PUSH1 0x04
000002b8: DUP1
000002b9: DUP1
000002ba: CALLDATALOAD
000002bb: SWAP1
000002bc: PUSH1 0x20
000002be: ADD
000002bf: SWAP1
000002c0: SWAP2
000002c1: SWAP1
000002c2: POP
000002c3: POP
000002c4: PUSH2 0x1221
000002c7: JUMP
000002c8: JUMPDEST
000002c9: PUSH1 0x40
000002cb: MLOAD
000002cc: DUP1
000002cd: DUP3
000002ce: DUP2
000002cf: MSTORE
000002d0: PUSH1 0x20
000002d2: ADD
000002d3: SWAP2
000002d4: POP
000002d5: POP
000002d6: PUSH1 0x40
000002d8: MLOAD
000002d9: DUP1
000002da: SWAP2
000002db: SUB
000002dc: SWAP1
000002dd: RETURN
000002de: JUMPDEST
000002df: CALLVALUE
000002e0: ISZERO
000002e1: PUSH2 0x02e9
000002e4: JUMPI
000002e5: PUSH1 0x00
000002e7: DUP1
000002e8: REVERT
000002e9: JUMPDEST
000002ea: PUSH2 0x02f1
000002ed: PUSH2 0x126a
000002f0: JUMP
000002f1: JUMPDEST
000002f2: PUSH1 0x40
000002f4: MLOAD
000002f5: DUP1
000002f6: DUP3
000002f7: ISZERO
000002f8: ISZERO
000002f9: ISZERO
000002fa: ISZERO
000002fb: DUP2
000002fc: MSTORE
000002fd: PUSH1 0x20
000002ff: ADD
00000300: SWAP2
00000301: POP
00000302: POP
00000303: PUSH1 0x40
00000305: MLOAD
00000306: DUP1
00000307: SWAP2
00000308: SUB
00000309: SWAP1
0000030a: RETURN
0000030b: JUMPDEST
0000030c: CALLVALUE
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: PUSH2 0x031e
0000031a: PUSH2 0x127d
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: DUP1
00000323: DUP3
00000324: PUSH1 0xff
00000326: AND
00000327: PUSH1 0xff
00000329: AND
0000032a: DUP2
0000032b: MSTORE
0000032c: PUSH1 0x20
0000032e: ADD
0000032f: SWAP2
00000330: POP
00000331: POP
00000332: PUSH1 0x40
00000334: MLOAD
00000335: DUP1
00000336: SWAP2
00000337: SUB
00000338: SWAP1
00000339: RETURN
0000033a: JUMPDEST
0000033b: CALLVALUE
0000033c: ISZERO
0000033d: PUSH2 0x0345
00000340: JUMPI
00000341: PUSH1 0x00
00000343: DUP1
00000344: REVERT
00000345: JUMPDEST
00000346: PUSH2 0x034d
00000349: PUSH2 0x1282
0000034c: JUMP
0000034d: JUMPDEST
0000034e: STOP
0000034f: JUMPDEST
00000350: CALLVALUE
00000351: ISZERO
00000352: PUSH2 0x035a
00000355: JUMPI
00000356: PUSH1 0x00
00000358: DUP1
00000359: REVERT
0000035a: JUMPDEST
0000035b: PUSH2 0x0362
0000035e: PUSH2 0x141f
00000361: JUMP
00000362: JUMPDEST
00000363: PUSH1 0x40
00000365: MLOAD
00000366: DUP1
00000367: DUP3
00000368: DUP2
00000369: MSTORE
0000036a: PUSH1 0x20
0000036c: ADD
0000036d: SWAP2
0000036e: POP
0000036f: POP
00000370: PUSH1 0x40
00000372: MLOAD
00000373: DUP1
00000374: SWAP2
00000375: SUB
00000376: SWAP1
00000377: RETURN
00000378: JUMPDEST
00000379: CALLVALUE
0000037a: ISZERO
0000037b: PUSH2 0x0383
0000037e: JUMPI
0000037f: PUSH1 0x00
00000381: DUP1
00000382: REVERT
00000383: JUMPDEST
00000384: PUSH2 0x038b
00000387: PUSH2 0x147d
0000038a: JUMP
0000038b: JUMPDEST
0000038c: PUSH1 0x40
0000038e: MLOAD
0000038f: DUP1
00000390: DUP3
00000391: DUP2
00000392: MSTORE
00000393: PUSH1 0x20
00000395: ADD
00000396: SWAP2
00000397: POP
00000398: POP
00000399: PUSH1 0x40
0000039b: MLOAD
0000039c: DUP1
0000039d: SWAP2
0000039e: SUB
0000039f: SWAP1
000003a0: RETURN
000003a1: JUMPDEST
000003a2: CALLVALUE
000003a3: ISZERO
000003a4: PUSH2 0x03ac
000003a7: JUMPI
000003a8: PUSH1 0x00
000003aa: DUP1
000003ab: REVERT
000003ac: JUMPDEST
000003ad: PUSH2 0x03c4
000003b0: PUSH1 0x04
000003b2: DUP1
000003b3: DUP1
000003b4: CALLDATALOAD
000003b5: ISZERO
000003b6: ISZERO
000003b7: SWAP1
000003b8: PUSH1 0x20
000003ba: ADD
000003bb: SWAP1
000003bc: SWAP2
000003bd: SWAP1
000003be: POP
000003bf: POP
000003c0: PUSH2 0x1483
000003c3: JUMP
000003c4: JUMPDEST
000003c5: PUSH1 0x40
000003c7: MLOAD
000003c8: DUP1
000003c9: DUP3
000003ca: DUP2
000003cb: MSTORE
000003cc: PUSH1 0x20
000003ce: ADD
000003cf: SWAP2
000003d0: POP
000003d1: POP
000003d2: PUSH1 0x40
000003d4: MLOAD
000003d5: DUP1
000003d6: SWAP2
000003d7: SUB
000003d8: SWAP1
000003d9: RETURN
000003da: JUMPDEST
000003db: CALLVALUE
000003dc: ISZERO
000003dd: PUSH2 0x03e5
000003e0: JUMPI
000003e1: PUSH1 0x00
000003e3: DUP1
000003e4: REVERT
000003e5: JUMPDEST
000003e6: PUSH2 0x03ed
000003e9: PUSH2 0x14ef
000003ec: JUMP
000003ed: JUMPDEST
000003ee: PUSH1 0x40
000003f0: MLOAD
000003f1: DUP1
000003f2: DUP3
000003f3: DUP2
000003f4: MSTORE
000003f5: PUSH1 0x20
000003f7: ADD
000003f8: SWAP2
000003f9: POP
000003fa: POP
000003fb: PUSH1 0x40
000003fd: MLOAD
000003fe: DUP1
000003ff: SWAP2
00000400: SUB
00000401: SWAP1
00000402: RETURN
00000403: JUMPDEST
00000404: CALLVALUE
00000405: ISZERO
00000406: PUSH2 0x040e
00000409: JUMPI
0000040a: PUSH1 0x00
0000040c: DUP1
0000040d: REVERT
0000040e: JUMPDEST
0000040f: PUSH2 0x043a
00000412: PUSH1 0x04
00000414: DUP1
00000415: DUP1
00000416: CALLDATALOAD
00000417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000042c: AND
0000042d: SWAP1
0000042e: PUSH1 0x20
00000430: ADD
00000431: SWAP1
00000432: SWAP2
00000433: SWAP1
00000434: POP
00000435: POP
00000436: PUSH2 0x150e
00000439: JUMP
0000043a: JUMPDEST
0000043b: PUSH1 0x40
0000043d: MLOAD
0000043e: DUP1
0000043f: DUP3
00000440: DUP2
00000441: MSTORE
00000442: PUSH1 0x20
00000444: ADD
00000445: SWAP2
00000446: POP
00000447: POP
00000448: PUSH1 0x40
0000044a: MLOAD
0000044b: DUP1
0000044c: SWAP2
0000044d: SUB
0000044e: SWAP1
0000044f: RETURN
00000450: JUMPDEST
00000451: CALLVALUE
00000452: ISZERO
00000453: PUSH2 0x045b
00000456: JUMPI
00000457: PUSH1 0x00
00000459: DUP1
0000045a: REVERT
0000045b: JUMPDEST
0000045c: PUSH2 0x0487
0000045f: PUSH1 0x04
00000461: DUP1
00000462: DUP1
00000463: CALLDATALOAD
00000464: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000479: AND
0000047a: SWAP1
0000047b: PUSH1 0x20
0000047d: ADD
0000047e: SWAP1
0000047f: SWAP2
00000480: SWAP1
00000481: POP
00000482: POP
00000483: PUSH2 0x1557
00000486: JUMP
00000487: JUMPDEST
00000488: PUSH1 0x40
0000048a: MLOAD
0000048b: DUP1
0000048c: DUP3
0000048d: ISZERO
0000048e: ISZERO
0000048f: ISZERO
00000490: ISZERO
00000491: DUP2
00000492: MSTORE
00000493: PUSH1 0x20
00000495: ADD
00000496: SWAP2
00000497: POP
00000498: POP
00000499: PUSH1 0x40
0000049b: MLOAD
0000049c: DUP1
0000049d: SWAP2
0000049e: SUB
0000049f: SWAP1
000004a0: RETURN
000004a1: JUMPDEST
000004a2: CALLVALUE
000004a3: ISZERO
000004a4: PUSH2 0x04ac
000004a7: JUMPI
000004a8: PUSH1 0x00
000004aa: DUP1
000004ab: REVERT
000004ac: JUMPDEST
000004ad: PUSH2 0x04c2
000004b0: PUSH1 0x04
000004b2: DUP1
000004b3: DUP1
000004b4: CALLDATALOAD
000004b5: SWAP1
000004b6: PUSH1 0x20
000004b8: ADD
000004b9: SWAP1
000004ba: SWAP2
000004bb: SWAP1
000004bc: POP
000004bd: POP
000004be: PUSH2 0x1577
000004c1: JUMP
000004c2: JUMPDEST
000004c3: STOP
000004c4: JUMPDEST
000004c5: CALLVALUE
000004c6: ISZERO
000004c7: PUSH2 0x04cf
000004ca: JUMPI
000004cb: PUSH1 0x00
000004cd: DUP1
000004ce: REVERT
000004cf: JUMPDEST
000004d0: PUSH2 0x04d7
000004d3: PUSH2 0x15df
000004d6: JUMP
000004d7: JUMPDEST
000004d8: PUSH1 0x40
000004da: MLOAD
000004db: DUP1
000004dc: DUP3
000004dd: DUP2
000004de: MSTORE
000004df: PUSH1 0x20
000004e1: ADD
000004e2: SWAP2
000004e3: POP
000004e4: POP
000004e5: PUSH1 0x40
000004e7: MLOAD
000004e8: DUP1
000004e9: SWAP2
000004ea: SUB
000004eb: SWAP1
000004ec: RETURN
000004ed: JUMPDEST
000004ee: CALLVALUE
000004ef: ISZERO
000004f0: PUSH2 0x04f8
000004f3: JUMPI
000004f4: PUSH1 0x00
000004f6: DUP1
000004f7: REVERT
000004f8: JUMPDEST
000004f9: PUSH2 0x052f
000004fc: PUSH1 0x04
000004fe: DUP1
000004ff: DUP1
00000500: CALLDATALOAD
00000501: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000516: AND
00000517: SWAP1
00000518: PUSH1 0x20
0000051a: ADD
0000051b: SWAP1
0000051c: SWAP2
0000051d: SWAP1
0000051e: DUP1
0000051f: CALLDATALOAD
00000520: ISZERO
00000521: ISZERO
00000522: SWAP1
00000523: PUSH1 0x20
00000525: ADD
00000526: SWAP1
00000527: SWAP2
00000528: SWAP1
00000529: POP
0000052a: POP
0000052b: PUSH2 0x163d
0000052e: JUMP
0000052f: JUMPDEST
00000530: STOP
00000531: JUMPDEST
00000532: CALLVALUE
00000533: ISZERO
00000534: PUSH2 0x053c
00000537: JUMPI
00000538: PUSH1 0x00
0000053a: DUP1
0000053b: REVERT
0000053c: JUMPDEST
0000053d: PUSH2 0x0544
00000540: PUSH2 0x16f6
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH1 0x40
00000547: MLOAD
00000548: DUP1
00000549: DUP3
0000054a: DUP2
0000054b: MSTORE
0000054c: PUSH1 0x20
0000054e: ADD
0000054f: SWAP2
00000550: POP
00000551: POP
00000552: PUSH1 0x40
00000554: MLOAD
00000555: DUP1
00000556: SWAP2
00000557: SUB
00000558: SWAP1
00000559: RETURN
0000055a: JUMPDEST
0000055b: CALLVALUE
0000055c: ISZERO
0000055d: PUSH2 0x0565
00000560: JUMPI
00000561: PUSH1 0x00
00000563: DUP1
00000564: REVERT
00000565: JUMPDEST
00000566: PUSH2 0x056d
00000569: PUSH2 0x170b
0000056c: JUMP
0000056d: JUMPDEST
0000056e: PUSH1 0x40
00000570: MLOAD
00000571: DUP1
00000572: DUP1
00000573: PUSH1 0x20
00000575: ADD
00000576: DUP3
00000577: DUP2
00000578: SUB
00000579: DUP3
0000057a: MSTORE
0000057b: DUP4
0000057c: DUP2
0000057d: DUP2
0000057e: MLOAD
0000057f: DUP2
00000580: MSTORE
00000581: PUSH1 0x20
00000583: ADD
00000584: SWAP2
00000585: POP
00000586: DUP1
00000587: MLOAD
00000588: SWAP1
00000589: PUSH1 0x20
0000058b: ADD
0000058c: SWAP1
0000058d: DUP1
0000058e: DUP4
0000058f: DUP4
00000590: PUSH1 0x00
00000592: JUMPDEST
00000593: DUP4
00000594: DUP2
00000595: LT
00000596: ISZERO
00000597: PUSH2 0x05ad
0000059a: JUMPI
0000059b: DUP1
0000059c: DUP3
0000059d: ADD
0000059e: MLOAD
0000059f: DUP2
000005a0: DUP5
000005a1: ADD
000005a2: MSTORE
000005a3: PUSH1 0x20
000005a5: DUP2
000005a6: ADD
000005a7: SWAP1
000005a8: POP
000005a9: PUSH2 0x0592
000005ac: JUMP
000005ad: JUMPDEST
000005ae: POP
000005af: POP
000005b0: POP
000005b1: POP
000005b2: SWAP1
000005b3: POP
000005b4: SWAP1
000005b5: DUP2
000005b6: ADD
000005b7: SWAP1
000005b8: PUSH1 0x1f
000005ba: AND
000005bb: DUP1
000005bc: ISZERO
000005bd: PUSH2 0x05da
000005c0: JUMPI
000005c1: DUP1
000005c2: DUP3
000005c3: SUB
000005c4: DUP1
000005c5: MLOAD
000005c6: PUSH1 0x01
000005c8: DUP4
000005c9: PUSH1 0x20
000005cb: SUB
000005cc: PUSH2 0x0100
000005cf: EXP
000005d0: SUB
000005d1: NOT
000005d2: AND
000005d3: DUP2
000005d4: MSTORE
000005d5: PUSH1 0x20
000005d7: ADD
000005d8: SWAP2
000005d9: POP
000005da: JUMPDEST
000005db: POP
000005dc: SWAP3
000005dd: POP
000005de: POP
000005df: POP
000005e0: PUSH1 0x40
000005e2: MLOAD
000005e3: DUP1
000005e4: SWAP2
000005e5: SUB
000005e6: SWAP1
000005e7: RETURN
000005e8: JUMPDEST
000005e9: CALLVALUE
000005ea: ISZERO
000005eb: PUSH2 0x05f3
000005ee: JUMPI
000005ef: PUSH1 0x00
000005f1: DUP1
000005f2: REVERT
000005f3: JUMPDEST
000005f4: PUSH2 0x05fb
000005f7: PUSH2 0x17a9
000005fa: JUMP
000005fb: JUMPDEST
000005fc: STOP
000005fd: JUMPDEST
000005fe: CALLVALUE
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: PUSH2 0x063d
0000060c: PUSH1 0x04
0000060e: DUP1
0000060f: DUP1
00000610: CALLDATALOAD
00000611: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000626: AND
00000627: SWAP1
00000628: PUSH1 0x20
0000062a: ADD
0000062b: SWAP1
0000062c: SWAP2
0000062d: SWAP1
0000062e: DUP1
0000062f: CALLDATALOAD
00000630: SWAP1
00000631: PUSH1 0x20
00000633: ADD
00000634: SWAP1
00000635: SWAP2
00000636: SWAP1
00000637: POP
00000638: POP
00000639: PUSH2 0x1824
0000063c: JUMP
0000063d: JUMPDEST
0000063e: PUSH1 0x40
00000640: MLOAD
00000641: DUP1
00000642: DUP3
00000643: ISZERO
00000644: ISZERO
00000645: ISZERO
00000646: ISZERO
00000647: DUP2
00000648: MSTORE
00000649: PUSH1 0x20
0000064b: ADD
0000064c: SWAP2
0000064d: POP
0000064e: POP
0000064f: PUSH1 0x40
00000651: MLOAD
00000652: DUP1
00000653: SWAP2
00000654: SUB
00000655: SWAP1
00000656: RETURN
00000657: JUMPDEST
00000658: CALLVALUE
00000659: ISZERO
0000065a: PUSH2 0x0662
0000065d: JUMPI
0000065e: PUSH1 0x00
00000660: DUP1
00000661: REVERT
00000662: JUMPDEST
00000663: PUSH2 0x06b2
00000666: PUSH1 0x04
00000668: DUP1
00000669: DUP1
0000066a: CALLDATALOAD
0000066b: SWAP1
0000066c: PUSH1 0x20
0000066e: ADD
0000066f: SWAP1
00000670: DUP3
00000671: ADD
00000672: DUP1
00000673: CALLDATALOAD
00000674: SWAP1
00000675: PUSH1 0x20
00000677: ADD
00000678: SWAP1
00000679: DUP1
0000067a: DUP1
0000067b: PUSH1 0x1f
0000067d: ADD
0000067e: PUSH1 0x20
00000680: DUP1
00000681: SWAP2
00000682: DIV
00000683: MUL
00000684: PUSH1 0x20
00000686: ADD
00000687: PUSH1 0x40
00000689: MLOAD
0000068a: SWAP1
0000068b: DUP2
0000068c: ADD
0000068d: PUSH1 0x40
0000068f: MSTORE
00000690: DUP1
00000691: SWAP4
00000692: SWAP3
00000693: SWAP2
00000694: SWAP1
00000695: DUP2
00000696: DUP2
00000697: MSTORE
00000698: PUSH1 0x20
0000069a: ADD
0000069b: DUP4
0000069c: DUP4
0000069d: DUP1
0000069e: DUP3
0000069f: DUP5
000006a0: CALLDATACOPY
000006a1: DUP3
000006a2: ADD
000006a3: SWAP2
000006a4: POP
000006a5: POP
000006a6: POP
000006a7: POP
000006a8: POP
000006a9: POP
000006aa: SWAP2
000006ab: SWAP1
000006ac: POP
000006ad: POP
000006ae: PUSH2 0x1b56
000006b1: JUMP
000006b2: JUMPDEST
000006b3: STOP
000006b4: JUMPDEST
000006b5: CALLVALUE
000006b6: ISZERO
000006b7: PUSH2 0x06bf
000006ba: JUMPI
000006bb: PUSH1 0x00
000006bd: DUP1
000006be: REVERT
000006bf: JUMPDEST
000006c0: PUSH2 0x070f
000006c3: PUSH1 0x04
000006c5: DUP1
000006c6: DUP1
000006c7: CALLDATALOAD
000006c8: SWAP1
000006c9: PUSH1 0x20
000006cb: ADD
000006cc: SWAP1
000006cd: DUP3
000006ce: ADD
000006cf: DUP1
000006d0: CALLDATALOAD
000006d1: SWAP1
000006d2: PUSH1 0x20
000006d4: ADD
000006d5: SWAP1
000006d6: DUP1
000006d7: DUP1
000006d8: PUSH1 0x1f
000006da: ADD
000006db: PUSH1 0x20
000006dd: DUP1
000006de: SWAP2
000006df: DIV
000006e0: MUL
000006e1: PUSH1 0x20
000006e3: ADD
000006e4: PUSH1 0x40
000006e6: MLOAD
000006e7: SWAP1
000006e8: DUP2
000006e9: ADD
000006ea: PUSH1 0x40
000006ec: MSTORE
000006ed: DUP1
000006ee: SWAP4
000006ef: SWAP3
000006f0: SWAP2
000006f1: SWAP1
000006f2: DUP2
000006f3: DUP2
000006f4: MSTORE
000006f5: PUSH1 0x20
000006f7: ADD
000006f8: DUP4
000006f9: DUP4
000006fa: DUP1
000006fb: DUP3
000006fc: DUP5
000006fd: CALLDATACOPY
000006fe: DUP3
000006ff: ADD
00000700: SWAP2
00000701: POP
00000702: POP
00000703: POP
00000704: POP
00000705: POP
00000706: POP
00000707: SWAP2
00000708: SWAP1
00000709: POP
0000070a: POP
0000070b: PUSH2 0x1bce
0000070e: JUMP
0000070f: JUMPDEST
00000710: STOP
00000711: JUMPDEST
00000712: CALLVALUE
00000713: ISZERO
00000714: PUSH2 0x071c
00000717: JUMPI
00000718: PUSH1 0x00
0000071a: DUP1
0000071b: REVERT
0000071c: JUMPDEST
0000071d: PUSH2 0x0732
00000720: PUSH1 0x04
00000722: DUP1
00000723: DUP1
00000724: CALLDATALOAD
00000725: SWAP1
00000726: PUSH1 0x20
00000728: ADD
00000729: SWAP1
0000072a: SWAP2
0000072b: SWAP1
0000072c: POP
0000072d: POP
0000072e: PUSH2 0x1c46
00000731: JUMP
00000732: JUMPDEST
00000733: STOP
00000734: JUMPDEST
00000735: CALLVALUE
00000736: ISZERO
00000737: PUSH2 0x073f
0000073a: JUMPI
0000073b: PUSH1 0x00
0000073d: DUP1
0000073e: REVERT
0000073f: JUMPDEST
00000740: PUSH2 0x0747
00000743: PUSH2 0x1e74
00000746: JUMP
00000747: JUMPDEST
00000748: STOP
00000749: JUMPDEST
0000074a: PUSH2 0x0775
0000074d: PUSH1 0x04
0000074f: DUP1
00000750: DUP1
00000751: CALLDATALOAD
00000752: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000767: AND
00000768: SWAP1
00000769: PUSH1 0x20
0000076b: ADD
0000076c: SWAP1
0000076d: SWAP2
0000076e: SWAP1
0000076f: POP
00000770: POP
00000771: PUSH2 0x1edb
00000774: JUMP
00000775: JUMPDEST
00000776: PUSH1 0x40
00000778: MLOAD
00000779: DUP1
0000077a: DUP3
0000077b: DUP2
0000077c: MSTORE
0000077d: PUSH1 0x20
0000077f: ADD
00000780: SWAP2
00000781: POP
00000782: POP
00000783: PUSH1 0x40
00000785: MLOAD
00000786: DUP1
00000787: SWAP2
00000788: SUB
00000789: SWAP1
0000078a: RETURN
0000078b: JUMPDEST
0000078c: CALLVALUE
0000078d: ISZERO
0000078e: PUSH2 0x0796
00000791: JUMPI
00000792: PUSH1 0x00
00000794: DUP1
00000795: REVERT
00000796: JUMPDEST
00000797: PUSH2 0x079e
0000079a: PUSH2 0x1eed
0000079d: JUMP
0000079e: JUMPDEST
0000079f: STOP
000007a0: JUMPDEST
000007a1: PUSH1 0x00
000007a3: DUP1
000007a4: PUSH1 0x00
000007a6: DUP1
000007a7: PUSH1 0x00
000007a9: DUP1
000007aa: PUSH1 0x00
000007ac: DUP1
000007ad: PUSH1 0x00
000007af: DUP11
000007b0: PUSH1 0x00
000007b2: CALLER
000007b3: SWAP1
000007b4: POP
000007b5: PUSH1 0x0b
000007b7: PUSH1 0x00
000007b9: SWAP1
000007ba: SLOAD
000007bb: SWAP1
000007bc: PUSH2 0x0100
000007bf: EXP
000007c0: SWAP1
000007c1: DIV
000007c2: PUSH1 0xff
000007c4: AND
000007c5: DUP1
000007c6: ISZERO
000007c7: PUSH2 0x07e1
000007ca: JUMPI
000007cb: POP
000007cc: PUSH8 0x1bc16d674ec80000
000007d5: DUP3
000007d6: PUSH2 0x07dd
000007d9: PUSH2 0x14ef
000007dc: JUMP
000007dd: JUMPDEST
000007de: SUB
000007df: GT
000007e0: ISZERO
000007e1: JUMPDEST
000007e2: ISZERO
000007e3: PUSH2 0x0ccf
000007e6: JUMPI
000007e7: PUSH1 0x01
000007e9: ISZERO
000007ea: ISZERO
000007eb: PUSH1 0x03
000007ed: PUSH1 0x00
000007ef: DUP4
000007f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000805: AND
00000806: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000081b: AND
0000081c: DUP2
0000081d: MSTORE
0000081e: PUSH1 0x20
00000820: ADD
00000821: SWAP1
00000822: DUP2
00000823: MSTORE
00000824: PUSH1 0x20
00000826: ADD
00000827: PUSH1 0x00
00000829: KECCAK256
0000082a: PUSH1 0x00
0000082c: SWAP1
0000082d: SLOAD
0000082e: SWAP1
0000082f: PUSH2 0x0100
00000832: EXP
00000833: SWAP1
00000834: DIV
00000835: PUSH1 0xff
00000837: AND
00000838: ISZERO
00000839: ISZERO
0000083a: EQ
0000083b: DUP1
0000083c: ISZERO
0000083d: PUSH2 0x088f
00000840: JUMPI
00000841: POP
00000842: PUSH8 0x0de0b6b3a7640000
0000084b: DUP3
0000084c: PUSH1 0x07
0000084e: PUSH1 0x00
00000850: DUP5
00000851: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000866: AND
00000867: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000087c: AND
0000087d: DUP2
0000087e: MSTORE
0000087f: PUSH1 0x20
00000881: ADD
00000882: SWAP1
00000883: DUP2
00000884: MSTORE
00000885: PUSH1 0x20
00000887: ADD
00000888: PUSH1 0x00
0000088a: KECCAK256
0000088b: SLOAD
0000088c: ADD
0000088d: GT
0000088e: ISZERO
0000088f: JUMPDEST
00000890: ISZERO
00000891: ISZERO
00000892: PUSH2 0x089a
00000895: JUMPI
00000896: PUSH1 0x00
00000898: DUP1
00000899: REVERT
0000089a: JUMPDEST
0000089b: PUSH2 0x08e3
0000089e: PUSH1 0x07
000008a0: PUSH1 0x00
000008a2: DUP4
000008a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b8: AND
000008b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ce: AND
000008cf: DUP2
000008d0: MSTORE
000008d1: PUSH1 0x20
000008d3: ADD
000008d4: SWAP1
000008d5: DUP2
000008d6: MSTORE
000008d7: PUSH1 0x20
000008d9: ADD
000008da: PUSH1 0x00
000008dc: KECCAK256
000008dd: SLOAD
000008de: DUP4
000008df: PUSH2 0x2061
000008e2: JUMP
000008e3: JUMPDEST
000008e4: PUSH1 0x07
000008e6: PUSH1 0x00
000008e8: DUP4
000008e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fe: AND
000008ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000914: AND
00000915: DUP2
00000916: MSTORE
00000917: PUSH1 0x20
00000919: ADD
0000091a: SWAP1
0000091b: DUP2
0000091c: MSTORE
0000091d: PUSH1 0x20
0000091f: ADD
00000920: PUSH1 0x00
00000922: KECCAK256
00000923: DUP2
00000924: SWAP1
00000925: SSTORE
00000926: POP
00000927: CALLER
00000928: SWAP10
00000929: POP
0000092a: PUSH2 0x0937
0000092d: DUP14
0000092e: PUSH1 0x04
00000930: PUSH1 0xff
00000932: AND
00000933: PUSH2 0x207f
00000936: JUMP
00000937: JUMPDEST
00000938: SWAP9
00000939: POP
0000093a: PUSH2 0x0944
0000093d: DUP10
0000093e: PUSH1 0x03
00000940: PUSH2 0x207f
00000943: JUMP
00000944: JUMPDEST
00000945: SWAP8
00000946: POP
00000947: PUSH2 0x0950
0000094a: DUP10
0000094b: DUP10
0000094c: PUSH2 0x209a
0000094f: JUMP
00000950: JUMPDEST
00000951: SWAP7
00000952: POP
00000953: PUSH2 0x095c
00000956: DUP14
00000957: DUP11
00000958: PUSH2 0x209a
0000095b: JUMP
0000095c: JUMPDEST
0000095d: SWAP6
0000095e: POP
0000095f: PUSH2 0x0967
00000962: DUP7
00000963: PUSH2 0x20b3
00000966: JUMP
00000967: JUMPDEST
00000968: SWAP5
00000969: POP
0000096a: PUSH9 0x010000000000000000
00000974: DUP8
00000975: MUL
00000976: SWAP4
00000977: POP
00000978: PUSH1 0x00
0000097a: DUP6
0000097b: GT
0000097c: DUP1
0000097d: ISZERO
0000097e: PUSH2 0x0993
00000981: JUMPI
00000982: POP
00000983: PUSH1 0x08
00000985: SLOAD
00000986: PUSH2 0x0991
00000989: DUP7
0000098a: PUSH1 0x08
0000098c: SLOAD
0000098d: PUSH2 0x2061
00000990: JUMP
00000991: JUMPDEST
00000992: GT
00000993: JUMPDEST
00000994: ISZERO
00000995: ISZERO
00000996: PUSH2 0x099e
00000999: JUMPI
0000099a: PUSH1 0x00
0000099c: DUP1
0000099d: REVERT
0000099e: JUMPDEST
0000099f: PUSH1 0x00
000009a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b6: AND
000009b7: DUP13
000009b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009cd: AND
000009ce: EQ
000009cf: ISZERO
000009d0: DUP1
000009d1: ISZERO
000009d2: PUSH2 0x0a07
000009d5: JUMPI
000009d6: POP
000009d7: DUP10
000009d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ed: AND
000009ee: DUP13
000009ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a04: AND
00000a05: EQ
00000a06: ISZERO
00000a07: JUMPDEST
00000a08: DUP1
00000a09: ISZERO
00000a0a: PUSH2 0x0a54
00000a0d: JUMPI
00000a0e: POP
00000a0f: PUSH1 0x02
00000a11: SLOAD
00000a12: PUSH1 0x04
00000a14: PUSH1 0x00
00000a16: DUP15
00000a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a2c: AND
00000a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a42: AND
00000a43: DUP2
00000a44: MSTORE
00000a45: PUSH1 0x20
00000a47: ADD
00000a48: SWAP1
00000a49: DUP2
00000a4a: MSTORE
00000a4b: PUSH1 0x20
00000a4d: ADD
00000a4e: PUSH1 0x00
00000a50: KECCAK256
00000a51: SLOAD
00000a52: LT
00000a53: ISZERO
00000a54: JUMPDEST
00000a55: ISZERO
00000a56: PUSH2 0x0aea
00000a59: JUMPI
00000a5a: PUSH2 0x0aa2
00000a5d: PUSH1 0x05
00000a5f: PUSH1 0x00
00000a61: DUP15
00000a62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a77: AND
00000a78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a8d: AND
00000a8e: DUP2
00000a8f: MSTORE
00000a90: PUSH1 0x20
00000a92: ADD
00000a93: SWAP1
00000a94: DUP2
00000a95: MSTORE
00000a96: PUSH1 0x20
00000a98: ADD
00000a99: PUSH1 0x00
00000a9b: KECCAK256
00000a9c: SLOAD
00000a9d: DUP10
00000a9e: PUSH2 0x2061
00000aa1: JUMP
00000aa2: JUMPDEST
00000aa3: PUSH1 0x05
00000aa5: PUSH1 0x00
00000aa7: DUP15
00000aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abd: AND
00000abe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad3: AND
00000ad4: DUP2
00000ad5: MSTORE
00000ad6: PUSH1 0x20
00000ad8: ADD
00000ad9: SWAP1
00000ada: DUP2
00000adb: MSTORE
00000adc: PUSH1 0x20
00000ade: ADD
00000adf: PUSH1 0x00
00000ae1: KECCAK256
00000ae2: DUP2
00000ae3: SWAP1
00000ae4: SSTORE
00000ae5: POP
00000ae6: PUSH2 0x0b05
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: PUSH2 0x0af4
00000aee: DUP8
00000aef: DUP10
00000af0: PUSH2 0x2061
00000af3: JUMP
00000af4: JUMPDEST
00000af5: SWAP7
00000af6: POP
00000af7: PUSH9 0x010000000000000000
00000b01: DUP8
00000b02: MUL
00000b03: SWAP4
00000b04: POP
00000b05: JUMPDEST
00000b06: PUSH1 0x00
00000b08: PUSH1 0x08
00000b0a: SLOAD
00000b0b: GT
00000b0c: ISZERO
00000b0d: PUSH2 0x0b70
00000b10: JUMPI
00000b11: PUSH2 0x0b1c
00000b14: PUSH1 0x08
00000b16: SLOAD
00000b17: DUP7
00000b18: PUSH2 0x2061
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: PUSH1 0x08
00000b1f: DUP2
00000b20: SWAP1
00000b21: SSTORE
00000b22: POP
00000b23: PUSH1 0x08
00000b25: SLOAD
00000b26: PUSH9 0x010000000000000000
00000b30: DUP9
00000b31: MUL
00000b32: DUP2
00000b33: ISZERO
00000b34: ISZERO
00000b35: PUSH2 0x0b3a
00000b38: JUMPI
00000b39: INVALID
00000b3a: JUMPDEST
00000b3b: DIV
00000b3c: PUSH1 0x09
00000b3e: PUSH1 0x00
00000b40: DUP3
00000b41: DUP3
00000b42: SLOAD
00000b43: ADD
00000b44: SWAP3
00000b45: POP
00000b46: POP
00000b47: DUP2
00000b48: SWAP1
00000b49: SSTORE
00000b4a: POP
00000b4b: PUSH1 0x08
00000b4d: SLOAD
00000b4e: PUSH9 0x010000000000000000
00000b58: DUP9
00000b59: MUL
00000b5a: DUP2
00000b5b: ISZERO
00000b5c: ISZERO
00000b5d: PUSH2 0x0b62
00000b60: JUMPI
00000b61: INVALID
00000b62: JUMPDEST
00000b63: DIV
00000b64: DUP6
00000b65: MUL
00000b66: DUP5
00000b67: SUB
00000b68: DUP5
00000b69: SUB
00000b6a: SWAP4
00000b6b: POP
00000b6c: PUSH2 0x0b78
00000b6f: JUMP
00000b70: JUMPDEST
00000b71: DUP5
00000b72: PUSH1 0x08
00000b74: DUP2
00000b75: SWAP1
00000b76: SSTORE
00000b77: POP
00000b78: JUMPDEST
00000b79: PUSH2 0x0bc1
00000b7c: PUSH1 0x04
00000b7e: PUSH1 0x00
00000b80: DUP13
00000b81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b96: AND
00000b97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bac: AND
00000bad: DUP2
00000bae: MSTORE
00000baf: PUSH1 0x20
00000bb1: ADD
00000bb2: SWAP1
00000bb3: DUP2
00000bb4: MSTORE
00000bb5: PUSH1 0x20
00000bb7: ADD
00000bb8: PUSH1 0x00
00000bba: KECCAK256
00000bbb: SLOAD
00000bbc: DUP7
00000bbd: PUSH2 0x2061
00000bc0: JUMP
00000bc1: JUMPDEST
00000bc2: PUSH1 0x04
00000bc4: PUSH1 0x00
00000bc6: DUP13
00000bc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bdc: AND
00000bdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf2: AND
00000bf3: DUP2
00000bf4: MSTORE
00000bf5: PUSH1 0x20
00000bf7: ADD
00000bf8: SWAP1
00000bf9: DUP2
00000bfa: MSTORE
00000bfb: PUSH1 0x20
00000bfd: ADD
00000bfe: PUSH1 0x00
00000c00: KECCAK256
00000c01: DUP2
00000c02: SWAP1
00000c03: SSTORE
00000c04: POP
00000c05: DUP4
00000c06: DUP6
00000c07: PUSH1 0x09
00000c09: SLOAD
00000c0a: MUL
00000c0b: SUB
00000c0c: SWAP3
00000c0d: POP
00000c0e: DUP3
00000c0f: PUSH1 0x06
00000c11: PUSH1 0x00
00000c13: DUP13
00000c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c29: AND
00000c2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3f: AND
00000c40: DUP2
00000c41: MSTORE
00000c42: PUSH1 0x20
00000c44: ADD
00000c45: SWAP1
00000c46: DUP2
00000c47: MSTORE
00000c48: PUSH1 0x20
00000c4a: ADD
00000c4b: PUSH1 0x00
00000c4d: KECCAK256
00000c4e: PUSH1 0x00
00000c50: DUP3
00000c51: DUP3
00000c52: SLOAD
00000c53: ADD
00000c54: SWAP3
00000c55: POP
00000c56: POP
00000c57: DUP2
00000c58: SWAP1
00000c59: SSTORE
00000c5a: POP
00000c5b: DUP12
00000c5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c71: AND
00000c72: DUP11
00000c73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c88: AND
00000c89: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00000caa: DUP16
00000cab: DUP9
00000cac: PUSH1 0x40
00000cae: MLOAD
00000caf: DUP1
00000cb0: DUP4
00000cb1: DUP2
00000cb2: MSTORE
00000cb3: PUSH1 0x20
00000cb5: ADD
00000cb6: DUP3
00000cb7: DUP2
00000cb8: MSTORE
00000cb9: PUSH1 0x20
00000cbb: ADD
00000cbc: SWAP3
00000cbd: POP
00000cbe: POP
00000cbf: POP
00000cc0: PUSH1 0x40
00000cc2: MLOAD
00000cc3: DUP1
00000cc4: SWAP2
00000cc5: SUB
00000cc6: SWAP1
00000cc7: LOG3
00000cc8: DUP5
00000cc9: SWAP11
00000cca: POP
00000ccb: PUSH2 0x108f
00000cce: JUMP
00000ccf: JUMPDEST
00000cd0: PUSH1 0x00
00000cd2: PUSH1 0x0b
00000cd4: PUSH1 0x00
00000cd6: PUSH2 0x0100
00000cd9: EXP
00000cda: DUP2
00000cdb: SLOAD
00000cdc: DUP2
00000cdd: PUSH1 0xff
00000cdf: MUL
00000ce0: NOT
00000ce1: AND
00000ce2: SWAP1
00000ce3: DUP4
00000ce4: ISZERO
00000ce5: ISZERO
00000ce6: MUL
00000ce7: OR
00000ce8: SWAP1
00000ce9: SSTORE
00000cea: POP
00000ceb: CALLER
00000cec: SWAP10
00000ced: POP
00000cee: PUSH2 0x0cfb
00000cf1: DUP14
00000cf2: PUSH1 0x04
00000cf4: PUSH1 0xff
00000cf6: AND
00000cf7: PUSH2 0x207f
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: SWAP9
00000cfd: POP
00000cfe: PUSH2 0x0d08
00000d01: DUP10
00000d02: PUSH1 0x03
00000d04: PUSH2 0x207f
00000d07: JUMP
00000d08: JUMPDEST
00000d09: SWAP8
00000d0a: POP
00000d0b: PUSH2 0x0d14
00000d0e: DUP10
00000d0f: DUP10
00000d10: PUSH2 0x209a
00000d13: JUMP
00000d14: JUMPDEST
00000d15: SWAP7
00000d16: POP
00000d17: PUSH2 0x0d20
00000d1a: DUP14
00000d1b: DUP11
00000d1c: PUSH2 0x209a
00000d1f: JUMP
00000d20: JUMPDEST
00000d21: SWAP6
00000d22: POP
00000d23: PUSH2 0x0d2b
00000d26: DUP7
00000d27: PUSH2 0x20b3
00000d2a: JUMP
00000d2b: JUMPDEST
00000d2c: SWAP5
00000d2d: POP
00000d2e: PUSH9 0x010000000000000000
00000d38: DUP8
00000d39: MUL
00000d3a: SWAP4
00000d3b: POP
00000d3c: PUSH1 0x00
00000d3e: DUP6
00000d3f: GT
00000d40: DUP1
00000d41: ISZERO
00000d42: PUSH2 0x0d57
00000d45: JUMPI
00000d46: POP
00000d47: PUSH1 0x08
00000d49: SLOAD
00000d4a: PUSH2 0x0d55
00000d4d: DUP7
00000d4e: PUSH1 0x08
00000d50: SLOAD
00000d51: PUSH2 0x2061
00000d54: JUMP
00000d55: JUMPDEST
00000d56: GT
00000d57: JUMPDEST
00000d58: ISZERO
00000d59: ISZERO
00000d5a: PUSH2 0x0d62
00000d5d: JUMPI
00000d5e: PUSH1 0x00
00000d60: DUP1
00000d61: REVERT
00000d62: JUMPDEST
00000d63: PUSH1 0x00
00000d65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7a: AND
00000d7b: DUP13
00000d7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d91: AND
00000d92: EQ
00000d93: ISZERO
00000d94: DUP1
00000d95: ISZERO
00000d96: PUSH2 0x0dcb
00000d99: JUMPI
00000d9a: POP
00000d9b: DUP10
00000d9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db1: AND
00000db2: DUP13
00000db3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc8: AND
00000dc9: EQ
00000dca: ISZERO
00000dcb: JUMPDEST
00000dcc: DUP1
00000dcd: ISZERO
00000dce: PUSH2 0x0e18
00000dd1: JUMPI
00000dd2: POP
00000dd3: PUSH1 0x02
00000dd5: SLOAD
00000dd6: PUSH1 0x04
00000dd8: PUSH1 0x00
00000dda: DUP15
00000ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df0: AND
00000df1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e06: AND
00000e07: DUP2
00000e08: MSTORE
00000e09: PUSH1 0x20
00000e0b: ADD
00000e0c: SWAP1
00000e0d: DUP2
00000e0e: MSTORE
00000e0f: PUSH1 0x20
00000e11: ADD
00000e12: PUSH1 0x00
00000e14: KECCAK256
00000e15: SLOAD
00000e16: LT
00000e17: ISZERO
00000e18: JUMPDEST
00000e19: ISZERO
00000e1a: PUSH2 0x0eae
00000e1d: JUMPI
00000e1e: PUSH2 0x0e66
00000e21: PUSH1 0x05
00000e23: PUSH1 0x00
00000e25: DUP15
00000e26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3b: AND
00000e3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e51: AND
00000e52: DUP2
00000e53: MSTORE
00000e54: PUSH1 0x20
00000e56: ADD
00000e57: SWAP1
00000e58: DUP2
00000e59: MSTORE
00000e5a: PUSH1 0x20
00000e5c: ADD
00000e5d: PUSH1 0x00
00000e5f: KECCAK256
00000e60: SLOAD
00000e61: DUP10
00000e62: PUSH2 0x2061
00000e65: JUMP
00000e66: JUMPDEST
00000e67: PUSH1 0x05
00000e69: PUSH1 0x00
00000e6b: DUP15
00000e6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e81: AND
00000e82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e97: AND
00000e98: DUP2
00000e99: MSTORE
00000e9a: PUSH1 0x20
00000e9c: ADD
00000e9d: SWAP1
00000e9e: DUP2
00000e9f: MSTORE
00000ea0: PUSH1 0x20
00000ea2: ADD
00000ea3: PUSH1 0x00
00000ea5: KECCAK256
00000ea6: DUP2
00000ea7: SWAP1
00000ea8: SSTORE
00000ea9: POP
00000eaa: PUSH2 0x0ec9
00000ead: JUMP
00000eae: JUMPDEST
00000eaf: PUSH2 0x0eb8
00000eb2: DUP8
00000eb3: DUP10
00000eb4: PUSH2 0x2061
00000eb7: JUMP
00000eb8: JUMPDEST
00000eb9: SWAP7
00000eba: POP
00000ebb: PUSH9 0x010000000000000000
00000ec5: DUP8
00000ec6: MUL
00000ec7: SWAP4
00000ec8: POP
00000ec9: JUMPDEST
00000eca: PUSH1 0x00
00000ecc: PUSH1 0x08
00000ece: SLOAD
00000ecf: GT
00000ed0: ISZERO
00000ed1: PUSH2 0x0f34
00000ed4: JUMPI
00000ed5: PUSH2 0x0ee0
00000ed8: PUSH1 0x08
00000eda: SLOAD
00000edb: DUP7
00000edc: PUSH2 0x2061
00000edf: JUMP
00000ee0: JUMPDEST
00000ee1: PUSH1 0x08
00000ee3: DUP2
00000ee4: SWAP1
00000ee5: SSTORE
00000ee6: POP
00000ee7: PUSH1 0x08
00000ee9: SLOAD
00000eea: PUSH9 0x010000000000000000
00000ef4: DUP9
00000ef5: MUL
00000ef6: DUP2
00000ef7: ISZERO
00000ef8: ISZERO
00000ef9: PUSH2 0x0efe
00000efc: JUMPI
00000efd: INVALID
00000efe: JUMPDEST
00000eff: DIV
00000f00: PUSH1 0x09
00000f02: PUSH1 0x00
00000f04: DUP3
00000f05: DUP3
00000f06: SLOAD
00000f07: ADD
00000f08: SWAP3
00000f09: POP
00000f0a: POP
00000f0b: DUP2
00000f0c: SWAP1
00000f0d: SSTORE
00000f0e: POP
00000f0f: PUSH1 0x08
00000f11: SLOAD
00000f12: PUSH9 0x010000000000000000
00000f1c: DUP9
00000f1d: MUL
00000f1e: DUP2
00000f1f: ISZERO
00000f20: ISZERO
00000f21: PUSH2 0x0f26
00000f24: JUMPI
00000f25: INVALID
00000f26: JUMPDEST
00000f27: DIV
00000f28: DUP6
00000f29: MUL
00000f2a: DUP5
00000f2b: SUB
00000f2c: DUP5
00000f2d: SUB
00000f2e: SWAP4
00000f2f: POP
00000f30: PUSH2 0x0f3c
00000f33: JUMP
00000f34: JUMPDEST
00000f35: DUP5
00000f36: PUSH1 0x08
00000f38: DUP2
00000f39: SWAP1
00000f3a: SSTORE
00000f3b: POP
00000f3c: JUMPDEST
00000f3d: PUSH2 0x0f85
00000f40: PUSH1 0x04
00000f42: PUSH1 0x00
00000f44: DUP13
00000f45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f5a: AND
00000f5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f70: AND
00000f71: DUP2
00000f72: MSTORE
00000f73: PUSH1 0x20
00000f75: ADD
00000f76: SWAP1
00000f77: DUP2
00000f78: MSTORE
00000f79: PUSH1 0x20
00000f7b: ADD
00000f7c: PUSH1 0x00
00000f7e: KECCAK256
00000f7f: SLOAD
00000f80: DUP7
00000f81: PUSH2 0x2061
00000f84: JUMP
00000f85: JUMPDEST
00000f86: PUSH1 0x04
00000f88: PUSH1 0x00
00000f8a: DUP13
00000f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa0: AND
00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb6: AND
00000fb7: DUP2
00000fb8: MSTORE
00000fb9: PUSH1 0x20
00000fbb: ADD
00000fbc: SWAP1
00000fbd: DUP2
00000fbe: MSTORE
00000fbf: PUSH1 0x20
00000fc1: ADD
00000fc2: PUSH1 0x00
00000fc4: KECCAK256
00000fc5: DUP2
00000fc6: SWAP1
00000fc7: SSTORE
00000fc8: POP
00000fc9: DUP4
00000fca: DUP6
00000fcb: PUSH1 0x09
00000fcd: SLOAD
00000fce: MUL
00000fcf: SUB
00000fd0: SWAP3
00000fd1: POP
00000fd2: DUP3
00000fd3: PUSH1 0x06
00000fd5: PUSH1 0x00
00000fd7: DUP13
00000fd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fed: AND
00000fee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001003: AND
00001004: DUP2
00001005: MSTORE
00001006: PUSH1 0x20
00001008: ADD
00001009: SWAP1
0000100a: DUP2
0000100b: MSTORE
0000100c: PUSH1 0x20
0000100e: ADD
0000100f: PUSH1 0x00
00001011: KECCAK256
00001012: PUSH1 0x00
00001014: DUP3
00001015: DUP3
00001016: SLOAD
00001017: ADD
00001018: SWAP3
00001019: POP
0000101a: POP
0000101b: DUP2
0000101c: SWAP1
0000101d: SSTORE
0000101e: POP
0000101f: DUP12
00001020: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001035: AND
00001036: DUP11
00001037: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104c: AND
0000104d: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
0000106e: DUP16
0000106f: DUP9
00001070: PUSH1 0x40
00001072: MLOAD
00001073: DUP1
00001074: DUP4
00001075: DUP2
00001076: MSTORE
00001077: PUSH1 0x20
00001079: ADD
0000107a: DUP3
0000107b: DUP2
0000107c: MSTORE
0000107d: PUSH1 0x20
0000107f: ADD
00001080: SWAP3
00001081: POP
00001082: POP
00001083: POP
00001084: PUSH1 0x40
00001086: MLOAD
00001087: DUP1
00001088: SWAP2
00001089: SUB
0000108a: SWAP1
0000108b: LOG3
0000108c: DUP5
0000108d: SWAP11
0000108e: POP
0000108f: JUMPDEST
00001090: POP
00001091: POP
00001092: POP
00001093: POP
00001094: POP
00001095: POP
00001096: POP
00001097: POP
00001098: POP
00001099: POP
0000109a: SWAP3
0000109b: SWAP2
0000109c: POP
0000109d: POP
0000109e: JUMP
0000109f: JUMPDEST
000010a0: PUSH1 0x00
000010a2: PUSH9 0x010000000000000000
000010ac: PUSH1 0x06
000010ae: PUSH1 0x00
000010b0: DUP5
000010b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c6: AND
000010c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010dc: AND
000010dd: DUP2
000010de: MSTORE
000010df: PUSH1 0x20
000010e1: ADD
000010e2: SWAP1
000010e3: DUP2
000010e4: MSTORE
000010e5: PUSH1 0x20
000010e7: ADD
000010e8: PUSH1 0x00
000010ea: KECCAK256
000010eb: SLOAD
000010ec: PUSH1 0x04
000010ee: PUSH1 0x00
000010f0: DUP6
000010f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001106: AND
00001107: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000111c: AND
0000111d: DUP2
0000111e: MSTORE
0000111f: PUSH1 0x20
00001121: ADD
00001122: SWAP1
00001123: DUP2
00001124: MSTORE
00001125: PUSH1 0x20
00001127: ADD
00001128: PUSH1 0x00
0000112a: KECCAK256
0000112b: SLOAD
0000112c: PUSH1 0x09
0000112e: SLOAD
0000112f: MUL
00001130: SUB
00001131: DUP2
00001132: ISZERO
00001133: ISZERO
00001134: PUSH2 0x1139
00001137: JUMPI
00001138: INVALID
00001139: JUMPDEST
0000113a: DIV
0000113b: SWAP1
0000113c: POP
0000113d: SWAP2
0000113e: SWAP1
0000113f: POP
00001140: JUMP
00001141: JUMPDEST
00001142: PUSH1 0x00
00001144: DUP1
00001145: SLOAD
00001146: PUSH1 0x01
00001148: DUP2
00001149: PUSH1 0x01
0000114b: AND
0000114c: ISZERO
0000114d: PUSH2 0x0100
00001150: MUL
00001151: SUB
00001152: AND
00001153: PUSH1 0x02
00001155: SWAP1
00001156: DIV
00001157: DUP1
00001158: PUSH1 0x1f
0000115a: ADD
0000115b: PUSH1 0x20
0000115d: DUP1
0000115e: SWAP2
0000115f: DIV
00001160: MUL
00001161: PUSH1 0x20
00001163: ADD
00001164: PUSH1 0x40
00001166: MLOAD
00001167: SWAP1
00001168: DUP2
00001169: ADD
0000116a: PUSH1 0x40
0000116c: MSTORE
0000116d: DUP1
0000116e: SWAP3
0000116f: SWAP2
00001170: SWAP1
00001171: DUP2
00001172: DUP2
00001173: MSTORE
00001174: PUSH1 0x20
00001176: ADD
00001177: DUP3
00001178: DUP1
00001179: SLOAD
0000117a: PUSH1 0x01
0000117c: DUP2
0000117d: PUSH1 0x01
0000117f: AND
00001180: ISZERO
00001181: PUSH2 0x0100
00001184: MUL
00001185: SUB
00001186: AND
00001187: PUSH1 0x02
00001189: SWAP1
0000118a: DIV
0000118b: DUP1
0000118c: ISZERO
0000118d: PUSH2 0x11d7
00001190: JUMPI
00001191: DUP1
00001192: PUSH1 0x1f
00001194: LT
00001195: PUSH2 0x11ac
00001198: JUMPI
00001199: PUSH2 0x0100
0000119c: DUP1
0000119d: DUP4
0000119e: SLOAD
0000119f: DIV
000011a0: MUL
000011a1: DUP4
000011a2: MSTORE
000011a3: SWAP2
000011a4: PUSH1 0x20
000011a6: ADD
000011a7: SWAP2
000011a8: PUSH2 0x11d7
000011ab: JUMP
000011ac: JUMPDEST
000011ad: DUP3
000011ae: ADD
000011af: SWAP2
000011b0: SWAP1
000011b1: PUSH1 0x00
000011b3: MSTORE
000011b4: PUSH1 0x20
000011b6: PUSH1 0x00
000011b8: KECCAK256
000011b9: SWAP1
000011ba: JUMPDEST
000011bb: DUP2
000011bc: SLOAD
000011bd: DUP2
000011be: MSTORE
000011bf: SWAP1
000011c0: PUSH1 0x01
000011c2: ADD
000011c3: SWAP1
000011c4: PUSH1 0x20
000011c6: ADD
000011c7: DUP1
000011c8: DUP4
000011c9: GT
000011ca: PUSH2 0x11ba
000011cd: JUMPI
000011ce: DUP3
000011cf: SWAP1
000011d0: SUB
000011d1: PUSH1 0x1f
000011d3: AND
000011d4: DUP3
000011d5: ADD
000011d6: SWAP2
000011d7: JUMPDEST
000011d8: POP
000011d9: POP
000011da: POP
000011db: POP
000011dc: POP
000011dd: DUP2
000011de: JUMP
000011df: JUMPDEST
000011e0: PUSH1 0x00
000011e2: DUP1
000011e3: PUSH1 0x00
000011e5: DUP1
000011e6: PUSH2 0x11f3
000011e9: DUP6
000011ea: PUSH1 0x04
000011ec: PUSH1 0xff
000011ee: AND
000011ef: PUSH2 0x207f
000011f2: JUMP
000011f3: JUMPDEST
000011f4: SWAP3
000011f5: POP
000011f6: PUSH2 0x11ff
000011f9: DUP6
000011fa: DUP5
000011fb: PUSH2 0x209a
000011fe: JUMP
000011ff: JUMPDEST
00001200: SWAP2
00001201: POP
00001202: PUSH2 0x120a
00001205: DUP3
00001206: PUSH2 0x20b3
00001209: JUMP
0000120a: JUMPDEST
0000120b: SWAP1
0000120c: POP
0000120d: DUP1
0000120e: SWAP4
0000120f: POP
00001210: POP
00001211: POP
00001212: POP
00001213: SWAP2
00001214: SWAP1
00001215: POP
00001216: JUMP
00001217: JUMPDEST
00001218: PUSH1 0x00
0000121a: PUSH1 0x08
0000121c: SLOAD
0000121d: SWAP1
0000121e: POP
0000121f: SWAP1
00001220: JUMP
00001221: JUMPDEST
00001222: PUSH1 0x00
00001224: DUP1
00001225: PUSH1 0x00
00001227: DUP1
00001228: PUSH1 0x08
0000122a: SLOAD
0000122b: DUP6
0000122c: GT
0000122d: ISZERO
0000122e: ISZERO
0000122f: ISZERO
00001230: PUSH2 0x1238
00001233: JUMPI
00001234: PUSH1 0x00
00001236: DUP1
00001237: REVERT
00001238: JUMPDEST
00001239: PUSH2 0x1241
0000123c: DUP6
0000123d: PUSH2 0x2140
00001240: JUMP
00001241: JUMPDEST
00001242: SWAP3
00001243: POP
00001244: PUSH2 0x1251
00001247: DUP4
00001248: PUSH1 0x04
0000124a: PUSH1 0xff
0000124c: AND
0000124d: PUSH2 0x207f
00001250: JUMP
00001251: JUMPDEST
00001252: SWAP2
00001253: POP
00001254: PUSH2 0x125d
00001257: DUP4
00001258: DUP4
00001259: PUSH2 0x209a
0000125c: JUMP
0000125d: JUMPDEST
0000125e: SWAP1
0000125f: POP
00001260: DUP1
00001261: SWAP4
00001262: POP
00001263: POP
00001264: POP
00001265: POP
00001266: SWAP2
00001267: SWAP1
00001268: POP
00001269: JUMP
0000126a: JUMPDEST
0000126b: PUSH1 0x0b
0000126d: PUSH1 0x00
0000126f: SWAP1
00001270: SLOAD
00001271: SWAP1
00001272: PUSH2 0x0100
00001275: EXP
00001276: SWAP1
00001277: DIV
00001278: PUSH1 0xff
0000127a: AND
0000127b: DUP2
0000127c: JUMP
0000127d: JUMPDEST
0000127e: PUSH1 0x12
00001280: DUP2
00001281: JUMP
00001282: JUMPDEST
00001283: PUSH1 0x00
00001285: DUP1
00001286: PUSH1 0x00
00001288: PUSH2 0x1291
0000128b: PUSH1 0x01
0000128d: PUSH2 0x1483
00001290: JUMP
00001291: JUMPDEST
00001292: GT
00001293: ISZERO
00001294: ISZERO
00001295: PUSH2 0x129d
00001298: JUMPI
00001299: PUSH1 0x00
0000129b: DUP1
0000129c: REVERT
0000129d: JUMPDEST
0000129e: CALLER
0000129f: SWAP2
000012a0: POP
000012a1: PUSH2 0x12aa
000012a4: PUSH1 0x00
000012a6: PUSH2 0x1483
000012a9: JUMP
000012aa: JUMPDEST
000012ab: SWAP1
000012ac: POP
000012ad: PUSH9 0x010000000000000000
000012b7: DUP2
000012b8: MUL
000012b9: PUSH1 0x06
000012bb: PUSH1 0x00
000012bd: DUP5
000012be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d3: AND
000012d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e9: AND
000012ea: DUP2
000012eb: MSTORE
000012ec: PUSH1 0x20
000012ee: ADD
000012ef: SWAP1
000012f0: DUP2
000012f1: MSTORE
000012f2: PUSH1 0x20
000012f4: ADD
000012f5: PUSH1 0x00
000012f7: KECCAK256
000012f8: PUSH1 0x00
000012fa: DUP3
000012fb: DUP3
000012fc: SLOAD
000012fd: ADD
000012fe: SWAP3
000012ff: POP
00001300: POP
00001301: DUP2
00001302: SWAP1
00001303: SSTORE
00001304: POP
00001305: PUSH1 0x05
00001307: PUSH1 0x00
00001309: DUP4
0000130a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000131f: AND
00001320: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001335: AND
00001336: DUP2
00001337: MSTORE
00001338: PUSH1 0x20
0000133a: ADD
0000133b: SWAP1
0000133c: DUP2
0000133d: MSTORE
0000133e: PUSH1 0x20
00001340: ADD
00001341: PUSH1 0x00
00001343: KECCAK256
00001344: SLOAD
00001345: DUP2
00001346: ADD
00001347: SWAP1
00001348: POP
00001349: PUSH1 0x00
0000134b: PUSH1 0x05
0000134d: PUSH1 0x00
0000134f: DUP5
00001350: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001365: AND
00001366: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137b: AND
0000137c: DUP2
0000137d: MSTORE
0000137e: PUSH1 0x20
00001380: ADD
00001381: SWAP1
00001382: DUP2
00001383: MSTORE
00001384: PUSH1 0x20
00001386: ADD
00001387: PUSH1 0x00
00001389: KECCAK256
0000138a: DUP2
0000138b: SWAP1
0000138c: SSTORE
0000138d: POP
0000138e: DUP2
0000138f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a4: AND
000013a5: PUSH2 0x08fc
000013a8: DUP3
000013a9: SWAP1
000013aa: DUP2
000013ab: ISZERO
000013ac: MUL
000013ad: SWAP1
000013ae: PUSH1 0x40
000013b0: MLOAD
000013b1: PUSH1 0x00
000013b3: PUSH1 0x40
000013b5: MLOAD
000013b6: DUP1
000013b7: DUP4
000013b8: SUB
000013b9: DUP2
000013ba: DUP6
000013bb: DUP9
000013bc: DUP9
000013bd: CALL
000013be: SWAP4
000013bf: POP
000013c0: POP
000013c1: POP
000013c2: POP
000013c3: ISZERO
000013c4: ISZERO
000013c5: PUSH2 0x13cd
000013c8: JUMPI
000013c9: PUSH1 0x00
000013cb: DUP1
000013cc: REVERT
000013cd: JUMPDEST
000013ce: DUP2
000013cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e4: AND
000013e5: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00001406: DUP3
00001407: PUSH1 0x40
00001409: MLOAD
0000140a: DUP1
0000140b: DUP3
0000140c: DUP2
0000140d: MSTORE
0000140e: PUSH1 0x20
00001410: ADD
00001411: SWAP2
00001412: POP
00001413: POP
00001414: PUSH1 0x40
00001416: MLOAD
00001417: DUP1
00001418: SWAP2
00001419: SUB
0000141a: SWAP1
0000141b: LOG2
0000141c: POP
0000141d: POP
0000141e: JUMP
0000141f: JUMPDEST
00001420: PUSH1 0x00
00001422: DUP1
00001423: PUSH1 0x00
00001425: DUP1
00001426: PUSH1 0x00
00001428: PUSH1 0x08
0000142a: SLOAD
0000142b: EQ
0000142c: ISZERO
0000142d: PUSH2 0x1444
00001430: JUMPI
00001431: PUSH5 0x02540be400
00001437: PUSH5 0x174876e800
0000143d: SUB
0000143e: SWAP4
0000143f: POP
00001440: PUSH2 0x1477
00001443: JUMP
00001444: JUMPDEST
00001445: PUSH2 0x1455
00001448: PUSH8 0x0de0b6b3a7640000
00001451: PUSH2 0x2140
00001454: JUMP
00001455: JUMPDEST
00001456: SWAP3
00001457: POP
00001458: PUSH2 0x1465
0000145b: DUP4
0000145c: PUSH1 0x04
0000145e: PUSH1 0xff
00001460: AND
00001461: PUSH2 0x207f
00001464: JUMP
00001465: JUMPDEST
00001466: SWAP2
00001467: POP
00001468: PUSH2 0x1471
0000146b: DUP4
0000146c: DUP4
0000146d: PUSH2 0x209a
00001470: JUMP
00001471: JUMPDEST
00001472: SWAP1
00001473: POP
00001474: DUP1
00001475: SWAP4
00001476: POP
00001477: JUMPDEST
00001478: POP
00001479: POP
0000147a: POP
0000147b: SWAP1
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH1 0x02
00001480: SLOAD
00001481: DUP2
00001482: JUMP
00001483: JUMPDEST
00001484: PUSH1 0x00
00001486: DUP1
00001487: CALLER
00001488: SWAP1
00001489: POP
0000148a: DUP3
0000148b: PUSH2 0x149c
0000148e: JUMPI
0000148f: PUSH2 0x1497
00001492: DUP2
00001493: PUSH2 0x109f
00001496: JUMP
00001497: JUMPDEST
00001498: PUSH2 0x14e7
0000149b: JUMP
0000149c: JUMPDEST
0000149d: PUSH1 0x05
0000149f: PUSH1 0x00
000014a1: DUP3
000014a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b7: AND
000014b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014cd: AND
000014ce: DUP2
000014cf: MSTORE
000014d0: PUSH1 0x20
000014d2: ADD
000014d3: SWAP1
000014d4: DUP2
000014d5: MSTORE
000014d6: PUSH1 0x20
000014d8: ADD
000014d9: PUSH1 0x00
000014db: KECCAK256
000014dc: SLOAD
000014dd: PUSH2 0x14e5
000014e0: DUP3
000014e1: PUSH2 0x109f
000014e4: JUMP
000014e5: JUMPDEST
000014e6: ADD
000014e7: JUMPDEST
000014e8: SWAP2
000014e9: POP
000014ea: POP
000014eb: SWAP2
000014ec: SWAP1
000014ed: POP
000014ee: JUMP
000014ef: JUMPDEST
000014f0: PUSH1 0x00
000014f2: ADDRESS
000014f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001508: AND
00001509: BALANCE
0000150a: SWAP1
0000150b: POP
0000150c: SWAP1
0000150d: JUMP
0000150e: JUMPDEST
0000150f: PUSH1 0x00
00001511: PUSH1 0x04
00001513: PUSH1 0x00
00001515: DUP4
00001516: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000152b: AND
0000152c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001541: AND
00001542: DUP2
00001543: MSTORE
00001544: PUSH1 0x20
00001546: ADD
00001547: SWAP1
00001548: DUP2
00001549: MSTORE
0000154a: PUSH1 0x20
0000154c: ADD
0000154d: PUSH1 0x00
0000154f: KECCAK256
00001550: SLOAD
00001551: SWAP1
00001552: POP
00001553: SWAP2
00001554: SWAP1
00001555: POP
00001556: JUMP
00001557: JUMPDEST
00001558: PUSH1 0x0a
0000155a: PUSH1 0x20
0000155c: MSTORE
0000155d: DUP1
0000155e: PUSH1 0x00
00001560: MSTORE
00001561: PUSH1 0x40
00001563: PUSH1 0x00
00001565: KECCAK256
00001566: PUSH1 0x00
00001568: SWAP2
00001569: POP
0000156a: SLOAD
0000156b: SWAP1
0000156c: PUSH2 0x0100
0000156f: EXP
00001570: SWAP1
00001571: DIV
00001572: PUSH1 0xff
00001574: AND
00001575: DUP2
00001576: JUMP
00001577: JUMPDEST
00001578: PUSH1 0x00
0000157a: CALLER
0000157b: SWAP1
0000157c: POP
0000157d: PUSH1 0x0a
0000157f: PUSH1 0x00
00001581: DUP3
00001582: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001597: AND
00001598: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ad: AND
000015ae: DUP2
000015af: MSTORE
000015b0: PUSH1 0x20
000015b2: ADD
000015b3: SWAP1
000015b4: DUP2
000015b5: MSTORE
000015b6: PUSH1 0x20
000015b8: ADD
000015b9: PUSH1 0x00
000015bb: KECCAK256
000015bc: PUSH1 0x00
000015be: SWAP1
000015bf: SLOAD
000015c0: SWAP1
000015c1: PUSH2 0x0100
000015c4: EXP
000015c5: SWAP1
000015c6: DIV
000015c7: PUSH1 0xff
000015c9: AND
000015ca: ISZERO
000015cb: ISZERO
000015cc: PUSH2 0x15d4
000015cf: JUMPI
000015d0: PUSH1 0x00
000015d2: DUP1
000015d3: REVERT
000015d4: JUMPDEST
000015d5: DUP2
000015d6: PUSH1 0x02
000015d8: DUP2
000015d9: SWAP1
000015da: SSTORE
000015db: POP
000015dc: POP
000015dd: POP
000015de: JUMP
000015df: JUMPDEST
000015e0: PUSH1 0x00
000015e2: DUP1
000015e3: PUSH1 0x00
000015e5: DUP1
000015e6: PUSH1 0x00
000015e8: PUSH1 0x08
000015ea: SLOAD
000015eb: EQ
000015ec: ISZERO
000015ed: PUSH2 0x1604
000015f0: JUMPI
000015f1: PUSH5 0x02540be400
000015f7: PUSH5 0x174876e800
000015fd: ADD
000015fe: SWAP4
000015ff: POP
00001600: PUSH2 0x1637
00001603: JUMP
00001604: JUMPDEST
00001605: PUSH2 0x1615
00001608: PUSH8 0x0de0b6b3a7640000
00001611: PUSH2 0x2140
00001614: JUMP
00001615: JUMPDEST
00001616: SWAP3
00001617: POP
00001618: PUSH2 0x1625
0000161b: DUP4
0000161c: PUSH1 0x04
0000161e: PUSH1 0xff
00001620: AND
00001621: PUSH2 0x207f
00001624: JUMP
00001625: JUMPDEST
00001626: SWAP2
00001627: POP
00001628: PUSH2 0x1631
0000162b: DUP4
0000162c: DUP4
0000162d: PUSH2 0x2061
00001630: JUMP
00001631: JUMPDEST
00001632: SWAP1
00001633: POP
00001634: DUP1
00001635: SWAP4
00001636: POP
00001637: JUMPDEST
00001638: POP
00001639: POP
0000163a: POP
0000163b: SWAP1
0000163c: JUMP
0000163d: JUMPDEST
0000163e: PUSH1 0x00
00001640: CALLER
00001641: SWAP1
00001642: POP
00001643: PUSH1 0x0a
00001645: PUSH1 0x00
00001647: DUP3
00001648: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000165d: AND
0000165e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001673: AND
00001674: DUP2
00001675: MSTORE
00001676: PUSH1 0x20
00001678: ADD
00001679: SWAP1
0000167a: DUP2
0000167b: MSTORE
0000167c: PUSH1 0x20
0000167e: ADD
0000167f: PUSH1 0x00
00001681: KECCAK256
00001682: PUSH1 0x00
00001684: SWAP1
00001685: SLOAD
00001686: SWAP1
00001687: PUSH2 0x0100
0000168a: EXP
0000168b: SWAP1
0000168c: DIV
0000168d: PUSH1 0xff
0000168f: AND
00001690: ISZERO
00001691: ISZERO
00001692: PUSH2 0x169a
00001695: JUMPI
00001696: PUSH1 0x00
00001698: DUP1
00001699: REVERT
0000169a: JUMPDEST
0000169b: DUP2
0000169c: PUSH1 0x0a
0000169e: PUSH1 0x00
000016a0: DUP6
000016a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b6: AND
000016b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016cc: AND
000016cd: DUP2
000016ce: MSTORE
000016cf: PUSH1 0x20
000016d1: ADD
000016d2: SWAP1
000016d3: DUP2
000016d4: MSTORE
000016d5: PUSH1 0x20
000016d7: ADD
000016d8: PUSH1 0x00
000016da: KECCAK256
000016db: PUSH1 0x00
000016dd: PUSH2 0x0100
000016e0: EXP
000016e1: DUP2
000016e2: SLOAD
000016e3: DUP2
000016e4: PUSH1 0xff
000016e6: MUL
000016e7: NOT
000016e8: AND
000016e9: SWAP1
000016ea: DUP4
000016eb: ISZERO
000016ec: ISZERO
000016ed: MUL
000016ee: OR
000016ef: SWAP1
000016f0: SSTORE
000016f1: POP
000016f2: POP
000016f3: POP
000016f4: POP
000016f5: JUMP
000016f6: JUMPDEST
000016f7: PUSH1 0x00
000016f9: DUP1
000016fa: CALLER
000016fb: SWAP1
000016fc: POP
000016fd: PUSH2 0x1705
00001700: DUP2
00001701: PUSH2 0x150e
00001704: JUMP
00001705: JUMPDEST
00001706: SWAP2
00001707: POP
00001708: POP
00001709: SWAP1
0000170a: JUMP
0000170b: JUMPDEST
0000170c: PUSH1 0x01
0000170e: DUP1
0000170f: SLOAD
00001710: PUSH1 0x01
00001712: DUP2
00001713: PUSH1 0x01
00001715: AND
00001716: ISZERO
00001717: PUSH2 0x0100
0000171a: MUL
0000171b: SUB
0000171c: AND
0000171d: PUSH1 0x02
0000171f: SWAP1
00001720: DIV
00001721: DUP1
00001722: PUSH1 0x1f
00001724: ADD
00001725: PUSH1 0x20
00001727: DUP1
00001728: SWAP2
00001729: DIV
0000172a: MUL
0000172b: PUSH1 0x20
0000172d: ADD
0000172e: PUSH1 0x40
00001730: MLOAD
00001731: SWAP1
00001732: DUP2
00001733: ADD
00001734: PUSH1 0x40
00001736: MSTORE
00001737: DUP1
00001738: SWAP3
00001739: SWAP2
0000173a: SWAP1
0000173b: DUP2
0000173c: DUP2
0000173d: MSTORE
0000173e: PUSH1 0x20
00001740: ADD
00001741: DUP3
00001742: DUP1
00001743: SLOAD
00001744: PUSH1 0x01
00001746: DUP2
00001747: PUSH1 0x01
00001749: AND
0000174a: ISZERO
0000174b: PUSH2 0x0100
0000174e: MUL
0000174f: SUB
00001750: AND
00001751: PUSH1 0x02
00001753: SWAP1
00001754: DIV
00001755: DUP1
00001756: ISZERO
00001757: PUSH2 0x17a1
0000175a: JUMPI
0000175b: DUP1
0000175c: PUSH1 0x1f
0000175e: LT
0000175f: PUSH2 0x1776
00001762: JUMPI
00001763: PUSH2 0x0100
00001766: DUP1
00001767: DUP4
00001768: SLOAD
00001769: DIV
0000176a: MUL
0000176b: DUP4
0000176c: MSTORE
0000176d: SWAP2
0000176e: PUSH1 0x20
00001770: ADD
00001771: SWAP2
00001772: PUSH2 0x17a1
00001775: JUMP
00001776: JUMPDEST
00001777: DUP3
00001778: ADD
00001779: SWAP2
0000177a: SWAP1
0000177b: PUSH1 0x00
0000177d: MSTORE
0000177e: PUSH1 0x20
00001780: PUSH1 0x00
00001782: KECCAK256
00001783: SWAP1
00001784: JUMPDEST
00001785: DUP2
00001786: SLOAD
00001787: DUP2
00001788: MSTORE
00001789: SWAP1
0000178a: PUSH1 0x01
0000178c: ADD
0000178d: SWAP1
0000178e: PUSH1 0x20
00001790: ADD
00001791: DUP1
00001792: DUP4
00001793: GT
00001794: PUSH2 0x1784
00001797: JUMPI
00001798: DUP3
00001799: SWAP1
0000179a: SUB
0000179b: PUSH1 0x1f
0000179d: AND
0000179e: DUP3
0000179f: ADD
000017a0: SWAP2
000017a1: JUMPDEST
000017a2: POP
000017a3: POP
000017a4: POP
000017a5: POP
000017a6: POP
000017a7: DUP2
000017a8: JUMP
000017a9: JUMPDEST
000017aa: PUSH1 0x00
000017ac: CALLER
000017ad: SWAP1
000017ae: POP
000017af: PUSH1 0x0a
000017b1: PUSH1 0x00
000017b3: DUP3
000017b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c9: AND
000017ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017df: AND
000017e0: DUP2
000017e1: MSTORE
000017e2: PUSH1 0x20
000017e4: ADD
000017e5: SWAP1
000017e6: DUP2
000017e7: MSTORE
000017e8: PUSH1 0x20
000017ea: ADD
000017eb: PUSH1 0x00
000017ed: KECCAK256
000017ee: PUSH1 0x00
000017f0: SWAP1
000017f1: SLOAD
000017f2: SWAP1
000017f3: PUSH2 0x0100
000017f6: EXP
000017f7: SWAP1
000017f8: DIV
000017f9: PUSH1 0xff
000017fb: AND
000017fc: ISZERO
000017fd: ISZERO
000017fe: PUSH2 0x1806
00001801: JUMPI
00001802: PUSH1 0x00
00001804: DUP1
00001805: REVERT
00001806: JUMPDEST
00001807: PUSH1 0x00
00001809: PUSH1 0x0b
0000180b: PUSH1 0x00
0000180d: PUSH2 0x0100
00001810: EXP
00001811: DUP2
00001812: SLOAD
00001813: DUP2
00001814: PUSH1 0xff
00001816: MUL
00001817: NOT
00001818: AND
00001819: SWAP1
0000181a: DUP4
0000181b: ISZERO
0000181c: ISZERO
0000181d: MUL
0000181e: OR
0000181f: SWAP1
00001820: SSTORE
00001821: POP
00001822: POP
00001823: JUMP
00001824: JUMPDEST
00001825: PUSH1 0x00
00001827: DUP1
00001828: PUSH1 0x00
0000182a: DUP1
0000182b: PUSH1 0x00
0000182d: DUP1
0000182e: PUSH2 0x1835
00001831: PUSH2 0x16f6
00001834: JUMP
00001835: JUMPDEST
00001836: GT
00001837: ISZERO
00001838: ISZERO
00001839: PUSH2 0x1841
0000183c: JUMPI
0000183d: PUSH1 0x00
0000183f: DUP1
00001840: REVERT
00001841: JUMPDEST
00001842: CALLER
00001843: SWAP4
00001844: POP
00001845: PUSH1 0x0b
00001847: PUSH1 0x00
00001849: SWAP1
0000184a: SLOAD
0000184b: SWAP1
0000184c: PUSH2 0x0100
0000184f: EXP
00001850: SWAP1
00001851: DIV
00001852: PUSH1 0xff
00001854: AND
00001855: ISZERO
00001856: DUP1
00001857: ISZERO
00001858: PUSH2 0x18a0
0000185b: JUMPI
0000185c: POP
0000185d: PUSH1 0x04
0000185f: PUSH1 0x00
00001861: DUP6
00001862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001877: AND
00001878: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188d: AND
0000188e: DUP2
0000188f: MSTORE
00001890: PUSH1 0x20
00001892: ADD
00001893: SWAP1
00001894: DUP2
00001895: MSTORE
00001896: PUSH1 0x20
00001898: ADD
00001899: PUSH1 0x00
0000189b: KECCAK256
0000189c: SLOAD
0000189d: DUP7
0000189e: GT
0000189f: ISZERO
000018a0: JUMPDEST
000018a1: ISZERO
000018a2: ISZERO
000018a3: PUSH2 0x18ab
000018a6: JUMPI
000018a7: PUSH1 0x00
000018a9: DUP1
000018aa: REVERT
000018ab: JUMPDEST
000018ac: PUSH1 0x00
000018ae: PUSH2 0x18b7
000018b1: PUSH1 0x01
000018b3: PUSH2 0x1483
000018b6: JUMP
000018b7: JUMPDEST
000018b8: GT
000018b9: ISZERO
000018ba: PUSH2 0x18c6
000018bd: JUMPI
000018be: PUSH2 0x18c5
000018c1: PUSH2 0x1282
000018c4: JUMP
000018c5: JUMPDEST
000018c6: JUMPDEST
000018c7: PUSH2 0x18d4
000018ca: DUP7
000018cb: PUSH1 0x04
000018cd: PUSH1 0xff
000018cf: AND
000018d0: PUSH2 0x207f
000018d3: JUMP
000018d4: JUMPDEST
000018d5: SWAP3
000018d6: POP
000018d7: PUSH2 0x18e0
000018da: DUP7
000018db: DUP5
000018dc: PUSH2 0x209a
000018df: JUMP
000018e0: JUMPDEST
000018e1: SWAP2
000018e2: POP
000018e3: PUSH2 0x18eb
000018e6: DUP4
000018e7: PUSH2 0x2140
000018ea: JUMP
000018eb: JUMPDEST
000018ec: SWAP1
000018ed: POP
000018ee: PUSH2 0x18f9
000018f1: PUSH1 0x08
000018f3: SLOAD
000018f4: DUP5
000018f5: PUSH2 0x209a
000018f8: JUMP
000018f9: JUMPDEST
000018fa: PUSH1 0x08
000018fc: DUP2
000018fd: SWAP1
000018fe: SSTORE
000018ff: POP
00001900: PUSH2 0x1948
00001903: PUSH1 0x04
00001905: PUSH1 0x00
00001907: DUP7
00001908: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000191d: AND
0000191e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001933: AND
00001934: DUP2
00001935: MSTORE
00001936: PUSH1 0x20
00001938: ADD
00001939: SWAP1
0000193a: DUP2
0000193b: MSTORE
0000193c: PUSH1 0x20
0000193e: ADD
0000193f: PUSH1 0x00
00001941: KECCAK256
00001942: SLOAD
00001943: DUP8
00001944: PUSH2 0x209a
00001947: JUMP
00001948: JUMPDEST
00001949: PUSH1 0x04
0000194b: PUSH1 0x00
0000194d: DUP7
0000194e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001963: AND
00001964: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001979: AND
0000197a: DUP2
0000197b: MSTORE
0000197c: PUSH1 0x20
0000197e: ADD
0000197f: SWAP1
00001980: DUP2
00001981: MSTORE
00001982: PUSH1 0x20
00001984: ADD
00001985: PUSH1 0x00
00001987: KECCAK256
00001988: DUP2
00001989: SWAP1
0000198a: SSTORE
0000198b: POP
0000198c: PUSH2 0x19d4
0000198f: PUSH1 0x04
00001991: PUSH1 0x00
00001993: DUP10
00001994: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a9: AND
000019aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019bf: AND
000019c0: DUP2
000019c1: MSTORE
000019c2: PUSH1 0x20
000019c4: ADD
000019c5: SWAP1
000019c6: DUP2
000019c7: MSTORE
000019c8: PUSH1 0x20
000019ca: ADD
000019cb: PUSH1 0x00
000019cd: KECCAK256
000019ce: SLOAD
000019cf: DUP4
000019d0: PUSH2 0x2061
000019d3: JUMP
000019d4: JUMPDEST
000019d5: PUSH1 0x04
000019d7: PUSH1 0x00
000019d9: DUP10
000019da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ef: AND
000019f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a05: AND
00001a06: DUP2
00001a07: MSTORE
00001a08: PUSH1 0x20
00001a0a: ADD
00001a0b: SWAP1
00001a0c: DUP2
00001a0d: MSTORE
00001a0e: PUSH1 0x20
00001a10: ADD
00001a11: PUSH1 0x00
00001a13: KECCAK256
00001a14: DUP2
00001a15: SWAP1
00001a16: SSTORE
00001a17: POP
00001a18: DUP6
00001a19: PUSH1 0x09
00001a1b: SLOAD
00001a1c: MUL
00001a1d: PUSH1 0x06
00001a1f: PUSH1 0x00
00001a21: DUP7
00001a22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a37: AND
00001a38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4d: AND
00001a4e: DUP2
00001a4f: MSTORE
00001a50: PUSH1 0x20
00001a52: ADD
00001a53: SWAP1
00001a54: DUP2
00001a55: MSTORE
00001a56: PUSH1 0x20
00001a58: ADD
00001a59: PUSH1 0x00
00001a5b: KECCAK256
00001a5c: PUSH1 0x00
00001a5e: DUP3
00001a5f: DUP3
00001a60: SLOAD
00001a61: SUB
00001a62: SWAP3
00001a63: POP
00001a64: POP
00001a65: DUP2
00001a66: SWAP1
00001a67: SSTORE
00001a68: POP
00001a69: DUP2
00001a6a: PUSH1 0x09
00001a6c: SLOAD
00001a6d: MUL
00001a6e: PUSH1 0x06
00001a70: PUSH1 0x00
00001a72: DUP10
00001a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a88: AND
00001a89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9e: AND
00001a9f: DUP2
00001aa0: MSTORE
00001aa1: PUSH1 0x20
00001aa3: ADD
00001aa4: SWAP1
00001aa5: DUP2
00001aa6: MSTORE
00001aa7: PUSH1 0x20
00001aa9: ADD
00001aaa: PUSH1 0x00
00001aac: KECCAK256
00001aad: PUSH1 0x00
00001aaf: DUP3
00001ab0: DUP3
00001ab1: SLOAD
00001ab2: ADD
00001ab3: SWAP3
00001ab4: POP
00001ab5: POP
00001ab6: DUP2
00001ab7: SWAP1
00001ab8: SSTORE
00001ab9: POP
00001aba: PUSH2 0x1add
00001abd: PUSH1 0x09
00001abf: SLOAD
00001ac0: PUSH1 0x08
00001ac2: SLOAD
00001ac3: PUSH9 0x010000000000000000
00001acd: DUP5
00001ace: MUL
00001acf: DUP2
00001ad0: ISZERO
00001ad1: ISZERO
00001ad2: PUSH2 0x1ad7
00001ad5: JUMPI
00001ad6: INVALID
00001ad7: JUMPDEST
00001ad8: DIV
00001ad9: PUSH2 0x2061
00001adc: JUMP
00001add: JUMPDEST
00001ade: PUSH1 0x09
00001ae0: DUP2
00001ae1: SWAP1
00001ae2: SSTORE
00001ae3: POP
00001ae4: DUP7
00001ae5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001afa: AND
00001afb: DUP5
00001afc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b11: AND
00001b12: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001b33: DUP5
00001b34: PUSH1 0x40
00001b36: MLOAD
00001b37: DUP1
00001b38: DUP3
00001b39: DUP2
00001b3a: MSTORE
00001b3b: PUSH1 0x20
00001b3d: ADD
00001b3e: SWAP2
00001b3f: POP
00001b40: POP
00001b41: PUSH1 0x40
00001b43: MLOAD
00001b44: DUP1
00001b45: SWAP2
00001b46: SUB
00001b47: SWAP1
00001b48: LOG3
00001b49: PUSH1 0x01
00001b4b: SWAP5
00001b4c: POP
00001b4d: POP
00001b4e: POP
00001b4f: POP
00001b50: POP
00001b51: SWAP3
00001b52: SWAP2
00001b53: POP
00001b54: POP
00001b55: JUMP
00001b56: JUMPDEST
00001b57: PUSH1 0x00
00001b59: CALLER
00001b5a: SWAP1
00001b5b: POP
00001b5c: PUSH1 0x0a
00001b5e: PUSH1 0x00
00001b60: DUP3
00001b61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b76: AND
00001b77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8c: AND
00001b8d: DUP2
00001b8e: MSTORE
00001b8f: PUSH1 0x20
00001b91: ADD
00001b92: SWAP1
00001b93: DUP2
00001b94: MSTORE
00001b95: PUSH1 0x20
00001b97: ADD
00001b98: PUSH1 0x00
00001b9a: KECCAK256
00001b9b: PUSH1 0x00
00001b9d: SWAP1
00001b9e: SLOAD
00001b9f: SWAP1
00001ba0: PUSH2 0x0100
00001ba3: EXP
00001ba4: SWAP1
00001ba5: DIV
00001ba6: PUSH1 0xff
00001ba8: AND
00001ba9: ISZERO
00001baa: ISZERO
00001bab: PUSH2 0x1bb3
00001bae: JUMPI
00001baf: PUSH1 0x00
00001bb1: DUP1
00001bb2: REVERT
00001bb3: JUMPDEST
00001bb4: DUP2
00001bb5: PUSH1 0x01
00001bb7: SWAP1
00001bb8: DUP1
00001bb9: MLOAD
00001bba: SWAP1
00001bbb: PUSH1 0x20
00001bbd: ADD
00001bbe: SWAP1
00001bbf: PUSH2 0x1bc9
00001bc2: SWAP3
00001bc3: SWAP2
00001bc4: SWAP1
00001bc5: PUSH2 0x2236
00001bc8: JUMP
00001bc9: JUMPDEST
00001bca: POP
00001bcb: POP
00001bcc: POP
00001bcd: JUMP
00001bce: JUMPDEST
00001bcf: PUSH1 0x00
00001bd1: CALLER
00001bd2: SWAP1
00001bd3: POP
00001bd4: PUSH1 0x0a
00001bd6: PUSH1 0x00
00001bd8: DUP3
00001bd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bee: AND
00001bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c04: AND
00001c05: DUP2
00001c06: MSTORE
00001c07: PUSH1 0x20
00001c09: ADD
00001c0a: SWAP1
00001c0b: DUP2
00001c0c: MSTORE
00001c0d: PUSH1 0x20
00001c0f: ADD
00001c10: PUSH1 0x00
00001c12: KECCAK256
00001c13: PUSH1 0x00
00001c15: SWAP1
00001c16: SLOAD
00001c17: SWAP1
00001c18: PUSH2 0x0100
00001c1b: EXP
00001c1c: SWAP1
00001c1d: DIV
00001c1e: PUSH1 0xff
00001c20: AND
00001c21: ISZERO
00001c22: ISZERO
00001c23: PUSH2 0x1c2b
00001c26: JUMPI
00001c27: PUSH1 0x00
00001c29: DUP1
00001c2a: REVERT
00001c2b: JUMPDEST
00001c2c: DUP2
00001c2d: PUSH1 0x00
00001c2f: SWAP1
00001c30: DUP1
00001c31: MLOAD
00001c32: SWAP1
00001c33: PUSH1 0x20
00001c35: ADD
00001c36: SWAP1
00001c37: PUSH2 0x1c41
00001c3a: SWAP3
00001c3b: SWAP2
00001c3c: SWAP1
00001c3d: PUSH2 0x2236
00001c40: JUMP
00001c41: JUMPDEST
00001c42: POP
00001c43: POP
00001c44: POP
00001c45: JUMP
00001c46: JUMPDEST
00001c47: PUSH1 0x00
00001c49: DUP1
00001c4a: PUSH1 0x00
00001c4c: DUP1
00001c4d: PUSH1 0x00
00001c4f: DUP1
00001c50: PUSH1 0x00
00001c52: PUSH2 0x1c59
00001c55: PUSH2 0x16f6
00001c58: JUMP
00001c59: JUMPDEST
00001c5a: GT
00001c5b: ISZERO
00001c5c: ISZERO
00001c5d: PUSH2 0x1c65
00001c60: JUMPI
00001c61: PUSH1 0x00
00001c63: DUP1
00001c64: REVERT
00001c65: JUMPDEST
00001c66: CALLER
00001c67: SWAP6
00001c68: POP
00001c69: PUSH1 0x04
00001c6b: PUSH1 0x00
00001c6d: DUP8
00001c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c83: AND
00001c84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c99: AND
00001c9a: DUP2
00001c9b: MSTORE
00001c9c: PUSH1 0x20
00001c9e: ADD
00001c9f: SWAP1
00001ca0: DUP2
00001ca1: MSTORE
00001ca2: PUSH1 0x20
00001ca4: ADD
00001ca5: PUSH1 0x00
00001ca7: KECCAK256
00001ca8: SLOAD
00001ca9: DUP8
00001caa: GT
00001cab: ISZERO
00001cac: ISZERO
00001cad: ISZERO
00001cae: PUSH2 0x1cb6
00001cb1: JUMPI
00001cb2: PUSH1 0x00
00001cb4: DUP1
00001cb5: REVERT
00001cb6: JUMPDEST
00001cb7: DUP7
00001cb8: SWAP5
00001cb9: POP
00001cba: PUSH2 0x1cc2
00001cbd: DUP6
00001cbe: PUSH2 0x2140
00001cc1: JUMP
00001cc2: JUMPDEST
00001cc3: SWAP4
00001cc4: POP
00001cc5: PUSH2 0x1cd2
00001cc8: DUP5
00001cc9: PUSH1 0x04
00001ccb: PUSH1 0xff
00001ccd: AND
00001cce: PUSH2 0x207f
00001cd1: JUMP
00001cd2: JUMPDEST
00001cd3: SWAP3
00001cd4: POP
00001cd5: PUSH2 0x1cde
00001cd8: DUP5
00001cd9: DUP5
00001cda: PUSH2 0x209a
00001cdd: JUMP
00001cde: JUMPDEST
00001cdf: SWAP2
00001ce0: POP
00001ce1: PUSH2 0x1cec
00001ce4: PUSH1 0x08
00001ce6: SLOAD
00001ce7: DUP7
00001ce8: PUSH2 0x209a
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: PUSH1 0x08
00001cef: DUP2
00001cf0: SWAP1
00001cf1: SSTORE
00001cf2: POP
00001cf3: PUSH2 0x1d3b
00001cf6: PUSH1 0x04
00001cf8: PUSH1 0x00
00001cfa: DUP9
00001cfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d10: AND
00001d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d26: AND
00001d27: DUP2
00001d28: MSTORE
00001d29: PUSH1 0x20
00001d2b: ADD
00001d2c: SWAP1
00001d2d: DUP2
00001d2e: MSTORE
00001d2f: PUSH1 0x20
00001d31: ADD
00001d32: PUSH1 0x00
00001d34: KECCAK256
00001d35: SLOAD
00001d36: DUP7
00001d37: PUSH2 0x209a
00001d3a: JUMP
00001d3b: JUMPDEST
00001d3c: PUSH1 0x04
00001d3e: PUSH1 0x00
00001d40: DUP9
00001d41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d56: AND
00001d57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d6c: AND
00001d6d: DUP2
00001d6e: MSTORE
00001d6f: PUSH1 0x20
00001d71: ADD
00001d72: SWAP1
00001d73: DUP2
00001d74: MSTORE
00001d75: PUSH1 0x20
00001d77: ADD
00001d78: PUSH1 0x00
00001d7a: KECCAK256
00001d7b: DUP2
00001d7c: SWAP1
00001d7d: SSTORE
00001d7e: POP
00001d7f: PUSH9 0x010000000000000000
00001d89: DUP3
00001d8a: MUL
00001d8b: DUP6
00001d8c: PUSH1 0x09
00001d8e: SLOAD
00001d8f: MUL
00001d90: ADD
00001d91: SWAP1
00001d92: POP
00001d93: DUP1
00001d94: PUSH1 0x06
00001d96: PUSH1 0x00
00001d98: DUP9
00001d99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dae: AND
00001daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc4: AND
00001dc5: DUP2
00001dc6: MSTORE
00001dc7: PUSH1 0x20
00001dc9: ADD
00001dca: SWAP1
00001dcb: DUP2
00001dcc: MSTORE
00001dcd: PUSH1 0x20
00001dcf: ADD
00001dd0: PUSH1 0x00
00001dd2: KECCAK256
00001dd3: PUSH1 0x00
00001dd5: DUP3
00001dd6: DUP3
00001dd7: SLOAD
00001dd8: SUB
00001dd9: SWAP3
00001dda: POP
00001ddb: POP
00001ddc: DUP2
00001ddd: SWAP1
00001dde: SSTORE
00001ddf: POP
00001de0: PUSH1 0x00
00001de2: PUSH1 0x08
00001de4: SLOAD
00001de5: GT
00001de6: ISZERO
00001de7: PUSH2 0x1e15
00001dea: JUMPI
00001deb: PUSH2 0x1e0e
00001dee: PUSH1 0x09
00001df0: SLOAD
00001df1: PUSH1 0x08
00001df3: SLOAD
00001df4: PUSH9 0x010000000000000000
00001dfe: DUP7
00001dff: MUL
00001e00: DUP2
00001e01: ISZERO
00001e02: ISZERO
00001e03: PUSH2 0x1e08
00001e06: JUMPI
00001e07: INVALID
00001e08: JUMPDEST
00001e09: DIV
00001e0a: PUSH2 0x2061
00001e0d: JUMP
00001e0e: JUMPDEST
00001e0f: PUSH1 0x09
00001e11: DUP2
00001e12: SWAP1
00001e13: SSTORE
00001e14: POP
00001e15: JUMPDEST
00001e16: DUP6
00001e17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e2c: AND
00001e2d: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00001e4e: DUP7
00001e4f: DUP5
00001e50: PUSH1 0x40
00001e52: MLOAD
00001e53: DUP1
00001e54: DUP4
00001e55: DUP2
00001e56: MSTORE
00001e57: PUSH1 0x20
00001e59: ADD
00001e5a: DUP3
00001e5b: DUP2
00001e5c: MSTORE
00001e5d: PUSH1 0x20
00001e5f: ADD
00001e60: SWAP3
00001e61: POP
00001e62: POP
00001e63: POP
00001e64: PUSH1 0x40
00001e66: MLOAD
00001e67: DUP1
00001e68: SWAP2
00001e69: SUB
00001e6a: SWAP1
00001e6b: LOG2
00001e6c: POP
00001e6d: POP
00001e6e: POP
00001e6f: POP
00001e70: POP
00001e71: POP
00001e72: POP
00001e73: JUMP
00001e74: JUMPDEST
00001e75: PUSH1 0x00
00001e77: DUP1
00001e78: CALLER
00001e79: SWAP2
00001e7a: POP
00001e7b: PUSH1 0x04
00001e7d: PUSH1 0x00
00001e7f: DUP4
00001e80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e95: AND
00001e96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eab: AND
00001eac: DUP2
00001ead: MSTORE
00001eae: PUSH1 0x20
00001eb0: ADD
00001eb1: SWAP1
00001eb2: DUP2
00001eb3: MSTORE
00001eb4: PUSH1 0x20
00001eb6: ADD
00001eb7: PUSH1 0x00
00001eb9: KECCAK256
00001eba: SLOAD
00001ebb: SWAP1
00001ebc: POP
00001ebd: PUSH1 0x00
00001ebf: DUP2
00001ec0: GT
00001ec1: ISZERO
00001ec2: PUSH2 0x1ecf
00001ec5: JUMPI
00001ec6: PUSH2 0x1ece
00001ec9: DUP2
00001eca: PUSH2 0x1c46
00001ecd: JUMP
00001ece: JUMPDEST
00001ecf: JUMPDEST
00001ed0: PUSH2 0x1ed7
00001ed3: PUSH2 0x1282
00001ed6: JUMP
00001ed7: JUMPDEST
00001ed8: POP
00001ed9: POP
00001eda: JUMP
00001edb: JUMPDEST
00001edc: PUSH1 0x00
00001ede: PUSH2 0x1ee7
00001ee1: CALLVALUE
00001ee2: DUP4
00001ee3: PUSH2 0x07a0
00001ee6: JUMP
00001ee7: JUMPDEST
00001ee8: POP
00001ee9: SWAP2
00001eea: SWAP1
00001eeb: POP
00001eec: JUMP
00001eed: JUMPDEST
00001eee: PUSH1 0x00
00001ef0: DUP1
00001ef1: PUSH1 0x00
00001ef3: DUP1
00001ef4: PUSH2 0x1efd
00001ef7: PUSH1 0x01
00001ef9: PUSH2 0x1483
00001efc: JUMP
00001efd: JUMPDEST
00001efe: GT
00001eff: ISZERO
00001f00: ISZERO
00001f01: PUSH2 0x1f09
00001f04: JUMPI
00001f05: PUSH1 0x00
00001f07: DUP1
00001f08: REVERT
00001f09: JUMPDEST
00001f0a: PUSH2 0x1f13
00001f0d: PUSH1 0x00
00001f0f: PUSH2 0x1483
00001f12: JUMP
00001f13: JUMPDEST
00001f14: SWAP3
00001f15: POP
00001f16: CALLER
00001f17: SWAP2
00001f18: POP
00001f19: PUSH9 0x010000000000000000
00001f23: DUP4
00001f24: MUL
00001f25: PUSH1 0x06
00001f27: PUSH1 0x00
00001f29: DUP5
00001f2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f3f: AND
00001f40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f55: AND
00001f56: DUP2
00001f57: MSTORE
00001f58: PUSH1 0x20
00001f5a: ADD
00001f5b: SWAP1
00001f5c: DUP2
00001f5d: MSTORE
00001f5e: PUSH1 0x20
00001f60: ADD
00001f61: PUSH1 0x00
00001f63: KECCAK256
00001f64: PUSH1 0x00
00001f66: DUP3
00001f67: DUP3
00001f68: SLOAD
00001f69: ADD
00001f6a: SWAP3
00001f6b: POP
00001f6c: POP
00001f6d: DUP2
00001f6e: SWAP1
00001f6f: SSTORE
00001f70: POP
00001f71: PUSH1 0x05
00001f73: PUSH1 0x00
00001f75: DUP4
00001f76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8b: AND
00001f8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa1: AND
00001fa2: DUP2
00001fa3: MSTORE
00001fa4: PUSH1 0x20
00001fa6: ADD
00001fa7: SWAP1
00001fa8: DUP2
00001fa9: MSTORE
00001faa: PUSH1 0x20
00001fac: ADD
00001fad: PUSH1 0x00
00001faf: KECCAK256
00001fb0: SLOAD
00001fb1: DUP4
00001fb2: ADD
00001fb3: SWAP3
00001fb4: POP
00001fb5: PUSH1 0x00
00001fb7: PUSH1 0x05
00001fb9: PUSH1 0x00
00001fbb: DUP5
00001fbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd1: AND
00001fd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe7: AND
00001fe8: DUP2
00001fe9: MSTORE
00001fea: PUSH1 0x20
00001fec: ADD
00001fed: SWAP1
00001fee: DUP2
00001fef: MSTORE
00001ff0: PUSH1 0x20
00001ff2: ADD
00001ff3: PUSH1 0x00
00001ff5: KECCAK256
00001ff6: DUP2
00001ff7: SWAP1
00001ff8: SSTORE
00001ff9: POP
00001ffa: PUSH2 0x2004
00001ffd: DUP4
00001ffe: PUSH1 0x00
00002000: PUSH2 0x07a0
00002003: JUMP
00002004: JUMPDEST
00002005: SWAP1
00002006: POP
00002007: DUP2
00002008: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000201d: AND
0000201e: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
0000203f: DUP5
00002040: DUP4
00002041: PUSH1 0x40
00002043: MLOAD
00002044: DUP1
00002045: DUP4
00002046: DUP2
00002047: MSTORE
00002048: PUSH1 0x20
0000204a: ADD
0000204b: DUP3
0000204c: DUP2
0000204d: MSTORE
0000204e: PUSH1 0x20
00002050: ADD
00002051: SWAP3
00002052: POP
00002053: POP
00002054: POP
00002055: PUSH1 0x40
00002057: MLOAD
00002058: DUP1
00002059: SWAP2
0000205a: SUB
0000205b: SWAP1
0000205c: LOG2
0000205d: POP
0000205e: POP
0000205f: POP
00002060: JUMP
00002061: JUMPDEST
00002062: PUSH1 0x00
00002064: DUP1
00002065: DUP3
00002066: DUP5
00002067: ADD
00002068: SWAP1
00002069: POP
0000206a: DUP4
0000206b: DUP2
0000206c: LT
0000206d: ISZERO
0000206e: ISZERO
0000206f: ISZERO
00002070: PUSH2 0x2075
00002073: JUMPI
00002074: INVALID
00002075: JUMPDEST
00002076: DUP1
00002077: SWAP2
00002078: POP
00002079: POP
0000207a: SWAP3
0000207b: SWAP2
0000207c: POP
0000207d: POP
0000207e: JUMP
0000207f: JUMPDEST
00002080: PUSH1 0x00
00002082: DUP1
00002083: DUP3
00002084: DUP5
00002085: DUP2
00002086: ISZERO
00002087: ISZERO
00002088: PUSH2 0x208d
0000208b: JUMPI
0000208c: INVALID
0000208d: JUMPDEST
0000208e: DIV
0000208f: SWAP1
00002090: POP
00002091: DUP1
00002092: SWAP2
00002093: POP
00002094: POP
00002095: SWAP3
00002096: SWAP2
00002097: POP
00002098: POP
00002099: JUMP
0000209a: JUMPDEST
0000209b: PUSH1 0x00
0000209d: DUP3
0000209e: DUP3
0000209f: GT
000020a0: ISZERO
000020a1: ISZERO
000020a2: ISZERO
000020a3: PUSH2 0x20a8
000020a6: JUMPI
000020a7: INVALID
000020a8: JUMPDEST
000020a9: DUP2
000020aa: DUP4
000020ab: SUB
000020ac: SWAP1
000020ad: POP
000020ae: SWAP3
000020af: SWAP2
000020b0: POP
000020b1: POP
000020b2: JUMP
000020b3: JUMPDEST
000020b4: PUSH1 0x00
000020b6: DUP1
000020b7: PUSH1 0x00
000020b9: PUSH8 0x0de0b6b3a7640000
000020c2: PUSH5 0x174876e800
000020c8: MUL
000020c9: SWAP2
000020ca: POP
000020cb: PUSH1 0x08
000020cd: SLOAD
000020ce: PUSH5 0x02540be400
000020d4: PUSH2 0x2129
000020d7: PUSH2 0x2123
000020da: PUSH1 0x08
000020dc: SLOAD
000020dd: DUP7
000020de: PUSH5 0x02540be400
000020e4: PUSH1 0x02
000020e6: MUL
000020e7: MUL
000020e8: MUL
000020e9: PUSH1 0x02
000020eb: PUSH1 0x08
000020ed: SLOAD
000020ee: EXP
000020ef: PUSH1 0x02
000020f1: PUSH5 0x02540be400
000020f7: EXP
000020f8: MUL
000020f9: PUSH8 0x0de0b6b3a7640000
00002102: DUP11
00002103: MUL
00002104: PUSH8 0x0de0b6b3a7640000
0000210d: PUSH5 0x02540be400
00002113: MUL
00002114: PUSH1 0x02
00002116: MUL
00002117: MUL
00002118: PUSH1 0x02
0000211a: DUP10
0000211b: EXP
0000211c: ADD
0000211d: ADD
0000211e: ADD
0000211f: PUSH2 0x21eb
00002122: JUMP
00002123: JUMPDEST
00002124: DUP6
00002125: PUSH2 0x209a
00002128: JUMP
00002129: JUMPDEST
0000212a: DUP2
0000212b: ISZERO
0000212c: ISZERO
0000212d: PUSH2 0x2132
00002130: JUMPI
00002131: INVALID
00002132: JUMPDEST
00002133: DIV
00002134: SUB
00002135: SWAP1
00002136: POP
00002137: DUP1
00002138: SWAP3
00002139: POP
0000213a: POP
0000213b: POP
0000213c: SWAP2
0000213d: SWAP1
0000213e: POP
0000213f: JUMP
00002140: JUMPDEST
00002141: PUSH1 0x00
00002143: DUP1
00002144: PUSH1 0x00
00002146: DUP1
00002147: PUSH8 0x0de0b6b3a7640000
00002150: DUP6
00002151: ADD
00002152: SWAP3
00002153: POP
00002154: PUSH8 0x0de0b6b3a7640000
0000215d: PUSH1 0x08
0000215f: SLOAD
00002160: ADD
00002161: SWAP2
00002162: POP
00002163: PUSH8 0x0de0b6b3a7640000
0000216c: PUSH2 0x21d4
0000216f: PUSH8 0x0de0b6b3a7640000
00002178: DUP6
00002179: SUB
0000217a: PUSH5 0x02540be400
00002180: PUSH8 0x0de0b6b3a7640000
00002189: DUP7
0000218a: DUP2
0000218b: ISZERO
0000218c: ISZERO
0000218d: PUSH2 0x2192
00002190: JUMPI
00002191: INVALID
00002192: JUMPDEST
00002193: DIV
00002194: PUSH5 0x02540be400
0000219a: MUL
0000219b: PUSH5 0x174876e800
000021a1: ADD
000021a2: SUB
000021a3: MUL
000021a4: PUSH1 0x02
000021a6: PUSH8 0x0de0b6b3a7640000
000021af: DUP8
000021b0: PUSH1 0x02
000021b2: DUP10
000021b3: EXP
000021b4: SUB
000021b5: DUP2
000021b6: ISZERO
000021b7: ISZERO
000021b8: PUSH2 0x21bd
000021bb: JUMPI
000021bc: INVALID
000021bd: JUMPDEST
000021be: DIV
000021bf: PUSH5 0x02540be400
000021c5: MUL
000021c6: DUP2
000021c7: ISZERO
000021c8: ISZERO
000021c9: PUSH2 0x21ce
000021cc: JUMPI
000021cd: INVALID
000021ce: JUMPDEST
000021cf: DIV
000021d0: PUSH2 0x209a
000021d3: JUMP
000021d4: JUMPDEST
000021d5: DUP2
000021d6: ISZERO
000021d7: ISZERO
000021d8: PUSH2 0x21dd
000021db: JUMPI
000021dc: INVALID
000021dd: JUMPDEST
000021de: DIV
000021df: SWAP1
000021e0: POP
000021e1: DUP1
000021e2: SWAP4
000021e3: POP
000021e4: POP
000021e5: POP
000021e6: POP
000021e7: SWAP2
000021e8: SWAP1
000021e9: POP
000021ea: JUMP
000021eb: JUMPDEST
000021ec: PUSH1 0x00
000021ee: DUP1
000021ef: PUSH1 0x02
000021f1: PUSH1 0x01
000021f3: DUP5
000021f4: ADD
000021f5: DUP2
000021f6: ISZERO
000021f7: ISZERO
000021f8: PUSH2 0x21fd
000021fb: JUMPI
000021fc: INVALID
000021fd: JUMPDEST
000021fe: DIV
000021ff: SWAP1
00002200: POP
00002201: DUP3
00002202: SWAP2
00002203: POP
00002204: JUMPDEST
00002205: DUP2
00002206: DUP2
00002207: LT
00002208: ISZERO
00002209: PUSH2 0x2230
0000220c: JUMPI
0000220d: DUP1
0000220e: SWAP2
0000220f: POP
00002210: PUSH1 0x02
00002212: DUP2
00002213: DUP3
00002214: DUP6
00002215: DUP2
00002216: ISZERO
00002217: ISZERO
00002218: PUSH2 0x221d
0000221b: JUMPI
0000221c: INVALID
0000221d: JUMPDEST
0000221e: DIV
0000221f: ADD
00002220: DUP2
00002221: ISZERO
00002222: ISZERO
00002223: PUSH2 0x2228
00002226: JUMPI
00002227: INVALID
00002228: JUMPDEST
00002229: DIV
0000222a: SWAP1
0000222b: POP
0000222c: PUSH2 0x2204
0000222f: JUMP
00002230: JUMPDEST
00002231: POP
00002232: SWAP2
00002233: SWAP1
00002234: POP
00002235: JUMP
00002236: JUMPDEST
00002237: DUP3
00002238: DUP1
00002239: SLOAD
0000223a: PUSH1 0x01
0000223c: DUP2
0000223d: PUSH1 0x01
0000223f: AND
00002240: ISZERO
00002241: PUSH2 0x0100
00002244: MUL
00002245: SUB
00002246: AND
00002247: PUSH1 0x02
00002249: SWAP1
0000224a: DIV
0000224b: SWAP1
0000224c: PUSH1 0x00
0000224e: MSTORE
0000224f: PUSH1 0x20
00002251: PUSH1 0x00
00002253: KECCAK256
00002254: SWAP1
00002255: PUSH1 0x1f
00002257: ADD
00002258: PUSH1 0x20
0000225a: SWAP1
0000225b: DIV
0000225c: DUP2
0000225d: ADD
0000225e: SWAP3
0000225f: DUP3
00002260: PUSH1 0x1f
00002262: LT
00002263: PUSH2 0x2277
00002266: JUMPI
00002267: DUP1
00002268: MLOAD
00002269: PUSH1 0xff
0000226b: NOT
0000226c: AND
0000226d: DUP4
0000226e: DUP1
0000226f: ADD
00002270: OR
00002271: DUP6
00002272: SSTORE
00002273: PUSH2 0x22a5
00002276: JUMP
00002277: JUMPDEST
00002278: DUP3
00002279: DUP1
0000227a: ADD
0000227b: PUSH1 0x01
0000227d: ADD
0000227e: DUP6
0000227f: SSTORE
00002280: DUP3
00002281: ISZERO
00002282: PUSH2 0x22a5
00002285: JUMPI
00002286: SWAP2
00002287: DUP3
00002288: ADD
00002289: JUMPDEST
0000228a: DUP3
0000228b: DUP2
0000228c: GT
0000228d: ISZERO
0000228e: PUSH2 0x22a4
00002291: JUMPI
00002292: DUP3
00002293: MLOAD
00002294: DUP3
00002295: SSTORE
00002296: SWAP2
00002297: PUSH1 0x20
00002299: ADD
0000229a: SWAP2
0000229b: SWAP1
0000229c: PUSH1 0x01
0000229e: ADD
0000229f: SWAP1
000022a0: PUSH2 0x2289
000022a3: JUMP
000022a4: JUMPDEST
000022a5: JUMPDEST
000022a6: POP
000022a7: SWAP1
000022a8: POP
000022a9: PUSH2 0x22b2
000022ac: SWAP2
000022ad: SWAP1
000022ae: PUSH2 0x22b6
000022b1: JUMP
000022b2: JUMPDEST
000022b3: POP
000022b4: SWAP1
000022b5: JUMP
000022b6: JUMPDEST
000022b7: PUSH2 0x22d8
000022ba: SWAP2
000022bb: SWAP1
000022bc: JUMPDEST
000022bd: DUP1
000022be: DUP3
000022bf: GT
000022c0: ISZERO
000022c1: PUSH2 0x22d4
000022c4: JUMPI
000022c5: PUSH1 0x00
000022c7: DUP2
000022c8: PUSH1 0x00
000022ca: SWAP1
000022cb: SSTORE
000022cc: POP
000022cd: PUSH1 0x01
000022cf: ADD
000022d0: PUSH2 0x22bc
000022d3: JUMP
000022d4: JUMPDEST
000022d5: POP
000022d6: SWAP1
000022d7: JUMP
000022d8: JUMPDEST
000022d9: SWAP1
000022da: JUMP
000022db: STOP
000022dc: LOG1
000022dd: PUSH6 0x627a7a723058
000022e4: KECCAK256
000022e5: PUSH12 0x5985d585cb39b867a8337bf0
000022f2: DUP13
000022f3: BALANCE
000022f4: SWAP13
000022f5: UNKNOWN(0xCF)
000022f6: UNKNOWN(0x2A)
000022f7: DUP4
000022f8: EXTCODESIZE
000022f9: UNKNOWN(0x22)
000022fa: UNKNOWN(0xBF)
000022fb: UNKNOWN(0xCA)
000022fc: SWAP12
000022fd: PC
000022fe: MSTORE
000022ff: UNKNOWN(0x25)
00002300: SHR
00002301: UNKNOWN(0xD0)
00002302: MLOAD
00002303: DUP5
00002304: UNKNOWN(0x26)
00002305: STOP
00002306: UNKNOWN(0x29)
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0x3563582eaeda9e6591a1137c8a67f63ec79d87cd33cf23a6a30936d9b8835395
call_targets: 0xcd2de0bd5347f617f832442ebcc1c23a4d618847
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3563582eaeda9e6591a1137c8a67f63ec79d87cd33cf23a6a30936d9b8835395",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xcd2de0bd5347f617f832442ebcc1c23a4d618847"
    ],
    "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": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 5053,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x3563582eaeda9e6591a1137c8a67f63ec79d87cd33cf23a6a30936d9b8835395
call_targets: 0xcd2de0bd5347f617f832442ebcc1c23a4d618847
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3563582eaeda9e6591a1137c8a67f63ec79d87cd33cf23a6a30936d9b8835395",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xcd2de0bd5347f617f832442ebcc1c23a4d618847"
    ],
    "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": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 5053,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}