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

Analysis Run

019b3844-9102-7360-b1cf-dd764c6b5ac2

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
12693 artifact.fetch complete 1 / 3 3 months ago
12694 tool.cast_disasm complete 1 / 3 3 months ago
84952 analysis.bundle complete 1 / 3 1 week ago
84953 capability.graph complete 1 / 3 1 week ago
84954 detector.run complete 1 / 3 1 week ago
84955 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
1
Total opcodes
4963
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0128
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x025e7c27
0000003c: EQ
0000003d: PUSH2 0x0132
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x173825d9
00000047: EQ
00000048: PUSH2 0x019f
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x20ea8d86
00000052: EQ
00000053: PUSH2 0x01e2
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x2f54bf6e
0000005d: EQ
0000005e: PUSH2 0x020f
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x3411c81c
00000068: EQ
00000069: PUSH2 0x026a
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x54741525
00000073: EQ
00000074: PUSH2 0x02cf
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x552079dc
0000007e: EQ
0000007f: PUSH2 0x031e
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x7065cb48
00000089: EQ
0000008a: PUSH2 0x0328
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x784547a7
00000094: EQ
00000095: PUSH2 0x036b
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x8b51d13f
0000009f: EQ
000000a0: PUSH2 0x03b0
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x9ace38c2
000000aa: EQ
000000ab: PUSH2 0x03f1
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0xa0e67e2b
000000b5: EQ
000000b6: PUSH2 0x04dc
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0xa8abe69a
000000c0: EQ
000000c1: PUSH2 0x0548
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0xb5dc40c3
000000cb: EQ
000000cc: PUSH2 0x05ec
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0xb77bf600
000000d6: EQ
000000d7: PUSH2 0x066e
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0xba51a6df
000000e1: EQ
000000e2: PUSH2 0x0699
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0xc01a8c84
000000ec: EQ
000000ed: PUSH2 0x06c6
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0xc6427474
000000f7: EQ
000000f8: PUSH2 0x06f3
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0xd74f8edd
00000102: EQ
00000103: PUSH2 0x079a
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0xdc8452cd
0000010d: EQ
0000010e: PUSH2 0x07c5
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0xe20056e6
00000118: EQ
00000119: PUSH2 0x07f0
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0xee22610b
00000123: EQ
00000124: PUSH2 0x0853
00000127: JUMPI
00000128: JUMPDEST
00000129: PUSH2 0x0130
0000012c: PUSH2 0x0880
0000012f: JUMP
00000130: JUMPDEST
00000131: STOP
00000132: JUMPDEST
00000133: CALLVALUE
00000134: DUP1
00000135: ISZERO
00000136: PUSH2 0x013e
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: POP
00000140: PUSH2 0x015d
00000143: PUSH1 0x04
00000145: DUP1
00000146: CALLDATASIZE
00000147: SUB
00000148: DUP2
00000149: ADD
0000014a: SWAP1
0000014b: DUP1
0000014c: DUP1
0000014d: CALLDATALOAD
0000014e: SWAP1
0000014f: PUSH1 0x20
00000151: ADD
00000152: SWAP1
00000153: SWAP3
00000154: SWAP2
00000155: SWAP1
00000156: POP
00000157: POP
00000158: POP
00000159: PUSH2 0x08da
0000015c: JUMP
0000015d: JUMPDEST
0000015e: PUSH1 0x40
00000160: MLOAD
00000161: DUP1
00000162: DUP3
00000163: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000178: AND
00000179: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000018e: AND
0000018f: DUP2
00000190: MSTORE
00000191: PUSH1 0x20
00000193: ADD
00000194: SWAP2
00000195: POP
00000196: POP
00000197: PUSH1 0x40
00000199: MLOAD
0000019a: DUP1
0000019b: SWAP2
0000019c: SUB
0000019d: SWAP1
0000019e: RETURN
0000019f: JUMPDEST
000001a0: CALLVALUE
000001a1: DUP1
000001a2: ISZERO
000001a3: PUSH2 0x01ab
000001a6: JUMPI
000001a7: PUSH1 0x00
000001a9: DUP1
000001aa: REVERT
000001ab: JUMPDEST
000001ac: POP
000001ad: PUSH2 0x01e0
000001b0: PUSH1 0x04
000001b2: DUP1
000001b3: CALLDATASIZE
000001b4: SUB
000001b5: DUP2
000001b6: ADD
000001b7: SWAP1
000001b8: DUP1
000001b9: DUP1
000001ba: CALLDATALOAD
000001bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001d0: AND
000001d1: SWAP1
000001d2: PUSH1 0x20
000001d4: ADD
000001d5: SWAP1
000001d6: SWAP3
000001d7: SWAP2
000001d8: SWAP1
000001d9: POP
000001da: POP
000001db: POP
000001dc: PUSH2 0x0918
000001df: JUMP
000001e0: JUMPDEST
000001e1: STOP
000001e2: JUMPDEST
000001e3: CALLVALUE
000001e4: DUP1
000001e5: ISZERO
000001e6: PUSH2 0x01ee
000001e9: JUMPI
000001ea: PUSH1 0x00
000001ec: DUP1
000001ed: REVERT
000001ee: JUMPDEST
000001ef: POP
000001f0: PUSH2 0x020d
000001f3: PUSH1 0x04
000001f5: DUP1
000001f6: CALLDATASIZE
000001f7: SUB
000001f8: DUP2
000001f9: ADD
000001fa: SWAP1
000001fb: DUP1
000001fc: DUP1
000001fd: CALLDATALOAD
000001fe: SWAP1
000001ff: PUSH1 0x20
00000201: ADD
00000202: SWAP1
00000203: SWAP3
00000204: SWAP2
00000205: SWAP1
00000206: POP
00000207: POP
00000208: POP
00000209: PUSH2 0x0bb1
0000020c: JUMP
0000020d: JUMPDEST
0000020e: STOP
0000020f: JUMPDEST
00000210: CALLVALUE
00000211: DUP1
00000212: ISZERO
00000213: PUSH2 0x021b
00000216: JUMPI
00000217: PUSH1 0x00
00000219: DUP1
0000021a: REVERT
0000021b: JUMPDEST
0000021c: POP
0000021d: PUSH2 0x0250
00000220: PUSH1 0x04
00000222: DUP1
00000223: CALLDATASIZE
00000224: SUB
00000225: DUP2
00000226: ADD
00000227: SWAP1
00000228: DUP1
00000229: DUP1
0000022a: CALLDATALOAD
0000022b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000240: AND
00000241: SWAP1
00000242: PUSH1 0x20
00000244: ADD
00000245: SWAP1
00000246: SWAP3
00000247: SWAP2
00000248: SWAP1
00000249: POP
0000024a: POP
0000024b: POP
0000024c: PUSH2 0x0d59
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH1 0x40
00000253: MLOAD
00000254: DUP1
00000255: DUP3
00000256: ISZERO
00000257: ISZERO
00000258: ISZERO
00000259: ISZERO
0000025a: DUP2
0000025b: MSTORE
0000025c: PUSH1 0x20
0000025e: ADD
0000025f: SWAP2
00000260: POP
00000261: POP
00000262: PUSH1 0x40
00000264: MLOAD
00000265: DUP1
00000266: SWAP2
00000267: SUB
00000268: SWAP1
00000269: RETURN
0000026a: JUMPDEST
0000026b: CALLVALUE
0000026c: DUP1
0000026d: ISZERO
0000026e: PUSH2 0x0276
00000271: JUMPI
00000272: PUSH1 0x00
00000274: DUP1
00000275: REVERT
00000276: JUMPDEST
00000277: POP
00000278: PUSH2 0x02b5
0000027b: PUSH1 0x04
0000027d: DUP1
0000027e: CALLDATASIZE
0000027f: SUB
00000280: DUP2
00000281: ADD
00000282: SWAP1
00000283: DUP1
00000284: DUP1
00000285: CALLDATALOAD
00000286: SWAP1
00000287: PUSH1 0x20
00000289: ADD
0000028a: SWAP1
0000028b: SWAP3
0000028c: SWAP2
0000028d: SWAP1
0000028e: DUP1
0000028f: CALLDATALOAD
00000290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002a5: AND
000002a6: SWAP1
000002a7: PUSH1 0x20
000002a9: ADD
000002aa: SWAP1
000002ab: SWAP3
000002ac: SWAP2
000002ad: SWAP1
000002ae: POP
000002af: POP
000002b0: POP
000002b1: PUSH2 0x0d79
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH1 0x40
000002b8: MLOAD
000002b9: DUP1
000002ba: DUP3
000002bb: ISZERO
000002bc: ISZERO
000002bd: ISZERO
000002be: ISZERO
000002bf: DUP2
000002c0: MSTORE
000002c1: PUSH1 0x20
000002c3: ADD
000002c4: SWAP2
000002c5: POP
000002c6: POP
000002c7: PUSH1 0x40
000002c9: MLOAD
000002ca: DUP1
000002cb: SWAP2
000002cc: SUB
000002cd: SWAP1
000002ce: RETURN
000002cf: JUMPDEST
000002d0: CALLVALUE
000002d1: DUP1
000002d2: ISZERO
000002d3: PUSH2 0x02db
000002d6: JUMPI
000002d7: PUSH1 0x00
000002d9: DUP1
000002da: REVERT
000002db: JUMPDEST
000002dc: POP
000002dd: PUSH2 0x0308
000002e0: PUSH1 0x04
000002e2: DUP1
000002e3: CALLDATASIZE
000002e4: SUB
000002e5: DUP2
000002e6: ADD
000002e7: SWAP1
000002e8: DUP1
000002e9: DUP1
000002ea: CALLDATALOAD
000002eb: ISZERO
000002ec: ISZERO
000002ed: SWAP1
000002ee: PUSH1 0x20
000002f0: ADD
000002f1: SWAP1
000002f2: SWAP3
000002f3: SWAP2
000002f4: SWAP1
000002f5: DUP1
000002f6: CALLDATALOAD
000002f7: ISZERO
000002f8: ISZERO
000002f9: SWAP1
000002fa: PUSH1 0x20
000002fc: ADD
000002fd: SWAP1
000002fe: SWAP3
000002ff: SWAP2
00000300: SWAP1
00000301: POP
00000302: POP
00000303: POP
00000304: PUSH2 0x0da8
00000307: JUMP
00000308: JUMPDEST
00000309: PUSH1 0x40
0000030b: MLOAD
0000030c: DUP1
0000030d: DUP3
0000030e: DUP2
0000030f: MSTORE
00000310: PUSH1 0x20
00000312: ADD
00000313: SWAP2
00000314: POP
00000315: POP
00000316: PUSH1 0x40
00000318: MLOAD
00000319: DUP1
0000031a: SWAP2
0000031b: SUB
0000031c: SWAP1
0000031d: RETURN
0000031e: JUMPDEST
0000031f: PUSH2 0x0326
00000322: PUSH2 0x0880
00000325: JUMP
00000326: JUMPDEST
00000327: STOP
00000328: JUMPDEST
00000329: CALLVALUE
0000032a: DUP1
0000032b: ISZERO
0000032c: PUSH2 0x0334
0000032f: JUMPI
00000330: PUSH1 0x00
00000332: DUP1
00000333: REVERT
00000334: JUMPDEST
00000335: POP
00000336: PUSH2 0x0369
00000339: PUSH1 0x04
0000033b: DUP1
0000033c: CALLDATASIZE
0000033d: SUB
0000033e: DUP2
0000033f: ADD
00000340: SWAP1
00000341: DUP1
00000342: DUP1
00000343: CALLDATALOAD
00000344: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000359: AND
0000035a: SWAP1
0000035b: PUSH1 0x20
0000035d: ADD
0000035e: SWAP1
0000035f: SWAP3
00000360: SWAP2
00000361: SWAP1
00000362: POP
00000363: POP
00000364: POP
00000365: PUSH2 0x0e3a
00000368: JUMP
00000369: JUMPDEST
0000036a: STOP
0000036b: JUMPDEST
0000036c: CALLVALUE
0000036d: DUP1
0000036e: ISZERO
0000036f: PUSH2 0x0377
00000372: JUMPI
00000373: PUSH1 0x00
00000375: DUP1
00000376: REVERT
00000377: JUMPDEST
00000378: POP
00000379: PUSH2 0x0396
0000037c: PUSH1 0x04
0000037e: DUP1
0000037f: CALLDATASIZE
00000380: SUB
00000381: DUP2
00000382: ADD
00000383: SWAP1
00000384: DUP1
00000385: DUP1
00000386: CALLDATALOAD
00000387: SWAP1
00000388: PUSH1 0x20
0000038a: ADD
0000038b: SWAP1
0000038c: SWAP3
0000038d: SWAP2
0000038e: SWAP1
0000038f: POP
00000390: POP
00000391: POP
00000392: PUSH2 0x106b
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH1 0x40
00000399: MLOAD
0000039a: DUP1
0000039b: DUP3
0000039c: ISZERO
0000039d: ISZERO
0000039e: ISZERO
0000039f: ISZERO
000003a0: DUP2
000003a1: MSTORE
000003a2: PUSH1 0x20
000003a4: ADD
000003a5: SWAP2
000003a6: POP
000003a7: POP
000003a8: PUSH1 0x40
000003aa: MLOAD
000003ab: DUP1
000003ac: SWAP2
000003ad: SUB
000003ae: SWAP1
000003af: RETURN
000003b0: JUMPDEST
000003b1: CALLVALUE
000003b2: DUP1
000003b3: ISZERO
000003b4: PUSH2 0x03bc
000003b7: JUMPI
000003b8: PUSH1 0x00
000003ba: DUP1
000003bb: REVERT
000003bc: JUMPDEST
000003bd: POP
000003be: PUSH2 0x03db
000003c1: PUSH1 0x04
000003c3: DUP1
000003c4: CALLDATASIZE
000003c5: SUB
000003c6: DUP2
000003c7: ADD
000003c8: SWAP1
000003c9: DUP1
000003ca: DUP1
000003cb: CALLDATALOAD
000003cc: SWAP1
000003cd: PUSH1 0x20
000003cf: ADD
000003d0: SWAP1
000003d1: SWAP3
000003d2: SWAP2
000003d3: SWAP1
000003d4: POP
000003d5: POP
000003d6: POP
000003d7: PUSH2 0x1150
000003da: JUMP
000003db: JUMPDEST
000003dc: PUSH1 0x40
000003de: MLOAD
000003df: DUP1
000003e0: DUP3
000003e1: DUP2
000003e2: MSTORE
000003e3: PUSH1 0x20
000003e5: ADD
000003e6: SWAP2
000003e7: POP
000003e8: POP
000003e9: PUSH1 0x40
000003eb: MLOAD
000003ec: DUP1
000003ed: SWAP2
000003ee: SUB
000003ef: SWAP1
000003f0: RETURN
000003f1: JUMPDEST
000003f2: CALLVALUE
000003f3: DUP1
000003f4: ISZERO
000003f5: PUSH2 0x03fd
000003f8: JUMPI
000003f9: PUSH1 0x00
000003fb: DUP1
000003fc: REVERT
000003fd: JUMPDEST
000003fe: POP
000003ff: PUSH2 0x041c
00000402: PUSH1 0x04
00000404: DUP1
00000405: CALLDATASIZE
00000406: SUB
00000407: DUP2
00000408: ADD
00000409: SWAP1
0000040a: DUP1
0000040b: DUP1
0000040c: CALLDATALOAD
0000040d: SWAP1
0000040e: PUSH1 0x20
00000410: ADD
00000411: SWAP1
00000412: SWAP3
00000413: SWAP2
00000414: SWAP1
00000415: POP
00000416: POP
00000417: POP
00000418: PUSH2 0x121b
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH1 0x40
0000041f: MLOAD
00000420: DUP1
00000421: DUP6
00000422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000437: AND
00000438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000044d: AND
0000044e: DUP2
0000044f: MSTORE
00000450: PUSH1 0x20
00000452: ADD
00000453: DUP5
00000454: DUP2
00000455: MSTORE
00000456: PUSH1 0x20
00000458: ADD
00000459: DUP1
0000045a: PUSH1 0x20
0000045c: ADD
0000045d: DUP4
0000045e: ISZERO
0000045f: ISZERO
00000460: ISZERO
00000461: ISZERO
00000462: DUP2
00000463: MSTORE
00000464: PUSH1 0x20
00000466: ADD
00000467: DUP3
00000468: DUP2
00000469: SUB
0000046a: DUP3
0000046b: MSTORE
0000046c: DUP5
0000046d: DUP2
0000046e: DUP2
0000046f: MLOAD
00000470: DUP2
00000471: MSTORE
00000472: PUSH1 0x20
00000474: ADD
00000475: SWAP2
00000476: POP
00000477: DUP1
00000478: MLOAD
00000479: SWAP1
0000047a: PUSH1 0x20
0000047c: ADD
0000047d: SWAP1
0000047e: DUP1
0000047f: DUP4
00000480: DUP4
00000481: PUSH1 0x00
00000483: JUMPDEST
00000484: DUP4
00000485: DUP2
00000486: LT
00000487: ISZERO
00000488: PUSH2 0x049e
0000048b: JUMPI
0000048c: DUP1
0000048d: DUP3
0000048e: ADD
0000048f: MLOAD
00000490: DUP2
00000491: DUP5
00000492: ADD
00000493: MSTORE
00000494: PUSH1 0x20
00000496: DUP2
00000497: ADD
00000498: SWAP1
00000499: POP
0000049a: PUSH2 0x0483
0000049d: JUMP
0000049e: JUMPDEST
0000049f: POP
000004a0: POP
000004a1: POP
000004a2: POP
000004a3: SWAP1
000004a4: POP
000004a5: SWAP1
000004a6: DUP2
000004a7: ADD
000004a8: SWAP1
000004a9: PUSH1 0x1f
000004ab: AND
000004ac: DUP1
000004ad: ISZERO
000004ae: PUSH2 0x04cb
000004b1: JUMPI
000004b2: DUP1
000004b3: DUP3
000004b4: SUB
000004b5: DUP1
000004b6: MLOAD
000004b7: PUSH1 0x01
000004b9: DUP4
000004ba: PUSH1 0x20
000004bc: SUB
000004bd: PUSH2 0x0100
000004c0: EXP
000004c1: SUB
000004c2: NOT
000004c3: AND
000004c4: DUP2
000004c5: MSTORE
000004c6: PUSH1 0x20
000004c8: ADD
000004c9: SWAP2
000004ca: POP
000004cb: JUMPDEST
000004cc: POP
000004cd: SWAP6
000004ce: POP
000004cf: POP
000004d0: POP
000004d1: POP
000004d2: POP
000004d3: POP
000004d4: PUSH1 0x40
000004d6: MLOAD
000004d7: DUP1
000004d8: SWAP2
000004d9: SUB
000004da: SWAP1
000004db: RETURN
000004dc: JUMPDEST
000004dd: CALLVALUE
000004de: DUP1
000004df: ISZERO
000004e0: PUSH2 0x04e8
000004e3: JUMPI
000004e4: PUSH1 0x00
000004e6: DUP1
000004e7: REVERT
000004e8: JUMPDEST
000004e9: POP
000004ea: PUSH2 0x04f1
000004ed: PUSH2 0x1310
000004f0: JUMP
000004f1: JUMPDEST
000004f2: PUSH1 0x40
000004f4: MLOAD
000004f5: DUP1
000004f6: DUP1
000004f7: PUSH1 0x20
000004f9: ADD
000004fa: DUP3
000004fb: DUP2
000004fc: SUB
000004fd: DUP3
000004fe: MSTORE
000004ff: DUP4
00000500: DUP2
00000501: DUP2
00000502: MLOAD
00000503: DUP2
00000504: MSTORE
00000505: PUSH1 0x20
00000507: ADD
00000508: SWAP2
00000509: POP
0000050a: DUP1
0000050b: MLOAD
0000050c: SWAP1
0000050d: PUSH1 0x20
0000050f: ADD
00000510: SWAP1
00000511: PUSH1 0x20
00000513: MUL
00000514: DUP1
00000515: DUP4
00000516: DUP4
00000517: PUSH1 0x00
00000519: JUMPDEST
0000051a: DUP4
0000051b: DUP2
0000051c: LT
0000051d: ISZERO
0000051e: PUSH2 0x0534
00000521: JUMPI
00000522: DUP1
00000523: DUP3
00000524: ADD
00000525: MLOAD
00000526: DUP2
00000527: DUP5
00000528: ADD
00000529: MSTORE
0000052a: PUSH1 0x20
0000052c: DUP2
0000052d: ADD
0000052e: SWAP1
0000052f: POP
00000530: PUSH2 0x0519
00000533: JUMP
00000534: JUMPDEST
00000535: POP
00000536: POP
00000537: POP
00000538: POP
00000539: SWAP1
0000053a: POP
0000053b: ADD
0000053c: SWAP3
0000053d: POP
0000053e: POP
0000053f: POP
00000540: PUSH1 0x40
00000542: MLOAD
00000543: DUP1
00000544: SWAP2
00000545: SUB
00000546: SWAP1
00000547: RETURN
00000548: JUMPDEST
00000549: CALLVALUE
0000054a: DUP1
0000054b: ISZERO
0000054c: PUSH2 0x0554
0000054f: JUMPI
00000550: PUSH1 0x00
00000552: DUP1
00000553: REVERT
00000554: JUMPDEST
00000555: POP
00000556: PUSH2 0x0595
00000559: PUSH1 0x04
0000055b: DUP1
0000055c: CALLDATASIZE
0000055d: SUB
0000055e: DUP2
0000055f: ADD
00000560: SWAP1
00000561: DUP1
00000562: DUP1
00000563: CALLDATALOAD
00000564: SWAP1
00000565: PUSH1 0x20
00000567: ADD
00000568: SWAP1
00000569: SWAP3
0000056a: SWAP2
0000056b: SWAP1
0000056c: DUP1
0000056d: CALLDATALOAD
0000056e: SWAP1
0000056f: PUSH1 0x20
00000571: ADD
00000572: SWAP1
00000573: SWAP3
00000574: SWAP2
00000575: SWAP1
00000576: DUP1
00000577: CALLDATALOAD
00000578: ISZERO
00000579: ISZERO
0000057a: SWAP1
0000057b: PUSH1 0x20
0000057d: ADD
0000057e: SWAP1
0000057f: SWAP3
00000580: SWAP2
00000581: SWAP1
00000582: DUP1
00000583: CALLDATALOAD
00000584: ISZERO
00000585: ISZERO
00000586: SWAP1
00000587: PUSH1 0x20
00000589: ADD
0000058a: SWAP1
0000058b: SWAP3
0000058c: SWAP2
0000058d: SWAP1
0000058e: POP
0000058f: POP
00000590: POP
00000591: PUSH2 0x139e
00000594: JUMP
00000595: JUMPDEST
00000596: PUSH1 0x40
00000598: MLOAD
00000599: DUP1
0000059a: DUP1
0000059b: PUSH1 0x20
0000059d: ADD
0000059e: DUP3
0000059f: DUP2
000005a0: SUB
000005a1: DUP3
000005a2: MSTORE
000005a3: DUP4
000005a4: DUP2
000005a5: DUP2
000005a6: MLOAD
000005a7: DUP2
000005a8: MSTORE
000005a9: PUSH1 0x20
000005ab: ADD
000005ac: SWAP2
000005ad: POP
000005ae: DUP1
000005af: MLOAD
000005b0: SWAP1
000005b1: PUSH1 0x20
000005b3: ADD
000005b4: SWAP1
000005b5: PUSH1 0x20
000005b7: MUL
000005b8: DUP1
000005b9: DUP4
000005ba: DUP4
000005bb: PUSH1 0x00
000005bd: JUMPDEST
000005be: DUP4
000005bf: DUP2
000005c0: LT
000005c1: ISZERO
000005c2: PUSH2 0x05d8
000005c5: JUMPI
000005c6: DUP1
000005c7: DUP3
000005c8: ADD
000005c9: MLOAD
000005ca: DUP2
000005cb: DUP5
000005cc: ADD
000005cd: MSTORE
000005ce: PUSH1 0x20
000005d0: DUP2
000005d1: ADD
000005d2: SWAP1
000005d3: POP
000005d4: PUSH2 0x05bd
000005d7: JUMP
000005d8: JUMPDEST
000005d9: POP
000005da: POP
000005db: POP
000005dc: POP
000005dd: SWAP1
000005de: POP
000005df: ADD
000005e0: SWAP3
000005e1: POP
000005e2: POP
000005e3: POP
000005e4: PUSH1 0x40
000005e6: MLOAD
000005e7: DUP1
000005e8: SWAP2
000005e9: SUB
000005ea: SWAP1
000005eb: RETURN
000005ec: JUMPDEST
000005ed: CALLVALUE
000005ee: DUP1
000005ef: ISZERO
000005f0: PUSH2 0x05f8
000005f3: JUMPI
000005f4: PUSH1 0x00
000005f6: DUP1
000005f7: REVERT
000005f8: JUMPDEST
000005f9: POP
000005fa: PUSH2 0x0617
000005fd: PUSH1 0x04
000005ff: DUP1
00000600: CALLDATASIZE
00000601: SUB
00000602: DUP2
00000603: ADD
00000604: SWAP1
00000605: DUP1
00000606: DUP1
00000607: CALLDATALOAD
00000608: SWAP1
00000609: PUSH1 0x20
0000060b: ADD
0000060c: SWAP1
0000060d: SWAP3
0000060e: SWAP2
0000060f: SWAP1
00000610: POP
00000611: POP
00000612: POP
00000613: PUSH2 0x150f
00000616: JUMP
00000617: JUMPDEST
00000618: PUSH1 0x40
0000061a: MLOAD
0000061b: DUP1
0000061c: DUP1
0000061d: PUSH1 0x20
0000061f: ADD
00000620: DUP3
00000621: DUP2
00000622: SUB
00000623: DUP3
00000624: MSTORE
00000625: DUP4
00000626: DUP2
00000627: DUP2
00000628: MLOAD
00000629: DUP2
0000062a: MSTORE
0000062b: PUSH1 0x20
0000062d: ADD
0000062e: SWAP2
0000062f: POP
00000630: DUP1
00000631: MLOAD
00000632: SWAP1
00000633: PUSH1 0x20
00000635: ADD
00000636: SWAP1
00000637: PUSH1 0x20
00000639: MUL
0000063a: DUP1
0000063b: DUP4
0000063c: DUP4
0000063d: PUSH1 0x00
0000063f: JUMPDEST
00000640: DUP4
00000641: DUP2
00000642: LT
00000643: ISZERO
00000644: PUSH2 0x065a
00000647: JUMPI
00000648: DUP1
00000649: DUP3
0000064a: ADD
0000064b: MLOAD
0000064c: DUP2
0000064d: DUP5
0000064e: ADD
0000064f: MSTORE
00000650: PUSH1 0x20
00000652: DUP2
00000653: ADD
00000654: SWAP1
00000655: POP
00000656: PUSH2 0x063f
00000659: JUMP
0000065a: JUMPDEST
0000065b: POP
0000065c: POP
0000065d: POP
0000065e: POP
0000065f: SWAP1
00000660: POP
00000661: ADD
00000662: SWAP3
00000663: POP
00000664: POP
00000665: POP
00000666: PUSH1 0x40
00000668: MLOAD
00000669: DUP1
0000066a: SWAP2
0000066b: SUB
0000066c: SWAP1
0000066d: RETURN
0000066e: JUMPDEST
0000066f: CALLVALUE
00000670: DUP1
00000671: ISZERO
00000672: PUSH2 0x067a
00000675: JUMPI
00000676: PUSH1 0x00
00000678: DUP1
00000679: REVERT
0000067a: JUMPDEST
0000067b: POP
0000067c: PUSH2 0x0683
0000067f: PUSH2 0x174c
00000682: JUMP
00000683: JUMPDEST
00000684: PUSH1 0x40
00000686: MLOAD
00000687: DUP1
00000688: DUP3
00000689: DUP2
0000068a: MSTORE
0000068b: PUSH1 0x20
0000068d: ADD
0000068e: SWAP2
0000068f: POP
00000690: POP
00000691: PUSH1 0x40
00000693: MLOAD
00000694: DUP1
00000695: SWAP2
00000696: SUB
00000697: SWAP1
00000698: RETURN
00000699: JUMPDEST
0000069a: CALLVALUE
0000069b: DUP1
0000069c: ISZERO
0000069d: PUSH2 0x06a5
000006a0: JUMPI
000006a1: PUSH1 0x00
000006a3: DUP1
000006a4: REVERT
000006a5: JUMPDEST
000006a6: POP
000006a7: PUSH2 0x06c4
000006aa: PUSH1 0x04
000006ac: DUP1
000006ad: CALLDATASIZE
000006ae: SUB
000006af: DUP2
000006b0: ADD
000006b1: SWAP1
000006b2: DUP1
000006b3: DUP1
000006b4: CALLDATALOAD
000006b5: SWAP1
000006b6: PUSH1 0x20
000006b8: ADD
000006b9: SWAP1
000006ba: SWAP3
000006bb: SWAP2
000006bc: SWAP1
000006bd: POP
000006be: POP
000006bf: POP
000006c0: PUSH2 0x1752
000006c3: JUMP
000006c4: JUMPDEST
000006c5: STOP
000006c6: JUMPDEST
000006c7: CALLVALUE
000006c8: DUP1
000006c9: ISZERO
000006ca: PUSH2 0x06d2
000006cd: JUMPI
000006ce: PUSH1 0x00
000006d0: DUP1
000006d1: REVERT
000006d2: JUMPDEST
000006d3: POP
000006d4: PUSH2 0x06f1
000006d7: PUSH1 0x04
000006d9: DUP1
000006da: CALLDATASIZE
000006db: SUB
000006dc: DUP2
000006dd: ADD
000006de: SWAP1
000006df: DUP1
000006e0: DUP1
000006e1: CALLDATALOAD
000006e2: SWAP1
000006e3: PUSH1 0x20
000006e5: ADD
000006e6: SWAP1
000006e7: SWAP3
000006e8: SWAP2
000006e9: SWAP1
000006ea: POP
000006eb: POP
000006ec: POP
000006ed: PUSH2 0x1822
000006f0: JUMP
000006f1: JUMPDEST
000006f2: STOP
000006f3: JUMPDEST
000006f4: CALLVALUE
000006f5: DUP1
000006f6: ISZERO
000006f7: PUSH2 0x06ff
000006fa: JUMPI
000006fb: PUSH1 0x00
000006fd: DUP1
000006fe: REVERT
000006ff: JUMPDEST
00000700: POP
00000701: PUSH2 0x0784
00000704: PUSH1 0x04
00000706: DUP1
00000707: CALLDATASIZE
00000708: SUB
00000709: DUP2
0000070a: ADD
0000070b: SWAP1
0000070c: DUP1
0000070d: DUP1
0000070e: CALLDATALOAD
0000070f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000724: AND
00000725: SWAP1
00000726: PUSH1 0x20
00000728: ADD
00000729: SWAP1
0000072a: SWAP3
0000072b: SWAP2
0000072c: SWAP1
0000072d: DUP1
0000072e: CALLDATALOAD
0000072f: SWAP1
00000730: PUSH1 0x20
00000732: ADD
00000733: SWAP1
00000734: SWAP3
00000735: SWAP2
00000736: SWAP1
00000737: DUP1
00000738: CALLDATALOAD
00000739: SWAP1
0000073a: PUSH1 0x20
0000073c: ADD
0000073d: SWAP1
0000073e: DUP3
0000073f: ADD
00000740: DUP1
00000741: CALLDATALOAD
00000742: SWAP1
00000743: PUSH1 0x20
00000745: ADD
00000746: SWAP1
00000747: DUP1
00000748: DUP1
00000749: PUSH1 0x1f
0000074b: ADD
0000074c: PUSH1 0x20
0000074e: DUP1
0000074f: SWAP2
00000750: DIV
00000751: MUL
00000752: PUSH1 0x20
00000754: ADD
00000755: PUSH1 0x40
00000757: MLOAD
00000758: SWAP1
00000759: DUP2
0000075a: ADD
0000075b: PUSH1 0x40
0000075d: MSTORE
0000075e: DUP1
0000075f: SWAP4
00000760: SWAP3
00000761: SWAP2
00000762: SWAP1
00000763: DUP2
00000764: DUP2
00000765: MSTORE
00000766: PUSH1 0x20
00000768: ADD
00000769: DUP4
0000076a: DUP4
0000076b: DUP1
0000076c: DUP3
0000076d: DUP5
0000076e: CALLDATACOPY
0000076f: DUP3
00000770: ADD
00000771: SWAP2
00000772: POP
00000773: POP
00000774: POP
00000775: POP
00000776: POP
00000777: POP
00000778: SWAP2
00000779: SWAP3
0000077a: SWAP2
0000077b: SWAP3
0000077c: SWAP1
0000077d: POP
0000077e: POP
0000077f: POP
00000780: PUSH2 0x19ff
00000783: JUMP
00000784: JUMPDEST
00000785: PUSH1 0x40
00000787: MLOAD
00000788: DUP1
00000789: DUP3
0000078a: DUP2
0000078b: MSTORE
0000078c: PUSH1 0x20
0000078e: ADD
0000078f: SWAP2
00000790: POP
00000791: POP
00000792: PUSH1 0x40
00000794: MLOAD
00000795: DUP1
00000796: SWAP2
00000797: SUB
00000798: SWAP1
00000799: RETURN
0000079a: JUMPDEST
0000079b: CALLVALUE
0000079c: DUP1
0000079d: ISZERO
0000079e: PUSH2 0x07a6
000007a1: JUMPI
000007a2: PUSH1 0x00
000007a4: DUP1
000007a5: REVERT
000007a6: JUMPDEST
000007a7: POP
000007a8: PUSH2 0x07af
000007ab: PUSH2 0x1a1e
000007ae: JUMP
000007af: JUMPDEST
000007b0: PUSH1 0x40
000007b2: MLOAD
000007b3: DUP1
000007b4: DUP3
000007b5: DUP2
000007b6: MSTORE
000007b7: PUSH1 0x20
000007b9: ADD
000007ba: SWAP2
000007bb: POP
000007bc: POP
000007bd: PUSH1 0x40
000007bf: MLOAD
000007c0: DUP1
000007c1: SWAP2
000007c2: SUB
000007c3: SWAP1
000007c4: RETURN
000007c5: JUMPDEST
000007c6: CALLVALUE
000007c7: DUP1
000007c8: ISZERO
000007c9: PUSH2 0x07d1
000007cc: JUMPI
000007cd: PUSH1 0x00
000007cf: DUP1
000007d0: REVERT
000007d1: JUMPDEST
000007d2: POP
000007d3: PUSH2 0x07da
000007d6: PUSH2 0x1a23
000007d9: JUMP
000007da: JUMPDEST
000007db: PUSH1 0x40
000007dd: MLOAD
000007de: DUP1
000007df: DUP3
000007e0: DUP2
000007e1: MSTORE
000007e2: PUSH1 0x20
000007e4: ADD
000007e5: SWAP2
000007e6: POP
000007e7: POP
000007e8: PUSH1 0x40
000007ea: MLOAD
000007eb: DUP1
000007ec: SWAP2
000007ed: SUB
000007ee: SWAP1
000007ef: RETURN
000007f0: JUMPDEST
000007f1: CALLVALUE
000007f2: DUP1
000007f3: ISZERO
000007f4: PUSH2 0x07fc
000007f7: JUMPI
000007f8: PUSH1 0x00
000007fa: DUP1
000007fb: REVERT
000007fc: JUMPDEST
000007fd: POP
000007fe: PUSH2 0x0851
00000801: PUSH1 0x04
00000803: DUP1
00000804: CALLDATASIZE
00000805: SUB
00000806: DUP2
00000807: ADD
00000808: SWAP1
00000809: DUP1
0000080a: DUP1
0000080b: CALLDATALOAD
0000080c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000821: AND
00000822: SWAP1
00000823: PUSH1 0x20
00000825: ADD
00000826: SWAP1
00000827: SWAP3
00000828: SWAP2
00000829: SWAP1
0000082a: DUP1
0000082b: CALLDATALOAD
0000082c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000841: AND
00000842: SWAP1
00000843: PUSH1 0x20
00000845: ADD
00000846: SWAP1
00000847: SWAP3
00000848: SWAP2
00000849: SWAP1
0000084a: POP
0000084b: POP
0000084c: POP
0000084d: PUSH2 0x1a29
00000850: JUMP
00000851: JUMPDEST
00000852: STOP
00000853: JUMPDEST
00000854: CALLVALUE
00000855: DUP1
00000856: ISZERO
00000857: PUSH2 0x085f
0000085a: JUMPI
0000085b: PUSH1 0x00
0000085d: DUP1
0000085e: REVERT
0000085f: JUMPDEST
00000860: POP
00000861: PUSH2 0x087e
00000864: PUSH1 0x04
00000866: DUP1
00000867: CALLDATASIZE
00000868: SUB
00000869: DUP2
0000086a: ADD
0000086b: SWAP1
0000086c: DUP1
0000086d: DUP1
0000086e: CALLDATALOAD
0000086f: SWAP1
00000870: PUSH1 0x20
00000872: ADD
00000873: SWAP1
00000874: SWAP3
00000875: SWAP2
00000876: SWAP1
00000877: POP
00000878: POP
00000879: POP
0000087a: PUSH2 0x1d3e
0000087d: JUMP
0000087e: JUMPDEST
0000087f: STOP
00000880: JUMPDEST
00000881: PUSH1 0x00
00000883: CALLVALUE
00000884: GT
00000885: ISZERO
00000886: PUSH2 0x08d8
00000889: JUMPI
0000088a: CALLER
0000088b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a0: AND
000008a1: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
000008c2: CALLVALUE
000008c3: PUSH1 0x40
000008c5: MLOAD
000008c6: DUP1
000008c7: DUP3
000008c8: DUP2
000008c9: MSTORE
000008ca: PUSH1 0x20
000008cc: ADD
000008cd: SWAP2
000008ce: POP
000008cf: POP
000008d0: PUSH1 0x40
000008d2: MLOAD
000008d3: DUP1
000008d4: SWAP2
000008d5: SUB
000008d6: SWAP1
000008d7: LOG2
000008d8: JUMPDEST
000008d9: JUMP
000008da: JUMPDEST
000008db: PUSH1 0x03
000008dd: DUP2
000008de: DUP2
000008df: SLOAD
000008e0: DUP2
000008e1: LT
000008e2: ISZERO
000008e3: ISZERO
000008e4: PUSH2 0x08e9
000008e7: JUMPI
000008e8: INVALID
000008e9: JUMPDEST
000008ea: SWAP1
000008eb: PUSH1 0x00
000008ed: MSTORE
000008ee: PUSH1 0x20
000008f0: PUSH1 0x00
000008f2: KECCAK256
000008f3: ADD
000008f4: PUSH1 0x00
000008f6: SWAP2
000008f7: POP
000008f8: SLOAD
000008f9: SWAP1
000008fa: PUSH2 0x0100
000008fd: EXP
000008fe: SWAP1
000008ff: DIV
00000900: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000915: AND
00000916: DUP2
00000917: JUMP
00000918: JUMPDEST
00000919: PUSH1 0x00
0000091b: ADDRESS
0000091c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000931: AND
00000932: CALLER
00000933: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000948: AND
00000949: EQ
0000094a: ISZERO
0000094b: ISZERO
0000094c: PUSH2 0x0954
0000094f: JUMPI
00000950: PUSH1 0x00
00000952: DUP1
00000953: REVERT
00000954: JUMPDEST
00000955: DUP2
00000956: PUSH1 0x02
00000958: PUSH1 0x00
0000095a: DUP3
0000095b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000970: AND
00000971: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000986: AND
00000987: DUP2
00000988: MSTORE
00000989: PUSH1 0x20
0000098b: ADD
0000098c: SWAP1
0000098d: DUP2
0000098e: MSTORE
0000098f: PUSH1 0x20
00000991: ADD
00000992: PUSH1 0x00
00000994: KECCAK256
00000995: PUSH1 0x00
00000997: SWAP1
00000998: SLOAD
00000999: SWAP1
0000099a: PUSH2 0x0100
0000099d: EXP
0000099e: SWAP1
0000099f: DIV
000009a0: PUSH1 0xff
000009a2: AND
000009a3: ISZERO
000009a4: ISZERO
000009a5: PUSH2 0x09ad
000009a8: JUMPI
000009a9: PUSH1 0x00
000009ab: DUP1
000009ac: REVERT
000009ad: JUMPDEST
000009ae: PUSH1 0x00
000009b0: PUSH1 0x02
000009b2: PUSH1 0x00
000009b4: DUP6
000009b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ca: AND
000009cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e0: AND
000009e1: DUP2
000009e2: MSTORE
000009e3: PUSH1 0x20
000009e5: ADD
000009e6: SWAP1
000009e7: DUP2
000009e8: MSTORE
000009e9: PUSH1 0x20
000009eb: ADD
000009ec: PUSH1 0x00
000009ee: KECCAK256
000009ef: PUSH1 0x00
000009f1: PUSH2 0x0100
000009f4: EXP
000009f5: DUP2
000009f6: SLOAD
000009f7: DUP2
000009f8: PUSH1 0xff
000009fa: MUL
000009fb: NOT
000009fc: AND
000009fd: SWAP1
000009fe: DUP4
000009ff: ISZERO
00000a00: ISZERO
00000a01: MUL
00000a02: OR
00000a03: SWAP1
00000a04: SSTORE
00000a05: POP
00000a06: PUSH1 0x00
00000a08: SWAP2
00000a09: POP
00000a0a: JUMPDEST
00000a0b: PUSH1 0x01
00000a0d: PUSH1 0x03
00000a0f: DUP1
00000a10: SLOAD
00000a11: SWAP1
00000a12: POP
00000a13: SUB
00000a14: DUP3
00000a15: LT
00000a16: ISZERO
00000a17: PUSH2 0x0b32
00000a1a: JUMPI
00000a1b: DUP3
00000a1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a31: AND
00000a32: PUSH1 0x03
00000a34: DUP4
00000a35: DUP2
00000a36: SLOAD
00000a37: DUP2
00000a38: LT
00000a39: ISZERO
00000a3a: ISZERO
00000a3b: PUSH2 0x0a40
00000a3e: JUMPI
00000a3f: INVALID
00000a40: JUMPDEST
00000a41: SWAP1
00000a42: PUSH1 0x00
00000a44: MSTORE
00000a45: PUSH1 0x20
00000a47: PUSH1 0x00
00000a49: KECCAK256
00000a4a: ADD
00000a4b: PUSH1 0x00
00000a4d: SWAP1
00000a4e: SLOAD
00000a4f: SWAP1
00000a50: PUSH2 0x0100
00000a53: EXP
00000a54: SWAP1
00000a55: DIV
00000a56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6b: AND
00000a6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a81: AND
00000a82: EQ
00000a83: ISZERO
00000a84: PUSH2 0x0b25
00000a87: JUMPI
00000a88: PUSH1 0x03
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0x03
00000a8e: DUP1
00000a8f: SLOAD
00000a90: SWAP1
00000a91: POP
00000a92: SUB
00000a93: DUP2
00000a94: SLOAD
00000a95: DUP2
00000a96: LT
00000a97: ISZERO
00000a98: ISZERO
00000a99: PUSH2 0x0a9e
00000a9c: JUMPI
00000a9d: INVALID
00000a9e: JUMPDEST
00000a9f: SWAP1
00000aa0: PUSH1 0x00
00000aa2: MSTORE
00000aa3: PUSH1 0x20
00000aa5: PUSH1 0x00
00000aa7: KECCAK256
00000aa8: ADD
00000aa9: PUSH1 0x00
00000aab: SWAP1
00000aac: SLOAD
00000aad: SWAP1
00000aae: PUSH2 0x0100
00000ab1: EXP
00000ab2: SWAP1
00000ab3: DIV
00000ab4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac9: AND
00000aca: PUSH1 0x03
00000acc: DUP4
00000acd: DUP2
00000ace: SLOAD
00000acf: DUP2
00000ad0: LT
00000ad1: ISZERO
00000ad2: ISZERO
00000ad3: PUSH2 0x0ad8
00000ad6: JUMPI
00000ad7: INVALID
00000ad8: JUMPDEST
00000ad9: SWAP1
00000ada: PUSH1 0x00
00000adc: MSTORE
00000add: PUSH1 0x20
00000adf: PUSH1 0x00
00000ae1: KECCAK256
00000ae2: ADD
00000ae3: PUSH1 0x00
00000ae5: PUSH2 0x0100
00000ae8: EXP
00000ae9: DUP2
00000aea: SLOAD
00000aeb: DUP2
00000aec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b01: MUL
00000b02: NOT
00000b03: AND
00000b04: SWAP1
00000b05: DUP4
00000b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1b: AND
00000b1c: MUL
00000b1d: OR
00000b1e: SWAP1
00000b1f: SSTORE
00000b20: POP
00000b21: PUSH2 0x0b32
00000b24: JUMP
00000b25: JUMPDEST
00000b26: DUP2
00000b27: DUP1
00000b28: PUSH1 0x01
00000b2a: ADD
00000b2b: SWAP3
00000b2c: POP
00000b2d: POP
00000b2e: PUSH2 0x0a0a
00000b31: JUMP
00000b32: JUMPDEST
00000b33: PUSH1 0x01
00000b35: PUSH1 0x03
00000b37: DUP2
00000b38: DUP2
00000b39: DUP1
00000b3a: SLOAD
00000b3b: SWAP1
00000b3c: POP
00000b3d: SUB
00000b3e: SWAP2
00000b3f: POP
00000b40: DUP2
00000b41: PUSH2 0x0b4a
00000b44: SWAP2
00000b45: SWAP1
00000b46: PUSH2 0x2125
00000b49: JUMP
00000b4a: JUMPDEST
00000b4b: POP
00000b4c: PUSH1 0x03
00000b4e: DUP1
00000b4f: SLOAD
00000b50: SWAP1
00000b51: POP
00000b52: PUSH1 0x04
00000b54: SLOAD
00000b55: GT
00000b56: ISZERO
00000b57: PUSH2 0x0b69
00000b5a: JUMPI
00000b5b: PUSH2 0x0b68
00000b5e: PUSH1 0x03
00000b60: DUP1
00000b61: SLOAD
00000b62: SWAP1
00000b63: POP
00000b64: PUSH2 0x1752
00000b67: JUMP
00000b68: JUMPDEST
00000b69: JUMPDEST
00000b6a: DUP3
00000b6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b80: AND
00000b81: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00000ba2: PUSH1 0x40
00000ba4: MLOAD
00000ba5: PUSH1 0x40
00000ba7: MLOAD
00000ba8: DUP1
00000ba9: SWAP2
00000baa: SUB
00000bab: SWAP1
00000bac: LOG2
00000bad: POP
00000bae: POP
00000baf: POP
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: CALLER
00000bb3: PUSH1 0x02
00000bb5: PUSH1 0x00
00000bb7: DUP3
00000bb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bcd: AND
00000bce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be3: AND
00000be4: DUP2
00000be5: MSTORE
00000be6: PUSH1 0x20
00000be8: ADD
00000be9: SWAP1
00000bea: DUP2
00000beb: MSTORE
00000bec: PUSH1 0x20
00000bee: ADD
00000bef: PUSH1 0x00
00000bf1: KECCAK256
00000bf2: PUSH1 0x00
00000bf4: SWAP1
00000bf5: SLOAD
00000bf6: SWAP1
00000bf7: PUSH2 0x0100
00000bfa: EXP
00000bfb: SWAP1
00000bfc: DIV
00000bfd: PUSH1 0xff
00000bff: AND
00000c00: ISZERO
00000c01: ISZERO
00000c02: PUSH2 0x0c0a
00000c05: JUMPI
00000c06: PUSH1 0x00
00000c08: DUP1
00000c09: REVERT
00000c0a: JUMPDEST
00000c0b: DUP2
00000c0c: CALLER
00000c0d: PUSH1 0x01
00000c0f: PUSH1 0x00
00000c11: DUP4
00000c12: DUP2
00000c13: MSTORE
00000c14: PUSH1 0x20
00000c16: ADD
00000c17: SWAP1
00000c18: DUP2
00000c19: MSTORE
00000c1a: PUSH1 0x20
00000c1c: ADD
00000c1d: PUSH1 0x00
00000c1f: KECCAK256
00000c20: PUSH1 0x00
00000c22: DUP3
00000c23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c38: AND
00000c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c4e: AND
00000c4f: DUP2
00000c50: MSTORE
00000c51: PUSH1 0x20
00000c53: ADD
00000c54: SWAP1
00000c55: DUP2
00000c56: MSTORE
00000c57: PUSH1 0x20
00000c59: ADD
00000c5a: PUSH1 0x00
00000c5c: KECCAK256
00000c5d: PUSH1 0x00
00000c5f: SWAP1
00000c60: SLOAD
00000c61: SWAP1
00000c62: PUSH2 0x0100
00000c65: EXP
00000c66: SWAP1
00000c67: DIV
00000c68: PUSH1 0xff
00000c6a: AND
00000c6b: ISZERO
00000c6c: ISZERO
00000c6d: PUSH2 0x0c75
00000c70: JUMPI
00000c71: PUSH1 0x00
00000c73: DUP1
00000c74: REVERT
00000c75: JUMPDEST
00000c76: DUP4
00000c77: PUSH1 0x00
00000c79: DUP1
00000c7a: DUP3
00000c7b: DUP2
00000c7c: MSTORE
00000c7d: PUSH1 0x20
00000c7f: ADD
00000c80: SWAP1
00000c81: DUP2
00000c82: MSTORE
00000c83: PUSH1 0x20
00000c85: ADD
00000c86: PUSH1 0x00
00000c88: KECCAK256
00000c89: PUSH1 0x03
00000c8b: ADD
00000c8c: PUSH1 0x00
00000c8e: SWAP1
00000c8f: SLOAD
00000c90: SWAP1
00000c91: PUSH2 0x0100
00000c94: EXP
00000c95: SWAP1
00000c96: DIV
00000c97: PUSH1 0xff
00000c99: AND
00000c9a: ISZERO
00000c9b: ISZERO
00000c9c: ISZERO
00000c9d: PUSH2 0x0ca5
00000ca0: JUMPI
00000ca1: PUSH1 0x00
00000ca3: DUP1
00000ca4: REVERT
00000ca5: JUMPDEST
00000ca6: PUSH1 0x00
00000ca8: PUSH1 0x01
00000caa: PUSH1 0x00
00000cac: DUP8
00000cad: DUP2
00000cae: MSTORE
00000caf: PUSH1 0x20
00000cb1: ADD
00000cb2: SWAP1
00000cb3: DUP2
00000cb4: MSTORE
00000cb5: PUSH1 0x20
00000cb7: ADD
00000cb8: PUSH1 0x00
00000cba: KECCAK256
00000cbb: PUSH1 0x00
00000cbd: CALLER
00000cbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd3: AND
00000cd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce9: AND
00000cea: DUP2
00000ceb: MSTORE
00000cec: PUSH1 0x20
00000cee: ADD
00000cef: SWAP1
00000cf0: DUP2
00000cf1: MSTORE
00000cf2: PUSH1 0x20
00000cf4: ADD
00000cf5: PUSH1 0x00
00000cf7: KECCAK256
00000cf8: PUSH1 0x00
00000cfa: PUSH2 0x0100
00000cfd: EXP
00000cfe: DUP2
00000cff: SLOAD
00000d00: DUP2
00000d01: PUSH1 0xff
00000d03: MUL
00000d04: NOT
00000d05: AND
00000d06: SWAP1
00000d07: DUP4
00000d08: ISZERO
00000d09: ISZERO
00000d0a: MUL
00000d0b: OR
00000d0c: SWAP1
00000d0d: SSTORE
00000d0e: POP
00000d0f: DUP5
00000d10: CALLER
00000d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d26: AND
00000d27: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9
00000d48: PUSH1 0x40
00000d4a: MLOAD
00000d4b: PUSH1 0x40
00000d4d: MLOAD
00000d4e: DUP1
00000d4f: SWAP2
00000d50: SUB
00000d51: SWAP1
00000d52: LOG3
00000d53: POP
00000d54: POP
00000d55: POP
00000d56: POP
00000d57: POP
00000d58: JUMP
00000d59: JUMPDEST
00000d5a: PUSH1 0x02
00000d5c: PUSH1 0x20
00000d5e: MSTORE
00000d5f: DUP1
00000d60: PUSH1 0x00
00000d62: MSTORE
00000d63: PUSH1 0x40
00000d65: PUSH1 0x00
00000d67: KECCAK256
00000d68: PUSH1 0x00
00000d6a: SWAP2
00000d6b: POP
00000d6c: SLOAD
00000d6d: SWAP1
00000d6e: PUSH2 0x0100
00000d71: EXP
00000d72: SWAP1
00000d73: DIV
00000d74: PUSH1 0xff
00000d76: AND
00000d77: DUP2
00000d78: JUMP
00000d79: JUMPDEST
00000d7a: PUSH1 0x01
00000d7c: PUSH1 0x20
00000d7e: MSTORE
00000d7f: DUP2
00000d80: PUSH1 0x00
00000d82: MSTORE
00000d83: PUSH1 0x40
00000d85: PUSH1 0x00
00000d87: KECCAK256
00000d88: PUSH1 0x20
00000d8a: MSTORE
00000d8b: DUP1
00000d8c: PUSH1 0x00
00000d8e: MSTORE
00000d8f: PUSH1 0x40
00000d91: PUSH1 0x00
00000d93: KECCAK256
00000d94: PUSH1 0x00
00000d96: SWAP2
00000d97: POP
00000d98: SWAP2
00000d99: POP
00000d9a: SWAP1
00000d9b: SLOAD
00000d9c: SWAP1
00000d9d: PUSH2 0x0100
00000da0: EXP
00000da1: SWAP1
00000da2: DIV
00000da3: PUSH1 0xff
00000da5: AND
00000da6: DUP2
00000da7: JUMP
00000da8: JUMPDEST
00000da9: PUSH1 0x00
00000dab: DUP1
00000dac: PUSH1 0x00
00000dae: SWAP1
00000daf: POP
00000db0: JUMPDEST
00000db1: PUSH1 0x05
00000db3: SLOAD
00000db4: DUP2
00000db5: LT
00000db6: ISZERO
00000db7: PUSH2 0x0e33
00000dba: JUMPI
00000dbb: DUP4
00000dbc: DUP1
00000dbd: ISZERO
00000dbe: PUSH2 0x0de7
00000dc1: JUMPI
00000dc2: POP
00000dc3: PUSH1 0x00
00000dc5: DUP1
00000dc6: DUP3
00000dc7: DUP2
00000dc8: MSTORE
00000dc9: PUSH1 0x20
00000dcb: ADD
00000dcc: SWAP1
00000dcd: DUP2
00000dce: MSTORE
00000dcf: PUSH1 0x20
00000dd1: ADD
00000dd2: PUSH1 0x00
00000dd4: KECCAK256
00000dd5: PUSH1 0x03
00000dd7: ADD
00000dd8: PUSH1 0x00
00000dda: SWAP1
00000ddb: SLOAD
00000ddc: SWAP1
00000ddd: PUSH2 0x0100
00000de0: EXP
00000de1: SWAP1
00000de2: DIV
00000de3: PUSH1 0xff
00000de5: AND
00000de6: ISZERO
00000de7: JUMPDEST
00000de8: DUP1
00000de9: PUSH2 0x0e1a
00000dec: JUMPI
00000ded: POP
00000dee: DUP3
00000def: DUP1
00000df0: ISZERO
00000df1: PUSH2 0x0e19
00000df4: JUMPI
00000df5: POP
00000df6: PUSH1 0x00
00000df8: DUP1
00000df9: DUP3
00000dfa: DUP2
00000dfb: MSTORE
00000dfc: PUSH1 0x20
00000dfe: ADD
00000dff: SWAP1
00000e00: DUP2
00000e01: MSTORE
00000e02: PUSH1 0x20
00000e04: ADD
00000e05: PUSH1 0x00
00000e07: KECCAK256
00000e08: PUSH1 0x03
00000e0a: ADD
00000e0b: PUSH1 0x00
00000e0d: SWAP1
00000e0e: SLOAD
00000e0f: SWAP1
00000e10: PUSH2 0x0100
00000e13: EXP
00000e14: SWAP1
00000e15: DIV
00000e16: PUSH1 0xff
00000e18: AND
00000e19: JUMPDEST
00000e1a: JUMPDEST
00000e1b: ISZERO
00000e1c: PUSH2 0x0e26
00000e1f: JUMPI
00000e20: PUSH1 0x01
00000e22: DUP3
00000e23: ADD
00000e24: SWAP2
00000e25: POP
00000e26: JUMPDEST
00000e27: DUP1
00000e28: DUP1
00000e29: PUSH1 0x01
00000e2b: ADD
00000e2c: SWAP2
00000e2d: POP
00000e2e: POP
00000e2f: PUSH2 0x0db0
00000e32: JUMP
00000e33: JUMPDEST
00000e34: POP
00000e35: SWAP3
00000e36: SWAP2
00000e37: POP
00000e38: POP
00000e39: JUMP
00000e3a: JUMPDEST
00000e3b: ADDRESS
00000e3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e51: AND
00000e52: CALLER
00000e53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e68: AND
00000e69: EQ
00000e6a: ISZERO
00000e6b: ISZERO
00000e6c: PUSH2 0x0e74
00000e6f: JUMPI
00000e70: PUSH1 0x00
00000e72: DUP1
00000e73: REVERT
00000e74: JUMPDEST
00000e75: DUP1
00000e76: PUSH1 0x02
00000e78: PUSH1 0x00
00000e7a: DUP3
00000e7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e90: AND
00000e91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea6: AND
00000ea7: DUP2
00000ea8: MSTORE
00000ea9: PUSH1 0x20
00000eab: ADD
00000eac: SWAP1
00000ead: DUP2
00000eae: MSTORE
00000eaf: PUSH1 0x20
00000eb1: ADD
00000eb2: PUSH1 0x00
00000eb4: KECCAK256
00000eb5: PUSH1 0x00
00000eb7: SWAP1
00000eb8: SLOAD
00000eb9: SWAP1
00000eba: PUSH2 0x0100
00000ebd: EXP
00000ebe: SWAP1
00000ebf: DIV
00000ec0: PUSH1 0xff
00000ec2: AND
00000ec3: ISZERO
00000ec4: ISZERO
00000ec5: ISZERO
00000ec6: PUSH2 0x0ece
00000ec9: JUMPI
00000eca: PUSH1 0x00
00000ecc: DUP1
00000ecd: REVERT
00000ece: JUMPDEST
00000ecf: DUP2
00000ed0: PUSH1 0x00
00000ed2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee7: AND
00000ee8: DUP2
00000ee9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000efe: AND
00000eff: EQ
00000f00: ISZERO
00000f01: ISZERO
00000f02: ISZERO
00000f03: PUSH2 0x0f0b
00000f06: JUMPI
00000f07: PUSH1 0x00
00000f09: DUP1
00000f0a: REVERT
00000f0b: JUMPDEST
00000f0c: PUSH1 0x01
00000f0e: PUSH1 0x03
00000f10: DUP1
00000f11: SLOAD
00000f12: SWAP1
00000f13: POP
00000f14: ADD
00000f15: PUSH1 0x04
00000f17: SLOAD
00000f18: PUSH1 0x00
00000f1a: DUP1
00000f1b: PUSH1 0x00
00000f1d: DUP1
00000f1e: PUSH1 0x32
00000f20: DUP7
00000f21: GT
00000f22: ISZERO
00000f23: SWAP4
00000f24: POP
00000f25: PUSH1 0x00
00000f27: DUP7
00000f28: EQ
00000f29: ISZERO
00000f2a: SWAP3
00000f2b: POP
00000f2c: DUP6
00000f2d: DUP6
00000f2e: GT
00000f2f: ISZERO
00000f30: SWAP2
00000f31: POP
00000f32: PUSH1 0x00
00000f34: DUP6
00000f35: EQ
00000f36: ISZERO
00000f37: SWAP1
00000f38: POP
00000f39: DUP4
00000f3a: DUP1
00000f3b: ISZERO
00000f3c: PUSH2 0x0f42
00000f3f: JUMPI
00000f40: POP
00000f41: DUP3
00000f42: JUMPDEST
00000f43: DUP1
00000f44: ISZERO
00000f45: PUSH2 0x0f4b
00000f48: JUMPI
00000f49: POP
00000f4a: DUP2
00000f4b: JUMPDEST
00000f4c: DUP1
00000f4d: ISZERO
00000f4e: PUSH2 0x0f54
00000f51: JUMPI
00000f52: POP
00000f53: DUP1
00000f54: JUMPDEST
00000f55: ISZERO
00000f56: ISZERO
00000f57: PUSH2 0x0f5f
00000f5a: JUMPI
00000f5b: PUSH1 0x00
00000f5d: DUP1
00000f5e: REVERT
00000f5f: JUMPDEST
00000f60: PUSH1 0x01
00000f62: PUSH1 0x02
00000f64: PUSH1 0x00
00000f66: DUP12
00000f67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7c: AND
00000f7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f92: AND
00000f93: DUP2
00000f94: MSTORE
00000f95: PUSH1 0x20
00000f97: ADD
00000f98: SWAP1
00000f99: DUP2
00000f9a: MSTORE
00000f9b: PUSH1 0x20
00000f9d: ADD
00000f9e: PUSH1 0x00
00000fa0: KECCAK256
00000fa1: PUSH1 0x00
00000fa3: PUSH2 0x0100
00000fa6: EXP
00000fa7: DUP2
00000fa8: SLOAD
00000fa9: DUP2
00000faa: PUSH1 0xff
00000fac: MUL
00000fad: NOT
00000fae: AND
00000faf: SWAP1
00000fb0: DUP4
00000fb1: ISZERO
00000fb2: ISZERO
00000fb3: MUL
00000fb4: OR
00000fb5: SWAP1
00000fb6: SSTORE
00000fb7: POP
00000fb8: PUSH1 0x03
00000fba: DUP10
00000fbb: SWAP1
00000fbc: DUP1
00000fbd: PUSH1 0x01
00000fbf: DUP2
00000fc0: SLOAD
00000fc1: ADD
00000fc2: DUP1
00000fc3: DUP3
00000fc4: SSTORE
00000fc5: DUP1
00000fc6: SWAP2
00000fc7: POP
00000fc8: POP
00000fc9: SWAP1
00000fca: PUSH1 0x01
00000fcc: DUP3
00000fcd: SUB
00000fce: SWAP1
00000fcf: PUSH1 0x00
00000fd1: MSTORE
00000fd2: PUSH1 0x20
00000fd4: PUSH1 0x00
00000fd6: KECCAK256
00000fd7: ADD
00000fd8: PUSH1 0x00
00000fda: SWAP1
00000fdb: SWAP2
00000fdc: SWAP3
00000fdd: SWAP1
00000fde: SWAP2
00000fdf: SWAP1
00000fe0: SWAP2
00000fe1: PUSH2 0x0100
00000fe4: EXP
00000fe5: DUP2
00000fe6: SLOAD
00000fe7: DUP2
00000fe8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffd: MUL
00000ffe: NOT
00000fff: AND
00001000: SWAP1
00001001: DUP4
00001002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001017: AND
00001018: MUL
00001019: OR
0000101a: SWAP1
0000101b: SSTORE
0000101c: POP
0000101d: POP
0000101e: DUP9
0000101f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001034: AND
00001035: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00001056: PUSH1 0x40
00001058: MLOAD
00001059: PUSH1 0x40
0000105b: MLOAD
0000105c: DUP1
0000105d: SWAP2
0000105e: SUB
0000105f: SWAP1
00001060: LOG2
00001061: POP
00001062: POP
00001063: POP
00001064: POP
00001065: POP
00001066: POP
00001067: POP
00001068: POP
00001069: POP
0000106a: JUMP
0000106b: JUMPDEST
0000106c: PUSH1 0x00
0000106e: DUP1
0000106f: PUSH1 0x00
00001071: DUP1
00001072: SWAP2
00001073: POP
00001074: PUSH1 0x00
00001076: SWAP1
00001077: POP
00001078: JUMPDEST
00001079: PUSH1 0x03
0000107b: DUP1
0000107c: SLOAD
0000107d: SWAP1
0000107e: POP
0000107f: DUP2
00001080: LT
00001081: ISZERO
00001082: PUSH2 0x1148
00001085: JUMPI
00001086: PUSH1 0x01
00001088: PUSH1 0x00
0000108a: DUP6
0000108b: DUP2
0000108c: MSTORE
0000108d: PUSH1 0x20
0000108f: ADD
00001090: SWAP1
00001091: DUP2
00001092: MSTORE
00001093: PUSH1 0x20
00001095: ADD
00001096: PUSH1 0x00
00001098: KECCAK256
00001099: PUSH1 0x00
0000109b: PUSH1 0x03
0000109d: DUP4
0000109e: DUP2
0000109f: SLOAD
000010a0: DUP2
000010a1: LT
000010a2: ISZERO
000010a3: ISZERO
000010a4: PUSH2 0x10a9
000010a7: JUMPI
000010a8: INVALID
000010a9: JUMPDEST
000010aa: SWAP1
000010ab: PUSH1 0x00
000010ad: MSTORE
000010ae: PUSH1 0x20
000010b0: PUSH1 0x00
000010b2: KECCAK256
000010b3: ADD
000010b4: PUSH1 0x00
000010b6: SWAP1
000010b7: SLOAD
000010b8: SWAP1
000010b9: PUSH2 0x0100
000010bc: EXP
000010bd: SWAP1
000010be: DIV
000010bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d4: AND
000010d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ea: AND
000010eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001100: AND
00001101: DUP2
00001102: MSTORE
00001103: PUSH1 0x20
00001105: ADD
00001106: SWAP1
00001107: DUP2
00001108: MSTORE
00001109: PUSH1 0x20
0000110b: ADD
0000110c: PUSH1 0x00
0000110e: KECCAK256
0000110f: PUSH1 0x00
00001111: SWAP1
00001112: SLOAD
00001113: SWAP1
00001114: PUSH2 0x0100
00001117: EXP
00001118: SWAP1
00001119: DIV
0000111a: PUSH1 0xff
0000111c: AND
0000111d: ISZERO
0000111e: PUSH2 0x1128
00001121: JUMPI
00001122: PUSH1 0x01
00001124: DUP3
00001125: ADD
00001126: SWAP2
00001127: POP
00001128: JUMPDEST
00001129: PUSH1 0x04
0000112b: SLOAD
0000112c: DUP3
0000112d: EQ
0000112e: ISZERO
0000112f: PUSH2 0x113b
00001132: JUMPI
00001133: PUSH1 0x01
00001135: SWAP3
00001136: POP
00001137: PUSH2 0x1149
0000113a: JUMP
0000113b: JUMPDEST
0000113c: DUP1
0000113d: DUP1
0000113e: PUSH1 0x01
00001140: ADD
00001141: SWAP2
00001142: POP
00001143: POP
00001144: PUSH2 0x1078
00001147: JUMP
00001148: JUMPDEST
00001149: JUMPDEST
0000114a: POP
0000114b: POP
0000114c: SWAP2
0000114d: SWAP1
0000114e: POP
0000114f: JUMP
00001150: JUMPDEST
00001151: PUSH1 0x00
00001153: DUP1
00001154: PUSH1 0x00
00001156: SWAP1
00001157: POP
00001158: JUMPDEST
00001159: PUSH1 0x03
0000115b: DUP1
0000115c: SLOAD
0000115d: SWAP1
0000115e: POP
0000115f: DUP2
00001160: LT
00001161: ISZERO
00001162: PUSH2 0x1215
00001165: JUMPI
00001166: PUSH1 0x01
00001168: PUSH1 0x00
0000116a: DUP5
0000116b: DUP2
0000116c: MSTORE
0000116d: PUSH1 0x20
0000116f: ADD
00001170: SWAP1
00001171: DUP2
00001172: MSTORE
00001173: PUSH1 0x20
00001175: ADD
00001176: PUSH1 0x00
00001178: KECCAK256
00001179: PUSH1 0x00
0000117b: PUSH1 0x03
0000117d: DUP4
0000117e: DUP2
0000117f: SLOAD
00001180: DUP2
00001181: LT
00001182: ISZERO
00001183: ISZERO
00001184: PUSH2 0x1189
00001187: JUMPI
00001188: INVALID
00001189: JUMPDEST
0000118a: SWAP1
0000118b: PUSH1 0x00
0000118d: MSTORE
0000118e: PUSH1 0x20
00001190: PUSH1 0x00
00001192: KECCAK256
00001193: ADD
00001194: PUSH1 0x00
00001196: SWAP1
00001197: SLOAD
00001198: SWAP1
00001199: PUSH2 0x0100
0000119c: EXP
0000119d: SWAP1
0000119e: DIV
0000119f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b4: AND
000011b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ca: AND
000011cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e0: AND
000011e1: DUP2
000011e2: MSTORE
000011e3: PUSH1 0x20
000011e5: ADD
000011e6: SWAP1
000011e7: DUP2
000011e8: MSTORE
000011e9: PUSH1 0x20
000011eb: ADD
000011ec: PUSH1 0x00
000011ee: KECCAK256
000011ef: PUSH1 0x00
000011f1: SWAP1
000011f2: SLOAD
000011f3: SWAP1
000011f4: PUSH2 0x0100
000011f7: EXP
000011f8: SWAP1
000011f9: DIV
000011fa: PUSH1 0xff
000011fc: AND
000011fd: ISZERO
000011fe: PUSH2 0x1208
00001201: JUMPI
00001202: PUSH1 0x01
00001204: DUP3
00001205: ADD
00001206: SWAP2
00001207: POP
00001208: JUMPDEST
00001209: DUP1
0000120a: DUP1
0000120b: PUSH1 0x01
0000120d: ADD
0000120e: SWAP2
0000120f: POP
00001210: POP
00001211: PUSH2 0x1158
00001214: JUMP
00001215: JUMPDEST
00001216: POP
00001217: SWAP2
00001218: SWAP1
00001219: POP
0000121a: JUMP
0000121b: JUMPDEST
0000121c: PUSH1 0x00
0000121e: PUSH1 0x20
00001220: MSTORE
00001221: DUP1
00001222: PUSH1 0x00
00001224: MSTORE
00001225: PUSH1 0x40
00001227: PUSH1 0x00
00001229: KECCAK256
0000122a: PUSH1 0x00
0000122c: SWAP2
0000122d: POP
0000122e: SWAP1
0000122f: POP
00001230: DUP1
00001231: PUSH1 0x00
00001233: ADD
00001234: PUSH1 0x00
00001236: SWAP1
00001237: SLOAD
00001238: SWAP1
00001239: PUSH2 0x0100
0000123c: EXP
0000123d: SWAP1
0000123e: DIV
0000123f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001254: AND
00001255: SWAP1
00001256: DUP1
00001257: PUSH1 0x01
00001259: ADD
0000125a: SLOAD
0000125b: SWAP1
0000125c: DUP1
0000125d: PUSH1 0x02
0000125f: ADD
00001260: DUP1
00001261: SLOAD
00001262: PUSH1 0x01
00001264: DUP2
00001265: PUSH1 0x01
00001267: AND
00001268: ISZERO
00001269: PUSH2 0x0100
0000126c: MUL
0000126d: SUB
0000126e: AND
0000126f: PUSH1 0x02
00001271: SWAP1
00001272: DIV
00001273: DUP1
00001274: PUSH1 0x1f
00001276: ADD
00001277: PUSH1 0x20
00001279: DUP1
0000127a: SWAP2
0000127b: DIV
0000127c: MUL
0000127d: PUSH1 0x20
0000127f: ADD
00001280: PUSH1 0x40
00001282: MLOAD
00001283: SWAP1
00001284: DUP2
00001285: ADD
00001286: PUSH1 0x40
00001288: MSTORE
00001289: DUP1
0000128a: SWAP3
0000128b: SWAP2
0000128c: SWAP1
0000128d: DUP2
0000128e: DUP2
0000128f: MSTORE
00001290: PUSH1 0x20
00001292: ADD
00001293: DUP3
00001294: DUP1
00001295: SLOAD
00001296: PUSH1 0x01
00001298: DUP2
00001299: PUSH1 0x01
0000129b: AND
0000129c: ISZERO
0000129d: PUSH2 0x0100
000012a0: MUL
000012a1: SUB
000012a2: AND
000012a3: PUSH1 0x02
000012a5: SWAP1
000012a6: DIV
000012a7: DUP1
000012a8: ISZERO
000012a9: PUSH2 0x12f3
000012ac: JUMPI
000012ad: DUP1
000012ae: PUSH1 0x1f
000012b0: LT
000012b1: PUSH2 0x12c8
000012b4: JUMPI
000012b5: PUSH2 0x0100
000012b8: DUP1
000012b9: DUP4
000012ba: SLOAD
000012bb: DIV
000012bc: MUL
000012bd: DUP4
000012be: MSTORE
000012bf: SWAP2
000012c0: PUSH1 0x20
000012c2: ADD
000012c3: SWAP2
000012c4: PUSH2 0x12f3
000012c7: JUMP
000012c8: JUMPDEST
000012c9: DUP3
000012ca: ADD
000012cb: SWAP2
000012cc: SWAP1
000012cd: PUSH1 0x00
000012cf: MSTORE
000012d0: PUSH1 0x20
000012d2: PUSH1 0x00
000012d4: KECCAK256
000012d5: SWAP1
000012d6: JUMPDEST
000012d7: DUP2
000012d8: SLOAD
000012d9: DUP2
000012da: MSTORE
000012db: SWAP1
000012dc: PUSH1 0x01
000012de: ADD
000012df: SWAP1
000012e0: PUSH1 0x20
000012e2: ADD
000012e3: DUP1
000012e4: DUP4
000012e5: GT
000012e6: PUSH2 0x12d6
000012e9: JUMPI
000012ea: DUP3
000012eb: SWAP1
000012ec: SUB
000012ed: PUSH1 0x1f
000012ef: AND
000012f0: DUP3
000012f1: ADD
000012f2: SWAP2
000012f3: JUMPDEST
000012f4: POP
000012f5: POP
000012f6: POP
000012f7: POP
000012f8: POP
000012f9: SWAP1
000012fa: DUP1
000012fb: PUSH1 0x03
000012fd: ADD
000012fe: PUSH1 0x00
00001300: SWAP1
00001301: SLOAD
00001302: SWAP1
00001303: PUSH2 0x0100
00001306: EXP
00001307: SWAP1
00001308: DIV
00001309: PUSH1 0xff
0000130b: AND
0000130c: SWAP1
0000130d: POP
0000130e: DUP5
0000130f: JUMP
00001310: JUMPDEST
00001311: PUSH1 0x60
00001313: PUSH1 0x03
00001315: DUP1
00001316: SLOAD
00001317: DUP1
00001318: PUSH1 0x20
0000131a: MUL
0000131b: PUSH1 0x20
0000131d: ADD
0000131e: PUSH1 0x40
00001320: MLOAD
00001321: SWAP1
00001322: DUP2
00001323: ADD
00001324: PUSH1 0x40
00001326: MSTORE
00001327: DUP1
00001328: SWAP3
00001329: SWAP2
0000132a: SWAP1
0000132b: DUP2
0000132c: DUP2
0000132d: MSTORE
0000132e: PUSH1 0x20
00001330: ADD
00001331: DUP3
00001332: DUP1
00001333: SLOAD
00001334: DUP1
00001335: ISZERO
00001336: PUSH2 0x1394
00001339: JUMPI
0000133a: PUSH1 0x20
0000133c: MUL
0000133d: DUP3
0000133e: ADD
0000133f: SWAP2
00001340: SWAP1
00001341: PUSH1 0x00
00001343: MSTORE
00001344: PUSH1 0x20
00001346: PUSH1 0x00
00001348: KECCAK256
00001349: SWAP1
0000134a: JUMPDEST
0000134b: DUP2
0000134c: PUSH1 0x00
0000134e: SWAP1
0000134f: SLOAD
00001350: SWAP1
00001351: PUSH2 0x0100
00001354: EXP
00001355: SWAP1
00001356: DIV
00001357: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000136c: AND
0000136d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001382: AND
00001383: DUP2
00001384: MSTORE
00001385: PUSH1 0x20
00001387: ADD
00001388: SWAP1
00001389: PUSH1 0x01
0000138b: ADD
0000138c: SWAP1
0000138d: DUP1
0000138e: DUP4
0000138f: GT
00001390: PUSH2 0x134a
00001393: JUMPI
00001394: JUMPDEST
00001395: POP
00001396: POP
00001397: POP
00001398: POP
00001399: POP
0000139a: SWAP1
0000139b: POP
0000139c: SWAP1
0000139d: JUMP
0000139e: JUMPDEST
0000139f: PUSH1 0x60
000013a1: DUP1
000013a2: PUSH1 0x00
000013a4: DUP1
000013a5: PUSH1 0x05
000013a7: SLOAD
000013a8: PUSH1 0x40
000013aa: MLOAD
000013ab: SWAP1
000013ac: DUP1
000013ad: DUP3
000013ae: MSTORE
000013af: DUP1
000013b0: PUSH1 0x20
000013b2: MUL
000013b3: PUSH1 0x20
000013b5: ADD
000013b6: DUP3
000013b7: ADD
000013b8: PUSH1 0x40
000013ba: MSTORE
000013bb: DUP1
000013bc: ISZERO
000013bd: PUSH2 0x13d5
000013c0: JUMPI
000013c1: DUP2
000013c2: PUSH1 0x20
000013c4: ADD
000013c5: PUSH1 0x20
000013c7: DUP3
000013c8: MUL
000013c9: DUP1
000013ca: CODESIZE
000013cb: DUP4
000013cc: CODECOPY
000013cd: DUP1
000013ce: DUP3
000013cf: ADD
000013d0: SWAP2
000013d1: POP
000013d2: POP
000013d3: SWAP1
000013d4: POP
000013d5: JUMPDEST
000013d6: POP
000013d7: SWAP3
000013d8: POP
000013d9: PUSH1 0x00
000013db: SWAP2
000013dc: POP
000013dd: PUSH1 0x00
000013df: SWAP1
000013e0: POP
000013e1: JUMPDEST
000013e2: PUSH1 0x05
000013e4: SLOAD
000013e5: DUP2
000013e6: LT
000013e7: ISZERO
000013e8: PUSH2 0x1481
000013eb: JUMPI
000013ec: DUP6
000013ed: DUP1
000013ee: ISZERO
000013ef: PUSH2 0x1418
000013f2: JUMPI
000013f3: POP
000013f4: PUSH1 0x00
000013f6: DUP1
000013f7: DUP3
000013f8: DUP2
000013f9: MSTORE
000013fa: PUSH1 0x20
000013fc: ADD
000013fd: SWAP1
000013fe: DUP2
000013ff: MSTORE
00001400: PUSH1 0x20
00001402: ADD
00001403: PUSH1 0x00
00001405: KECCAK256
00001406: PUSH1 0x03
00001408: ADD
00001409: PUSH1 0x00
0000140b: SWAP1
0000140c: SLOAD
0000140d: SWAP1
0000140e: PUSH2 0x0100
00001411: EXP
00001412: SWAP1
00001413: DIV
00001414: PUSH1 0xff
00001416: AND
00001417: ISZERO
00001418: JUMPDEST
00001419: DUP1
0000141a: PUSH2 0x144b
0000141d: JUMPI
0000141e: POP
0000141f: DUP5
00001420: DUP1
00001421: ISZERO
00001422: PUSH2 0x144a
00001425: JUMPI
00001426: POP
00001427: PUSH1 0x00
00001429: DUP1
0000142a: DUP3
0000142b: DUP2
0000142c: MSTORE
0000142d: PUSH1 0x20
0000142f: ADD
00001430: SWAP1
00001431: DUP2
00001432: MSTORE
00001433: PUSH1 0x20
00001435: ADD
00001436: PUSH1 0x00
00001438: KECCAK256
00001439: PUSH1 0x03
0000143b: ADD
0000143c: PUSH1 0x00
0000143e: SWAP1
0000143f: SLOAD
00001440: SWAP1
00001441: PUSH2 0x0100
00001444: EXP
00001445: SWAP1
00001446: DIV
00001447: PUSH1 0xff
00001449: AND
0000144a: JUMPDEST
0000144b: JUMPDEST
0000144c: ISZERO
0000144d: PUSH2 0x1474
00001450: JUMPI
00001451: DUP1
00001452: DUP4
00001453: DUP4
00001454: DUP2
00001455: MLOAD
00001456: DUP2
00001457: LT
00001458: ISZERO
00001459: ISZERO
0000145a: PUSH2 0x145f
0000145d: JUMPI
0000145e: INVALID
0000145f: JUMPDEST
00001460: SWAP1
00001461: PUSH1 0x20
00001463: ADD
00001464: SWAP1
00001465: PUSH1 0x20
00001467: MUL
00001468: ADD
00001469: DUP2
0000146a: DUP2
0000146b: MSTORE
0000146c: POP
0000146d: POP
0000146e: PUSH1 0x01
00001470: DUP3
00001471: ADD
00001472: SWAP2
00001473: POP
00001474: JUMPDEST
00001475: DUP1
00001476: DUP1
00001477: PUSH1 0x01
00001479: ADD
0000147a: SWAP2
0000147b: POP
0000147c: POP
0000147d: PUSH2 0x13e1
00001480: JUMP
00001481: JUMPDEST
00001482: DUP8
00001483: DUP8
00001484: SUB
00001485: PUSH1 0x40
00001487: MLOAD
00001488: SWAP1
00001489: DUP1
0000148a: DUP3
0000148b: MSTORE
0000148c: DUP1
0000148d: PUSH1 0x20
0000148f: MUL
00001490: PUSH1 0x20
00001492: ADD
00001493: DUP3
00001494: ADD
00001495: PUSH1 0x40
00001497: MSTORE
00001498: DUP1
00001499: ISZERO
0000149a: PUSH2 0x14b2
0000149d: JUMPI
0000149e: DUP2
0000149f: PUSH1 0x20
000014a1: ADD
000014a2: PUSH1 0x20
000014a4: DUP3
000014a5: MUL
000014a6: DUP1
000014a7: CODESIZE
000014a8: DUP4
000014a9: CODECOPY
000014aa: DUP1
000014ab: DUP3
000014ac: ADD
000014ad: SWAP2
000014ae: POP
000014af: POP
000014b0: SWAP1
000014b1: POP
000014b2: JUMPDEST
000014b3: POP
000014b4: SWAP4
000014b5: POP
000014b6: DUP8
000014b7: SWAP1
000014b8: POP
000014b9: JUMPDEST
000014ba: DUP7
000014bb: DUP2
000014bc: LT
000014bd: ISZERO
000014be: PUSH2 0x1504
000014c1: JUMPI
000014c2: DUP3
000014c3: DUP2
000014c4: DUP2
000014c5: MLOAD
000014c6: DUP2
000014c7: LT
000014c8: ISZERO
000014c9: ISZERO
000014ca: PUSH2 0x14cf
000014cd: JUMPI
000014ce: INVALID
000014cf: JUMPDEST
000014d0: SWAP1
000014d1: PUSH1 0x20
000014d3: ADD
000014d4: SWAP1
000014d5: PUSH1 0x20
000014d7: MUL
000014d8: ADD
000014d9: MLOAD
000014da: DUP5
000014db: DUP10
000014dc: DUP4
000014dd: SUB
000014de: DUP2
000014df: MLOAD
000014e0: DUP2
000014e1: LT
000014e2: ISZERO
000014e3: ISZERO
000014e4: PUSH2 0x14e9
000014e7: JUMPI
000014e8: INVALID
000014e9: JUMPDEST
000014ea: SWAP1
000014eb: PUSH1 0x20
000014ed: ADD
000014ee: SWAP1
000014ef: PUSH1 0x20
000014f1: MUL
000014f2: ADD
000014f3: DUP2
000014f4: DUP2
000014f5: MSTORE
000014f6: POP
000014f7: POP
000014f8: DUP1
000014f9: DUP1
000014fa: PUSH1 0x01
000014fc: ADD
000014fd: SWAP2
000014fe: POP
000014ff: POP
00001500: PUSH2 0x14b9
00001503: JUMP
00001504: JUMPDEST
00001505: POP
00001506: POP
00001507: POP
00001508: SWAP5
00001509: SWAP4
0000150a: POP
0000150b: POP
0000150c: POP
0000150d: POP
0000150e: JUMP
0000150f: JUMPDEST
00001510: PUSH1 0x60
00001512: DUP1
00001513: PUSH1 0x00
00001515: DUP1
00001516: PUSH1 0x03
00001518: DUP1
00001519: SLOAD
0000151a: SWAP1
0000151b: POP
0000151c: PUSH1 0x40
0000151e: MLOAD
0000151f: SWAP1
00001520: DUP1
00001521: DUP3
00001522: MSTORE
00001523: DUP1
00001524: PUSH1 0x20
00001526: MUL
00001527: PUSH1 0x20
00001529: ADD
0000152a: DUP3
0000152b: ADD
0000152c: PUSH1 0x40
0000152e: MSTORE
0000152f: DUP1
00001530: ISZERO
00001531: PUSH2 0x1549
00001534: JUMPI
00001535: DUP2
00001536: PUSH1 0x20
00001538: ADD
00001539: PUSH1 0x20
0000153b: DUP3
0000153c: MUL
0000153d: DUP1
0000153e: CODESIZE
0000153f: DUP4
00001540: CODECOPY
00001541: DUP1
00001542: DUP3
00001543: ADD
00001544: SWAP2
00001545: POP
00001546: POP
00001547: SWAP1
00001548: POP
00001549: JUMPDEST
0000154a: POP
0000154b: SWAP3
0000154c: POP
0000154d: PUSH1 0x00
0000154f: SWAP2
00001550: POP
00001551: PUSH1 0x00
00001553: SWAP1
00001554: POP
00001555: JUMPDEST
00001556: PUSH1 0x03
00001558: DUP1
00001559: SLOAD
0000155a: SWAP1
0000155b: POP
0000155c: DUP2
0000155d: LT
0000155e: ISZERO
0000155f: PUSH2 0x1696
00001562: JUMPI
00001563: PUSH1 0x01
00001565: PUSH1 0x00
00001567: DUP7
00001568: DUP2
00001569: MSTORE
0000156a: PUSH1 0x20
0000156c: ADD
0000156d: SWAP1
0000156e: DUP2
0000156f: MSTORE
00001570: PUSH1 0x20
00001572: ADD
00001573: PUSH1 0x00
00001575: KECCAK256
00001576: PUSH1 0x00
00001578: PUSH1 0x03
0000157a: DUP4
0000157b: DUP2
0000157c: SLOAD
0000157d: DUP2
0000157e: LT
0000157f: ISZERO
00001580: ISZERO
00001581: PUSH2 0x1586
00001584: JUMPI
00001585: INVALID
00001586: JUMPDEST
00001587: SWAP1
00001588: PUSH1 0x00
0000158a: MSTORE
0000158b: PUSH1 0x20
0000158d: PUSH1 0x00
0000158f: KECCAK256
00001590: ADD
00001591: PUSH1 0x00
00001593: SWAP1
00001594: SLOAD
00001595: SWAP1
00001596: PUSH2 0x0100
00001599: EXP
0000159a: SWAP1
0000159b: DIV
0000159c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b1: AND
000015b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c7: AND
000015c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015dd: AND
000015de: DUP2
000015df: MSTORE
000015e0: PUSH1 0x20
000015e2: ADD
000015e3: SWAP1
000015e4: DUP2
000015e5: MSTORE
000015e6: PUSH1 0x20
000015e8: ADD
000015e9: PUSH1 0x00
000015eb: KECCAK256
000015ec: PUSH1 0x00
000015ee: SWAP1
000015ef: SLOAD
000015f0: SWAP1
000015f1: PUSH2 0x0100
000015f4: EXP
000015f5: SWAP1
000015f6: DIV
000015f7: PUSH1 0xff
000015f9: AND
000015fa: ISZERO
000015fb: PUSH2 0x1689
000015fe: JUMPI
000015ff: PUSH1 0x03
00001601: DUP2
00001602: DUP2
00001603: SLOAD
00001604: DUP2
00001605: LT
00001606: ISZERO
00001607: ISZERO
00001608: PUSH2 0x160d
0000160b: JUMPI
0000160c: INVALID
0000160d: JUMPDEST
0000160e: SWAP1
0000160f: PUSH1 0x00
00001611: MSTORE
00001612: PUSH1 0x20
00001614: PUSH1 0x00
00001616: KECCAK256
00001617: ADD
00001618: PUSH1 0x00
0000161a: SWAP1
0000161b: SLOAD
0000161c: SWAP1
0000161d: PUSH2 0x0100
00001620: EXP
00001621: SWAP1
00001622: DIV
00001623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001638: AND
00001639: DUP4
0000163a: DUP4
0000163b: DUP2
0000163c: MLOAD
0000163d: DUP2
0000163e: LT
0000163f: ISZERO
00001640: ISZERO
00001641: PUSH2 0x1646
00001644: JUMPI
00001645: INVALID
00001646: JUMPDEST
00001647: SWAP1
00001648: PUSH1 0x20
0000164a: ADD
0000164b: SWAP1
0000164c: PUSH1 0x20
0000164e: MUL
0000164f: ADD
00001650: SWAP1
00001651: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001666: AND
00001667: SWAP1
00001668: DUP2
00001669: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000167e: AND
0000167f: DUP2
00001680: MSTORE
00001681: POP
00001682: POP
00001683: PUSH1 0x01
00001685: DUP3
00001686: ADD
00001687: SWAP2
00001688: POP
00001689: JUMPDEST
0000168a: DUP1
0000168b: DUP1
0000168c: PUSH1 0x01
0000168e: ADD
0000168f: SWAP2
00001690: POP
00001691: POP
00001692: PUSH2 0x1555
00001695: JUMP
00001696: JUMPDEST
00001697: DUP2
00001698: PUSH1 0x40
0000169a: MLOAD
0000169b: SWAP1
0000169c: DUP1
0000169d: DUP3
0000169e: MSTORE
0000169f: DUP1
000016a0: PUSH1 0x20
000016a2: MUL
000016a3: PUSH1 0x20
000016a5: ADD
000016a6: DUP3
000016a7: ADD
000016a8: PUSH1 0x40
000016aa: MSTORE
000016ab: DUP1
000016ac: ISZERO
000016ad: PUSH2 0x16c5
000016b0: JUMPI
000016b1: DUP2
000016b2: PUSH1 0x20
000016b4: ADD
000016b5: PUSH1 0x20
000016b7: DUP3
000016b8: MUL
000016b9: DUP1
000016ba: CODESIZE
000016bb: DUP4
000016bc: CODECOPY
000016bd: DUP1
000016be: DUP3
000016bf: ADD
000016c0: SWAP2
000016c1: POP
000016c2: POP
000016c3: SWAP1
000016c4: POP
000016c5: JUMPDEST
000016c6: POP
000016c7: SWAP4
000016c8: POP
000016c9: PUSH1 0x00
000016cb: SWAP1
000016cc: POP
000016cd: JUMPDEST
000016ce: DUP2
000016cf: DUP2
000016d0: LT
000016d1: ISZERO
000016d2: PUSH2 0x1744
000016d5: JUMPI
000016d6: DUP3
000016d7: DUP2
000016d8: DUP2
000016d9: MLOAD
000016da: DUP2
000016db: LT
000016dc: ISZERO
000016dd: ISZERO
000016de: PUSH2 0x16e3
000016e1: JUMPI
000016e2: INVALID
000016e3: JUMPDEST
000016e4: SWAP1
000016e5: PUSH1 0x20
000016e7: ADD
000016e8: SWAP1
000016e9: PUSH1 0x20
000016eb: MUL
000016ec: ADD
000016ed: MLOAD
000016ee: DUP5
000016ef: DUP3
000016f0: DUP2
000016f1: MLOAD
000016f2: DUP2
000016f3: LT
000016f4: ISZERO
000016f5: ISZERO
000016f6: PUSH2 0x16fb
000016f9: JUMPI
000016fa: INVALID
000016fb: JUMPDEST
000016fc: SWAP1
000016fd: PUSH1 0x20
000016ff: ADD
00001700: SWAP1
00001701: PUSH1 0x20
00001703: MUL
00001704: ADD
00001705: SWAP1
00001706: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171b: AND
0000171c: SWAP1
0000171d: DUP2
0000171e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001733: AND
00001734: DUP2
00001735: MSTORE
00001736: POP
00001737: POP
00001738: DUP1
00001739: DUP1
0000173a: PUSH1 0x01
0000173c: ADD
0000173d: SWAP2
0000173e: POP
0000173f: POP
00001740: PUSH2 0x16cd
00001743: JUMP
00001744: JUMPDEST
00001745: POP
00001746: POP
00001747: POP
00001748: SWAP2
00001749: SWAP1
0000174a: POP
0000174b: JUMP
0000174c: JUMPDEST
0000174d: PUSH1 0x05
0000174f: SLOAD
00001750: DUP2
00001751: JUMP
00001752: JUMPDEST
00001753: ADDRESS
00001754: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001769: AND
0000176a: CALLER
0000176b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001780: AND
00001781: EQ
00001782: ISZERO
00001783: ISZERO
00001784: PUSH2 0x178c
00001787: JUMPI
00001788: PUSH1 0x00
0000178a: DUP1
0000178b: REVERT
0000178c: JUMPDEST
0000178d: PUSH1 0x03
0000178f: DUP1
00001790: SLOAD
00001791: SWAP1
00001792: POP
00001793: DUP2
00001794: PUSH1 0x00
00001796: DUP1
00001797: PUSH1 0x00
00001799: DUP1
0000179a: PUSH1 0x32
0000179c: DUP7
0000179d: GT
0000179e: ISZERO
0000179f: SWAP4
000017a0: POP
000017a1: PUSH1 0x00
000017a3: DUP7
000017a4: EQ
000017a5: ISZERO
000017a6: SWAP3
000017a7: POP
000017a8: DUP6
000017a9: DUP6
000017aa: GT
000017ab: ISZERO
000017ac: SWAP2
000017ad: POP
000017ae: PUSH1 0x00
000017b0: DUP6
000017b1: EQ
000017b2: ISZERO
000017b3: SWAP1
000017b4: POP
000017b5: DUP4
000017b6: DUP1
000017b7: ISZERO
000017b8: PUSH2 0x17be
000017bb: JUMPI
000017bc: POP
000017bd: DUP3
000017be: JUMPDEST
000017bf: DUP1
000017c0: ISZERO
000017c1: PUSH2 0x17c7
000017c4: JUMPI
000017c5: POP
000017c6: DUP2
000017c7: JUMPDEST
000017c8: DUP1
000017c9: ISZERO
000017ca: PUSH2 0x17d0
000017cd: JUMPI
000017ce: POP
000017cf: DUP1
000017d0: JUMPDEST
000017d1: ISZERO
000017d2: ISZERO
000017d3: PUSH2 0x17db
000017d6: JUMPI
000017d7: PUSH1 0x00
000017d9: DUP1
000017da: REVERT
000017db: JUMPDEST
000017dc: DUP7
000017dd: PUSH1 0x04
000017df: DUP2
000017e0: SWAP1
000017e1: SSTORE
000017e2: POP
000017e3: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
00001804: DUP8
00001805: PUSH1 0x40
00001807: MLOAD
00001808: DUP1
00001809: DUP3
0000180a: DUP2
0000180b: MSTORE
0000180c: PUSH1 0x20
0000180e: ADD
0000180f: SWAP2
00001810: POP
00001811: POP
00001812: PUSH1 0x40
00001814: MLOAD
00001815: DUP1
00001816: SWAP2
00001817: SUB
00001818: SWAP1
00001819: LOG1
0000181a: POP
0000181b: POP
0000181c: POP
0000181d: POP
0000181e: POP
0000181f: POP
00001820: POP
00001821: JUMP
00001822: JUMPDEST
00001823: CALLER
00001824: PUSH1 0x02
00001826: PUSH1 0x00
00001828: DUP3
00001829: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000183e: AND
0000183f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001854: AND
00001855: DUP2
00001856: MSTORE
00001857: PUSH1 0x20
00001859: ADD
0000185a: SWAP1
0000185b: DUP2
0000185c: MSTORE
0000185d: PUSH1 0x20
0000185f: ADD
00001860: PUSH1 0x00
00001862: KECCAK256
00001863: PUSH1 0x00
00001865: SWAP1
00001866: SLOAD
00001867: SWAP1
00001868: PUSH2 0x0100
0000186b: EXP
0000186c: SWAP1
0000186d: DIV
0000186e: PUSH1 0xff
00001870: AND
00001871: ISZERO
00001872: ISZERO
00001873: PUSH2 0x187b
00001876: JUMPI
00001877: PUSH1 0x00
00001879: DUP1
0000187a: REVERT
0000187b: JUMPDEST
0000187c: DUP2
0000187d: PUSH1 0x00
0000187f: DUP1
00001880: PUSH1 0x00
00001882: DUP4
00001883: DUP2
00001884: MSTORE
00001885: PUSH1 0x20
00001887: ADD
00001888: SWAP1
00001889: DUP2
0000188a: MSTORE
0000188b: PUSH1 0x20
0000188d: ADD
0000188e: PUSH1 0x00
00001890: KECCAK256
00001891: PUSH1 0x00
00001893: ADD
00001894: PUSH1 0x00
00001896: SWAP1
00001897: SLOAD
00001898: SWAP1
00001899: PUSH2 0x0100
0000189c: EXP
0000189d: SWAP1
0000189e: DIV
0000189f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b4: AND
000018b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ca: AND
000018cb: EQ
000018cc: ISZERO
000018cd: ISZERO
000018ce: ISZERO
000018cf: PUSH2 0x18d7
000018d2: JUMPI
000018d3: PUSH1 0x00
000018d5: DUP1
000018d6: REVERT
000018d7: JUMPDEST
000018d8: DUP3
000018d9: CALLER
000018da: PUSH1 0x01
000018dc: PUSH1 0x00
000018de: DUP4
000018df: DUP2
000018e0: MSTORE
000018e1: PUSH1 0x20
000018e3: ADD
000018e4: SWAP1
000018e5: DUP2
000018e6: MSTORE
000018e7: PUSH1 0x20
000018e9: ADD
000018ea: PUSH1 0x00
000018ec: KECCAK256
000018ed: PUSH1 0x00
000018ef: DUP3
000018f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001905: AND
00001906: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000191b: AND
0000191c: DUP2
0000191d: MSTORE
0000191e: PUSH1 0x20
00001920: ADD
00001921: SWAP1
00001922: DUP2
00001923: MSTORE
00001924: PUSH1 0x20
00001926: ADD
00001927: PUSH1 0x00
00001929: KECCAK256
0000192a: PUSH1 0x00
0000192c: SWAP1
0000192d: SLOAD
0000192e: SWAP1
0000192f: PUSH2 0x0100
00001932: EXP
00001933: SWAP1
00001934: DIV
00001935: PUSH1 0xff
00001937: AND
00001938: ISZERO
00001939: ISZERO
0000193a: ISZERO
0000193b: PUSH2 0x1943
0000193e: JUMPI
0000193f: PUSH1 0x00
00001941: DUP1
00001942: REVERT
00001943: JUMPDEST
00001944: PUSH1 0x01
00001946: DUP1
00001947: PUSH1 0x00
00001949: DUP8
0000194a: DUP2
0000194b: MSTORE
0000194c: PUSH1 0x20
0000194e: ADD
0000194f: SWAP1
00001950: DUP2
00001951: MSTORE
00001952: PUSH1 0x20
00001954: ADD
00001955: PUSH1 0x00
00001957: KECCAK256
00001958: PUSH1 0x00
0000195a: CALLER
0000195b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001970: AND
00001971: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001986: AND
00001987: DUP2
00001988: MSTORE
00001989: PUSH1 0x20
0000198b: ADD
0000198c: SWAP1
0000198d: DUP2
0000198e: MSTORE
0000198f: PUSH1 0x20
00001991: ADD
00001992: PUSH1 0x00
00001994: KECCAK256
00001995: PUSH1 0x00
00001997: PUSH2 0x0100
0000199a: EXP
0000199b: DUP2
0000199c: SLOAD
0000199d: DUP2
0000199e: PUSH1 0xff
000019a0: MUL
000019a1: NOT
000019a2: AND
000019a3: SWAP1
000019a4: DUP4
000019a5: ISZERO
000019a6: ISZERO
000019a7: MUL
000019a8: OR
000019a9: SWAP1
000019aa: SSTORE
000019ab: POP
000019ac: DUP5
000019ad: CALLER
000019ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c3: AND
000019c4: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
000019e5: PUSH1 0x40
000019e7: MLOAD
000019e8: PUSH1 0x40
000019ea: MLOAD
000019eb: DUP1
000019ec: SWAP2
000019ed: SUB
000019ee: SWAP1
000019ef: LOG3
000019f0: PUSH2 0x19f8
000019f3: DUP6
000019f4: PUSH2 0x1d3e
000019f7: JUMP
000019f8: JUMPDEST
000019f9: POP
000019fa: POP
000019fb: POP
000019fc: POP
000019fd: POP
000019fe: JUMP
000019ff: JUMPDEST
00001a00: PUSH1 0x00
00001a02: PUSH2 0x1a0c
00001a05: DUP5
00001a06: DUP5
00001a07: DUP5
00001a08: PUSH2 0x1fbd
00001a0b: JUMP
00001a0c: JUMPDEST
00001a0d: SWAP1
00001a0e: POP
00001a0f: PUSH2 0x1a17
00001a12: DUP2
00001a13: PUSH2 0x1822
00001a16: JUMP
00001a17: JUMPDEST
00001a18: SWAP4
00001a19: SWAP3
00001a1a: POP
00001a1b: POP
00001a1c: POP
00001a1d: JUMP
00001a1e: JUMPDEST
00001a1f: PUSH1 0x32
00001a21: DUP2
00001a22: JUMP
00001a23: JUMPDEST
00001a24: PUSH1 0x04
00001a26: SLOAD
00001a27: DUP2
00001a28: JUMP
00001a29: JUMPDEST
00001a2a: PUSH1 0x00
00001a2c: ADDRESS
00001a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a42: AND
00001a43: CALLER
00001a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a59: AND
00001a5a: EQ
00001a5b: ISZERO
00001a5c: ISZERO
00001a5d: PUSH2 0x1a65
00001a60: JUMPI
00001a61: PUSH1 0x00
00001a63: DUP1
00001a64: REVERT
00001a65: JUMPDEST
00001a66: DUP3
00001a67: PUSH1 0x02
00001a69: PUSH1 0x00
00001a6b: DUP3
00001a6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a81: AND
00001a82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a97: AND
00001a98: DUP2
00001a99: MSTORE
00001a9a: PUSH1 0x20
00001a9c: ADD
00001a9d: SWAP1
00001a9e: DUP2
00001a9f: MSTORE
00001aa0: PUSH1 0x20
00001aa2: ADD
00001aa3: PUSH1 0x00
00001aa5: KECCAK256
00001aa6: PUSH1 0x00
00001aa8: SWAP1
00001aa9: SLOAD
00001aaa: SWAP1
00001aab: PUSH2 0x0100
00001aae: EXP
00001aaf: SWAP1
00001ab0: DIV
00001ab1: PUSH1 0xff
00001ab3: AND
00001ab4: ISZERO
00001ab5: ISZERO
00001ab6: PUSH2 0x1abe
00001ab9: JUMPI
00001aba: PUSH1 0x00
00001abc: DUP1
00001abd: REVERT
00001abe: JUMPDEST
00001abf: DUP3
00001ac0: PUSH1 0x02
00001ac2: PUSH1 0x00
00001ac4: DUP3
00001ac5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ada: AND
00001adb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af0: AND
00001af1: DUP2
00001af2: MSTORE
00001af3: PUSH1 0x20
00001af5: ADD
00001af6: SWAP1
00001af7: DUP2
00001af8: MSTORE
00001af9: PUSH1 0x20
00001afb: ADD
00001afc: PUSH1 0x00
00001afe: KECCAK256
00001aff: PUSH1 0x00
00001b01: SWAP1
00001b02: SLOAD
00001b03: SWAP1
00001b04: PUSH2 0x0100
00001b07: EXP
00001b08: SWAP1
00001b09: DIV
00001b0a: PUSH1 0xff
00001b0c: AND
00001b0d: ISZERO
00001b0e: ISZERO
00001b0f: ISZERO
00001b10: PUSH2 0x1b18
00001b13: JUMPI
00001b14: PUSH1 0x00
00001b16: DUP1
00001b17: REVERT
00001b18: JUMPDEST
00001b19: PUSH1 0x00
00001b1b: SWAP3
00001b1c: POP
00001b1d: JUMPDEST
00001b1e: PUSH1 0x03
00001b20: DUP1
00001b21: SLOAD
00001b22: SWAP1
00001b23: POP
00001b24: DUP4
00001b25: LT
00001b26: ISZERO
00001b27: PUSH2 0x1c01
00001b2a: JUMPI
00001b2b: DUP5
00001b2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b41: AND
00001b42: PUSH1 0x03
00001b44: DUP5
00001b45: DUP2
00001b46: SLOAD
00001b47: DUP2
00001b48: LT
00001b49: ISZERO
00001b4a: ISZERO
00001b4b: PUSH2 0x1b50
00001b4e: JUMPI
00001b4f: INVALID
00001b50: JUMPDEST
00001b51: SWAP1
00001b52: PUSH1 0x00
00001b54: MSTORE
00001b55: PUSH1 0x20
00001b57: PUSH1 0x00
00001b59: KECCAK256
00001b5a: ADD
00001b5b: PUSH1 0x00
00001b5d: SWAP1
00001b5e: SLOAD
00001b5f: SWAP1
00001b60: PUSH2 0x0100
00001b63: EXP
00001b64: SWAP1
00001b65: DIV
00001b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b7b: AND
00001b7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b91: AND
00001b92: EQ
00001b93: ISZERO
00001b94: PUSH2 0x1bf4
00001b97: JUMPI
00001b98: DUP4
00001b99: PUSH1 0x03
00001b9b: DUP5
00001b9c: DUP2
00001b9d: SLOAD
00001b9e: DUP2
00001b9f: LT
00001ba0: ISZERO
00001ba1: ISZERO
00001ba2: PUSH2 0x1ba7
00001ba5: JUMPI
00001ba6: INVALID
00001ba7: JUMPDEST
00001ba8: SWAP1
00001ba9: PUSH1 0x00
00001bab: MSTORE
00001bac: PUSH1 0x20
00001bae: PUSH1 0x00
00001bb0: KECCAK256
00001bb1: ADD
00001bb2: PUSH1 0x00
00001bb4: PUSH2 0x0100
00001bb7: EXP
00001bb8: DUP2
00001bb9: SLOAD
00001bba: DUP2
00001bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd0: MUL
00001bd1: NOT
00001bd2: AND
00001bd3: SWAP1
00001bd4: DUP4
00001bd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bea: AND
00001beb: MUL
00001bec: OR
00001bed: SWAP1
00001bee: SSTORE
00001bef: POP
00001bf0: PUSH2 0x1c01
00001bf3: JUMP
00001bf4: JUMPDEST
00001bf5: DUP3
00001bf6: DUP1
00001bf7: PUSH1 0x01
00001bf9: ADD
00001bfa: SWAP4
00001bfb: POP
00001bfc: POP
00001bfd: PUSH2 0x1b1d
00001c00: JUMP
00001c01: JUMPDEST
00001c02: PUSH1 0x00
00001c04: PUSH1 0x02
00001c06: PUSH1 0x00
00001c08: DUP8
00001c09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c1e: AND
00001c1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c34: AND
00001c35: DUP2
00001c36: MSTORE
00001c37: PUSH1 0x20
00001c39: ADD
00001c3a: SWAP1
00001c3b: DUP2
00001c3c: MSTORE
00001c3d: PUSH1 0x20
00001c3f: ADD
00001c40: PUSH1 0x00
00001c42: KECCAK256
00001c43: PUSH1 0x00
00001c45: PUSH2 0x0100
00001c48: EXP
00001c49: DUP2
00001c4a: SLOAD
00001c4b: DUP2
00001c4c: PUSH1 0xff
00001c4e: MUL
00001c4f: NOT
00001c50: AND
00001c51: SWAP1
00001c52: DUP4
00001c53: ISZERO
00001c54: ISZERO
00001c55: MUL
00001c56: OR
00001c57: SWAP1
00001c58: SSTORE
00001c59: POP
00001c5a: PUSH1 0x01
00001c5c: PUSH1 0x02
00001c5e: PUSH1 0x00
00001c60: DUP7
00001c61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c76: AND
00001c77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c8c: AND
00001c8d: DUP2
00001c8e: MSTORE
00001c8f: PUSH1 0x20
00001c91: ADD
00001c92: SWAP1
00001c93: DUP2
00001c94: MSTORE
00001c95: PUSH1 0x20
00001c97: ADD
00001c98: PUSH1 0x00
00001c9a: KECCAK256
00001c9b: PUSH1 0x00
00001c9d: PUSH2 0x0100
00001ca0: EXP
00001ca1: DUP2
00001ca2: SLOAD
00001ca3: DUP2
00001ca4: PUSH1 0xff
00001ca6: MUL
00001ca7: NOT
00001ca8: AND
00001ca9: SWAP1
00001caa: DUP4
00001cab: ISZERO
00001cac: ISZERO
00001cad: MUL
00001cae: OR
00001caf: SWAP1
00001cb0: SSTORE
00001cb1: POP
00001cb2: DUP5
00001cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc8: AND
00001cc9: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00001cea: PUSH1 0x40
00001cec: MLOAD
00001ced: PUSH1 0x40
00001cef: MLOAD
00001cf0: DUP1
00001cf1: SWAP2
00001cf2: SUB
00001cf3: SWAP1
00001cf4: LOG2
00001cf5: DUP4
00001cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0b: AND
00001d0c: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00001d2d: PUSH1 0x40
00001d2f: MLOAD
00001d30: PUSH1 0x40
00001d32: MLOAD
00001d33: DUP1
00001d34: SWAP2
00001d35: SUB
00001d36: SWAP1
00001d37: LOG2
00001d38: POP
00001d39: POP
00001d3a: POP
00001d3b: POP
00001d3c: POP
00001d3d: JUMP
00001d3e: JUMPDEST
00001d3f: PUSH1 0x00
00001d41: CALLER
00001d42: PUSH1 0x02
00001d44: PUSH1 0x00
00001d46: DUP3
00001d47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d5c: AND
00001d5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d72: AND
00001d73: DUP2
00001d74: MSTORE
00001d75: PUSH1 0x20
00001d77: ADD
00001d78: SWAP1
00001d79: DUP2
00001d7a: MSTORE
00001d7b: PUSH1 0x20
00001d7d: ADD
00001d7e: PUSH1 0x00
00001d80: KECCAK256
00001d81: PUSH1 0x00
00001d83: SWAP1
00001d84: SLOAD
00001d85: SWAP1
00001d86: PUSH2 0x0100
00001d89: EXP
00001d8a: SWAP1
00001d8b: DIV
00001d8c: PUSH1 0xff
00001d8e: AND
00001d8f: ISZERO
00001d90: ISZERO
00001d91: PUSH2 0x1d99
00001d94: JUMPI
00001d95: PUSH1 0x00
00001d97: DUP1
00001d98: REVERT
00001d99: JUMPDEST
00001d9a: DUP3
00001d9b: CALLER
00001d9c: PUSH1 0x01
00001d9e: PUSH1 0x00
00001da0: DUP4
00001da1: DUP2
00001da2: MSTORE
00001da3: PUSH1 0x20
00001da5: ADD
00001da6: SWAP1
00001da7: DUP2
00001da8: MSTORE
00001da9: PUSH1 0x20
00001dab: ADD
00001dac: PUSH1 0x00
00001dae: KECCAK256
00001daf: PUSH1 0x00
00001db1: DUP3
00001db2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc7: AND
00001dc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ddd: AND
00001dde: DUP2
00001ddf: MSTORE
00001de0: PUSH1 0x20
00001de2: ADD
00001de3: SWAP1
00001de4: DUP2
00001de5: MSTORE
00001de6: PUSH1 0x20
00001de8: ADD
00001de9: PUSH1 0x00
00001deb: KECCAK256
00001dec: PUSH1 0x00
00001dee: SWAP1
00001def: SLOAD
00001df0: SWAP1
00001df1: PUSH2 0x0100
00001df4: EXP
00001df5: SWAP1
00001df6: DIV
00001df7: PUSH1 0xff
00001df9: AND
00001dfa: ISZERO
00001dfb: ISZERO
00001dfc: PUSH2 0x1e04
00001dff: JUMPI
00001e00: PUSH1 0x00
00001e02: DUP1
00001e03: REVERT
00001e04: JUMPDEST
00001e05: DUP5
00001e06: PUSH1 0x00
00001e08: DUP1
00001e09: DUP3
00001e0a: DUP2
00001e0b: MSTORE
00001e0c: PUSH1 0x20
00001e0e: ADD
00001e0f: SWAP1
00001e10: DUP2
00001e11: MSTORE
00001e12: PUSH1 0x20
00001e14: ADD
00001e15: PUSH1 0x00
00001e17: KECCAK256
00001e18: PUSH1 0x03
00001e1a: ADD
00001e1b: PUSH1 0x00
00001e1d: SWAP1
00001e1e: SLOAD
00001e1f: SWAP1
00001e20: PUSH2 0x0100
00001e23: EXP
00001e24: SWAP1
00001e25: DIV
00001e26: PUSH1 0xff
00001e28: AND
00001e29: ISZERO
00001e2a: ISZERO
00001e2b: ISZERO
00001e2c: PUSH2 0x1e34
00001e2f: JUMPI
00001e30: PUSH1 0x00
00001e32: DUP1
00001e33: REVERT
00001e34: JUMPDEST
00001e35: PUSH2 0x1e3d
00001e38: DUP7
00001e39: PUSH2 0x106b
00001e3c: JUMP
00001e3d: JUMPDEST
00001e3e: ISZERO
00001e3f: PUSH2 0x1fb5
00001e42: JUMPI
00001e43: PUSH1 0x00
00001e45: DUP1
00001e46: DUP8
00001e47: DUP2
00001e48: MSTORE
00001e49: PUSH1 0x20
00001e4b: ADD
00001e4c: SWAP1
00001e4d: DUP2
00001e4e: MSTORE
00001e4f: PUSH1 0x20
00001e51: ADD
00001e52: PUSH1 0x00
00001e54: KECCAK256
00001e55: SWAP5
00001e56: POP
00001e57: PUSH1 0x01
00001e59: DUP6
00001e5a: PUSH1 0x03
00001e5c: ADD
00001e5d: PUSH1 0x00
00001e5f: PUSH2 0x0100
00001e62: EXP
00001e63: DUP2
00001e64: SLOAD
00001e65: DUP2
00001e66: PUSH1 0xff
00001e68: MUL
00001e69: NOT
00001e6a: AND
00001e6b: SWAP1
00001e6c: DUP4
00001e6d: ISZERO
00001e6e: ISZERO
00001e6f: MUL
00001e70: OR
00001e71: SWAP1
00001e72: SSTORE
00001e73: POP
00001e74: DUP5
00001e75: PUSH1 0x00
00001e77: ADD
00001e78: PUSH1 0x00
00001e7a: SWAP1
00001e7b: SLOAD
00001e7c: SWAP1
00001e7d: PUSH2 0x0100
00001e80: EXP
00001e81: SWAP1
00001e82: DIV
00001e83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e98: AND
00001e99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eae: AND
00001eaf: DUP6
00001eb0: PUSH1 0x01
00001eb2: ADD
00001eb3: SLOAD
00001eb4: DUP7
00001eb5: PUSH1 0x02
00001eb7: ADD
00001eb8: PUSH1 0x40
00001eba: MLOAD
00001ebb: DUP1
00001ebc: DUP3
00001ebd: DUP1
00001ebe: SLOAD
00001ebf: PUSH1 0x01
00001ec1: DUP2
00001ec2: PUSH1 0x01
00001ec4: AND
00001ec5: ISZERO
00001ec6: PUSH2 0x0100
00001ec9: MUL
00001eca: SUB
00001ecb: AND
00001ecc: PUSH1 0x02
00001ece: SWAP1
00001ecf: DIV
00001ed0: DUP1
00001ed1: ISZERO
00001ed2: PUSH2 0x1f1c
00001ed5: JUMPI
00001ed6: DUP1
00001ed7: PUSH1 0x1f
00001ed9: LT
00001eda: PUSH2 0x1ef1
00001edd: JUMPI
00001ede: PUSH2 0x0100
00001ee1: DUP1
00001ee2: DUP4
00001ee3: SLOAD
00001ee4: DIV
00001ee5: MUL
00001ee6: DUP4
00001ee7: MSTORE
00001ee8: SWAP2
00001ee9: PUSH1 0x20
00001eeb: ADD
00001eec: SWAP2
00001eed: PUSH2 0x1f1c
00001ef0: JUMP
00001ef1: JUMPDEST
00001ef2: DUP3
00001ef3: ADD
00001ef4: SWAP2
00001ef5: SWAP1
00001ef6: PUSH1 0x00
00001ef8: MSTORE
00001ef9: PUSH1 0x20
00001efb: PUSH1 0x00
00001efd: KECCAK256
00001efe: SWAP1
00001eff: JUMPDEST
00001f00: DUP2
00001f01: SLOAD
00001f02: DUP2
00001f03: MSTORE
00001f04: SWAP1
00001f05: PUSH1 0x01
00001f07: ADD
00001f08: SWAP1
00001f09: PUSH1 0x20
00001f0b: ADD
00001f0c: DUP1
00001f0d: DUP4
00001f0e: GT
00001f0f: PUSH2 0x1eff
00001f12: JUMPI
00001f13: DUP3
00001f14: SWAP1
00001f15: SUB
00001f16: PUSH1 0x1f
00001f18: AND
00001f19: DUP3
00001f1a: ADD
00001f1b: SWAP2
00001f1c: JUMPDEST
00001f1d: POP
00001f1e: POP
00001f1f: SWAP2
00001f20: POP
00001f21: POP
00001f22: PUSH1 0x00
00001f24: PUSH1 0x40
00001f26: MLOAD
00001f27: DUP1
00001f28: DUP4
00001f29: SUB
00001f2a: DUP2
00001f2b: DUP6
00001f2c: DUP8
00001f2d: GAS
00001f2e: CALL
00001f2f: SWAP3
00001f30: POP
00001f31: POP
00001f32: POP
00001f33: ISZERO
00001f34: PUSH2 0x1f69
00001f37: JUMPI
00001f38: DUP6
00001f39: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
00001f5a: PUSH1 0x40
00001f5c: MLOAD
00001f5d: PUSH1 0x40
00001f5f: MLOAD
00001f60: DUP1
00001f61: SWAP2
00001f62: SUB
00001f63: SWAP1
00001f64: LOG2
00001f65: PUSH2 0x1fb4
00001f68: JUMP
00001f69: JUMPDEST
00001f6a: DUP6
00001f6b: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236
00001f8c: PUSH1 0x40
00001f8e: MLOAD
00001f8f: PUSH1 0x40
00001f91: MLOAD
00001f92: DUP1
00001f93: SWAP2
00001f94: SUB
00001f95: SWAP1
00001f96: LOG2
00001f97: PUSH1 0x00
00001f99: DUP6
00001f9a: PUSH1 0x03
00001f9c: ADD
00001f9d: PUSH1 0x00
00001f9f: PUSH2 0x0100
00001fa2: EXP
00001fa3: DUP2
00001fa4: SLOAD
00001fa5: DUP2
00001fa6: PUSH1 0xff
00001fa8: MUL
00001fa9: NOT
00001faa: AND
00001fab: SWAP1
00001fac: DUP4
00001fad: ISZERO
00001fae: ISZERO
00001faf: MUL
00001fb0: OR
00001fb1: SWAP1
00001fb2: SSTORE
00001fb3: POP
00001fb4: JUMPDEST
00001fb5: JUMPDEST
00001fb6: POP
00001fb7: POP
00001fb8: POP
00001fb9: POP
00001fba: POP
00001fbb: POP
00001fbc: JUMP
00001fbd: JUMPDEST
00001fbe: PUSH1 0x00
00001fc0: DUP4
00001fc1: PUSH1 0x00
00001fc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd8: AND
00001fd9: DUP2
00001fda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fef: AND
00001ff0: EQ
00001ff1: ISZERO
00001ff2: ISZERO
00001ff3: ISZERO
00001ff4: PUSH2 0x1ffc
00001ff7: JUMPI
00001ff8: PUSH1 0x00
00001ffa: DUP1
00001ffb: REVERT
00001ffc: JUMPDEST
00001ffd: PUSH1 0x05
00001fff: SLOAD
00002000: SWAP2
00002001: POP
00002002: PUSH1 0x80
00002004: PUSH1 0x40
00002006: MLOAD
00002007: SWAP1
00002008: DUP2
00002009: ADD
0000200a: PUSH1 0x40
0000200c: MSTORE
0000200d: DUP1
0000200e: DUP7
0000200f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002024: AND
00002025: DUP2
00002026: MSTORE
00002027: PUSH1 0x20
00002029: ADD
0000202a: DUP6
0000202b: DUP2
0000202c: MSTORE
0000202d: PUSH1 0x20
0000202f: ADD
00002030: DUP5
00002031: DUP2
00002032: MSTORE
00002033: PUSH1 0x20
00002035: ADD
00002036: PUSH1 0x00
00002038: ISZERO
00002039: ISZERO
0000203a: DUP2
0000203b: MSTORE
0000203c: POP
0000203d: PUSH1 0x00
0000203f: DUP1
00002040: DUP5
00002041: DUP2
00002042: MSTORE
00002043: PUSH1 0x20
00002045: ADD
00002046: SWAP1
00002047: DUP2
00002048: MSTORE
00002049: PUSH1 0x20
0000204b: ADD
0000204c: PUSH1 0x00
0000204e: KECCAK256
0000204f: PUSH1 0x00
00002051: DUP3
00002052: ADD
00002053: MLOAD
00002054: DUP2
00002055: PUSH1 0x00
00002057: ADD
00002058: PUSH1 0x00
0000205a: PUSH2 0x0100
0000205d: EXP
0000205e: DUP2
0000205f: SLOAD
00002060: DUP2
00002061: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002076: MUL
00002077: NOT
00002078: AND
00002079: SWAP1
0000207a: DUP4
0000207b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002090: AND
00002091: MUL
00002092: OR
00002093: SWAP1
00002094: SSTORE
00002095: POP
00002096: PUSH1 0x20
00002098: DUP3
00002099: ADD
0000209a: MLOAD
0000209b: DUP2
0000209c: PUSH1 0x01
0000209e: ADD
0000209f: SSTORE
000020a0: PUSH1 0x40
000020a2: DUP3
000020a3: ADD
000020a4: MLOAD
000020a5: DUP2
000020a6: PUSH1 0x02
000020a8: ADD
000020a9: SWAP1
000020aa: DUP1
000020ab: MLOAD
000020ac: SWAP1
000020ad: PUSH1 0x20
000020af: ADD
000020b0: SWAP1
000020b1: PUSH2 0x20bb
000020b4: SWAP3
000020b5: SWAP2
000020b6: SWAP1
000020b7: PUSH2 0x2151
000020ba: JUMP
000020bb: JUMPDEST
000020bc: POP
000020bd: PUSH1 0x60
000020bf: DUP3
000020c0: ADD
000020c1: MLOAD
000020c2: DUP2
000020c3: PUSH1 0x03
000020c5: ADD
000020c6: PUSH1 0x00
000020c8: PUSH2 0x0100
000020cb: EXP
000020cc: DUP2
000020cd: SLOAD
000020ce: DUP2
000020cf: PUSH1 0xff
000020d1: MUL
000020d2: NOT
000020d3: AND
000020d4: SWAP1
000020d5: DUP4
000020d6: ISZERO
000020d7: ISZERO
000020d8: MUL
000020d9: OR
000020da: SWAP1
000020db: SSTORE
000020dc: POP
000020dd: SWAP1
000020de: POP
000020df: POP
000020e0: PUSH1 0x01
000020e2: PUSH1 0x05
000020e4: PUSH1 0x00
000020e6: DUP3
000020e7: DUP3
000020e8: SLOAD
000020e9: ADD
000020ea: SWAP3
000020eb: POP
000020ec: POP
000020ed: DUP2
000020ee: SWAP1
000020ef: SSTORE
000020f0: POP
000020f1: DUP2
000020f2: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
00002113: PUSH1 0x40
00002115: MLOAD
00002116: PUSH1 0x40
00002118: MLOAD
00002119: DUP1
0000211a: SWAP2
0000211b: SUB
0000211c: SWAP1
0000211d: LOG2
0000211e: POP
0000211f: SWAP4
00002120: SWAP3
00002121: POP
00002122: POP
00002123: POP
00002124: JUMP
00002125: JUMPDEST
00002126: DUP2
00002127: SLOAD
00002128: DUP2
00002129: DUP4
0000212a: SSTORE
0000212b: DUP2
0000212c: DUP2
0000212d: GT
0000212e: ISZERO
0000212f: PUSH2 0x214c
00002132: JUMPI
00002133: DUP2
00002134: DUP4
00002135: PUSH1 0x00
00002137: MSTORE
00002138: PUSH1 0x20
0000213a: PUSH1 0x00
0000213c: KECCAK256
0000213d: SWAP2
0000213e: DUP3
0000213f: ADD
00002140: SWAP2
00002141: ADD
00002142: PUSH2 0x214b
00002145: SWAP2
00002146: SWAP1
00002147: PUSH2 0x21d1
0000214a: JUMP
0000214b: JUMPDEST
0000214c: JUMPDEST
0000214d: POP
0000214e: POP
0000214f: POP
00002150: JUMP
00002151: JUMPDEST
00002152: DUP3
00002153: DUP1
00002154: SLOAD
00002155: PUSH1 0x01
00002157: DUP2
00002158: PUSH1 0x01
0000215a: AND
0000215b: ISZERO
0000215c: PUSH2 0x0100
0000215f: MUL
00002160: SUB
00002161: AND
00002162: PUSH1 0x02
00002164: SWAP1
00002165: DIV
00002166: SWAP1
00002167: PUSH1 0x00
00002169: MSTORE
0000216a: PUSH1 0x20
0000216c: PUSH1 0x00
0000216e: KECCAK256
0000216f: SWAP1
00002170: PUSH1 0x1f
00002172: ADD
00002173: PUSH1 0x20
00002175: SWAP1
00002176: DIV
00002177: DUP2
00002178: ADD
00002179: SWAP3
0000217a: DUP3
0000217b: PUSH1 0x1f
0000217d: LT
0000217e: PUSH2 0x2192
00002181: JUMPI
00002182: DUP1
00002183: MLOAD
00002184: PUSH1 0xff
00002186: NOT
00002187: AND
00002188: DUP4
00002189: DUP1
0000218a: ADD
0000218b: OR
0000218c: DUP6
0000218d: SSTORE
0000218e: PUSH2 0x21c0
00002191: JUMP
00002192: JUMPDEST
00002193: DUP3
00002194: DUP1
00002195: ADD
00002196: PUSH1 0x01
00002198: ADD
00002199: DUP6
0000219a: SSTORE
0000219b: DUP3
0000219c: ISZERO
0000219d: PUSH2 0x21c0
000021a0: JUMPI
000021a1: SWAP2
000021a2: DUP3
000021a3: ADD
000021a4: JUMPDEST
000021a5: DUP3
000021a6: DUP2
000021a7: GT
000021a8: ISZERO
000021a9: PUSH2 0x21bf
000021ac: JUMPI
000021ad: DUP3
000021ae: MLOAD
000021af: DUP3
000021b0: SSTORE
000021b1: SWAP2
000021b2: PUSH1 0x20
000021b4: ADD
000021b5: SWAP2
000021b6: SWAP1
000021b7: PUSH1 0x01
000021b9: ADD
000021ba: SWAP1
000021bb: PUSH2 0x21a4
000021be: JUMP
000021bf: JUMPDEST
000021c0: JUMPDEST
000021c1: POP
000021c2: SWAP1
000021c3: POP
000021c4: PUSH2 0x21cd
000021c7: SWAP2
000021c8: SWAP1
000021c9: PUSH2 0x21d1
000021cc: JUMP
000021cd: JUMPDEST
000021ce: POP
000021cf: SWAP1
000021d0: JUMP
000021d1: JUMPDEST
000021d2: PUSH2 0x21f3
000021d5: SWAP2
000021d6: SWAP1
000021d7: JUMPDEST
000021d8: DUP1
000021d9: DUP3
000021da: GT
000021db: ISZERO
000021dc: PUSH2 0x21ef
000021df: JUMPI
000021e0: PUSH1 0x00
000021e2: DUP2
000021e3: PUSH1 0x00
000021e5: SWAP1
000021e6: SSTORE
000021e7: POP
000021e8: PUSH1 0x01
000021ea: ADD
000021eb: PUSH2 0x21d7
000021ee: JUMP
000021ef: JUMPDEST
000021f0: POP
000021f1: SWAP1
000021f2: JUMP
000021f3: JUMPDEST
000021f4: SWAP1
000021f5: JUMP
000021f6: STOP
000021f7: LOG1
000021f8: PUSH6 0x627a7a723058
000021ff: KECCAK256
00002200: UNKNOWN(0xAB)
00002201: PUSH0
00002202: UNKNOWN(0xF7)
00002203: UNKNOWN(0xDD)
00002204: EXTCODEHASH
00002205: UNKNOWN(0xE6)
00002206: PUSH25 0x400930f2e34b7333b05ff49db7837a7b0e41953ebf1df9ff86
00002220: STOP
00002221: 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
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x6630a33fe7d1890e774b3633a172830629a55dc53211ff38e72f6472427b7357
call_targets: 0x112918a54e3ada863cf694970da0756f1eecc68d
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x6630a33fe7d1890e774b3633a172830629a55dc53211ff38e72f6472427b7357",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x112918a54e3ada863cf694970da0756f1eecc68d"
    ],
    "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": "0x025e7c27",
            "selector": "0x025e7c27",
            "calldata_variants": [
                "0x025e7c27",
                "0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20ea8d86",
            "selector": "0x20ea8d86",
            "calldata_variants": [
                "0x20ea8d86",
                "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3411c81c",
            "selector": "0x3411c81c",
            "calldata_variants": [
                "0x3411c81c",
                "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54741525",
            "selector": "0x54741525",
            "calldata_variants": [
                "0x54741525",
                "0x547415250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x552079dc",
            "selector": "0x552079dc",
            "calldata_variants": [
                "0x552079dc",
                "0x552079dc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7982,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [
        {
            "pc": 2354,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3666,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5994,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6723,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 1
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x6630a33fe7d1890e774b3633a172830629a55dc53211ff38e72f6472427b7357
call_targets: 0x112918a54e3ada863cf694970da0756f1eecc68d
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x6630a33fe7d1890e774b3633a172830629a55dc53211ff38e72f6472427b7357",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x112918a54e3ada863cf694970da0756f1eecc68d"
    ],
    "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": "0x025e7c27",
            "selector": "0x025e7c27",
            "calldata_variants": [
                "0x025e7c27",
                "0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20ea8d86",
            "selector": "0x20ea8d86",
            "calldata_variants": [
                "0x20ea8d86",
                "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3411c81c",
            "selector": "0x3411c81c",
            "calldata_variants": [
                "0x3411c81c",
                "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54741525",
            "selector": "0x54741525",
            "calldata_variants": [
                "0x54741525",
                "0x547415250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x552079dc",
            "selector": "0x552079dc",
            "calldata_variants": [
                "0x552079dc",
                "0x552079dc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7982,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 2354,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3666,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5994,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6723,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}