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

Analysis Run

019b3844-a998-7171-8344-a93069a98fb7

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 DELEGATECALL target 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
16925 artifact.fetch complete 1 / 3 3 months ago
16926 tool.cast_disasm complete 1 / 3 3 months ago
60574 analysis.bundle complete 1 / 3 1 week ago
60575 capability.graph complete 1 / 3 1 week ago
60576 detector.run complete 1 / 3 1 week ago
60577 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
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
5684
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x015e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8988eea9
00000019: GT
0000001a: PUSH2 0x00c0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb9f36874
00000024: GT
00000025: PUSH2 0x0074
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd90e73ab
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd90e73ab
0000003a: EQ
0000003b: PUSH2 0x0383
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe839bd53
00000045: EQ
00000046: PUSH2 0x0396
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe8e834a9
00000050: EQ
00000051: PUSH2 0x03b6
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xb9f36874
00000060: EQ
00000061: PUSH2 0x0343
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xba63c817
0000006b: EQ
0000006c: PUSH2 0x0363
0000006f: JUMPI
00000070: PUSH1 0x00
00000072: DUP1
00000073: REVERT
00000074: JUMPDEST
00000075: DUP1
00000076: PUSH4 0xac9650d8
0000007b: GT
0000007c: PUSH2 0x00a5
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0xac9650d8
00000086: EQ
00000087: PUSH2 0x02f0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xb18e2bbb
00000091: EQ
00000092: PUSH2 0x0310
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xb8705875
0000009c: EQ
0000009d: PUSH2 0x0323
000000a0: JUMPI
000000a1: PUSH1 0x00
000000a3: DUP1
000000a4: REVERT
000000a5: JUMPDEST
000000a6: DUP1
000000a7: PUSH4 0x8988eea9
000000ac: EQ
000000ad: PUSH2 0x02bd
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0xab764683
000000b7: EQ
000000b8: PUSH2 0x02dd
000000bb: JUMPI
000000bc: PUSH1 0x00
000000be: DUP1
000000bf: REVERT
000000c0: JUMPDEST
000000c1: DUP1
000000c2: PUSH4 0x35faa416
000000c7: GT
000000c8: PUSH2 0x0117
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x4705ed38
000000d2: GT
000000d3: PUSH2 0x00fc
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x4705ed38
000000dd: EQ
000000de: PUSH2 0x025d
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x51525e9a
000000e8: EQ
000000e9: PUSH2 0x027d
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x61451a30
000000f3: EQ
000000f4: PUSH2 0x029d
000000f7: JUMPI
000000f8: PUSH1 0x00
000000fa: DUP1
000000fb: REVERT
000000fc: JUMPDEST
000000fd: DUP1
000000fe: PUSH4 0x35faa416
00000103: EQ
00000104: PUSH2 0x0219
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x42f87c25
0000010e: EQ
0000010f: PUSH2 0x0230
00000112: JUMPI
00000113: PUSH1 0x00
00000115: DUP1
00000116: REVERT
00000117: JUMPDEST
00000118: DUP1
00000119: PUSH4 0x01ffc9a7
0000011e: GT
0000011f: PUSH2 0x0148
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x01ffc9a7
00000129: EQ
0000012a: PUSH2 0x01b6
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x063182a5
00000134: EQ
00000135: PUSH2 0x01e6
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x30ff3140
0000013f: EQ
00000140: PUSH2 0x0206
00000143: JUMPI
00000144: PUSH1 0x00
00000146: DUP1
00000147: REVERT
00000148: JUMPDEST
00000149: DUP1
0000014a: PUSH3 0x3c2ba6
0000014e: EQ
0000014f: PUSH2 0x0163
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x01a920a0
00000159: EQ
0000015a: PUSH2 0x0189
0000015d: JUMPI
0000015e: JUMPDEST
0000015f: PUSH1 0x00
00000161: DUP1
00000162: REVERT
00000163: JUMPDEST
00000164: PUSH2 0x0176
00000167: PUSH2 0x0171
0000016a: CALLDATASIZE
0000016b: PUSH1 0x04
0000016d: PUSH2 0x20b4
00000170: JUMP
00000171: JUMPDEST
00000172: PUSH2 0x03d5
00000175: JUMP
00000176: JUMPDEST
00000177: PUSH1 0x40
00000179: MLOAD
0000017a: SWAP1
0000017b: DUP2
0000017c: MSTORE
0000017d: PUSH1 0x20
0000017f: ADD
00000180: JUMPDEST
00000181: PUSH1 0x40
00000183: MLOAD
00000184: DUP1
00000185: SWAP2
00000186: SUB
00000187: SWAP1
00000188: RETURN
00000189: JUMPDEST
0000018a: CALLVALUE
0000018b: DUP1
0000018c: ISZERO
0000018d: PUSH2 0x0195
00000190: JUMPI
00000191: PUSH1 0x00
00000193: DUP1
00000194: REVERT
00000195: JUMPDEST
00000196: POP
00000197: PUSH2 0x01a9
0000019a: PUSH2 0x01a4
0000019d: CALLDATASIZE
0000019e: PUSH1 0x04
000001a0: PUSH2 0x20f6
000001a3: JUMP
000001a4: JUMPDEST
000001a5: PUSH2 0x0637
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH1 0x40
000001ac: MLOAD
000001ad: PUSH2 0x0180
000001b0: SWAP2
000001b1: SWAP1
000001b2: PUSH2 0x2118
000001b5: JUMP
000001b6: JUMPDEST
000001b7: CALLVALUE
000001b8: DUP1
000001b9: ISZERO
000001ba: PUSH2 0x01c2
000001bd: JUMPI
000001be: PUSH1 0x00
000001c0: DUP1
000001c1: REVERT
000001c2: JUMPDEST
000001c3: POP
000001c4: PUSH2 0x01d6
000001c7: PUSH2 0x01d1
000001ca: CALLDATASIZE
000001cb: PUSH1 0x04
000001cd: PUSH2 0x215c
000001d0: JUMP
000001d1: JUMPDEST
000001d2: PUSH2 0x066e
000001d5: JUMP
000001d6: JUMPDEST
000001d7: PUSH1 0x40
000001d9: MLOAD
000001da: SWAP1
000001db: ISZERO
000001dc: ISZERO
000001dd: DUP2
000001de: MSTORE
000001df: PUSH1 0x20
000001e1: ADD
000001e2: PUSH2 0x0180
000001e5: JUMP
000001e6: JUMPDEST
000001e7: CALLVALUE
000001e8: DUP1
000001e9: ISZERO
000001ea: PUSH2 0x01f2
000001ed: JUMPI
000001ee: PUSH1 0x00
000001f0: DUP1
000001f1: REVERT
000001f2: JUMPDEST
000001f3: POP
000001f4: PUSH2 0x01a9
000001f7: PUSH2 0x0201
000001fa: CALLDATASIZE
000001fb: PUSH1 0x04
000001fd: PUSH2 0x20f6
00000200: JUMP
00000201: JUMPDEST
00000202: PUSH2 0x06e1
00000205: JUMP
00000206: JUMPDEST
00000207: PUSH2 0x0176
0000020a: PUSH2 0x0214
0000020d: CALLDATASIZE
0000020e: PUSH1 0x04
00000210: PUSH2 0x21ae
00000213: JUMP
00000214: JUMPDEST
00000215: PUSH2 0x0712
00000218: JUMP
00000219: JUMPDEST
0000021a: CALLVALUE
0000021b: DUP1
0000021c: ISZERO
0000021d: PUSH2 0x0225
00000220: JUMPI
00000221: PUSH1 0x00
00000223: DUP1
00000224: REVERT
00000225: JUMPDEST
00000226: POP
00000227: PUSH2 0x022e
0000022a: PUSH2 0x08f9
0000022d: JUMP
0000022e: JUMPDEST
0000022f: STOP
00000230: JUMPDEST
00000231: CALLVALUE
00000232: DUP1
00000233: ISZERO
00000234: PUSH2 0x023c
00000237: JUMPI
00000238: PUSH1 0x00
0000023a: DUP1
0000023b: REVERT
0000023c: JUMPDEST
0000023d: POP
0000023e: PUSH2 0x0250
00000241: PUSH2 0x024b
00000244: CALLDATASIZE
00000245: PUSH1 0x04
00000247: PUSH2 0x20f6
0000024a: JUMP
0000024b: JUMPDEST
0000024c: PUSH2 0x0917
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH1 0x40
00000253: MLOAD
00000254: PUSH2 0x0180
00000257: SWAP2
00000258: SWAP1
00000259: PUSH2 0x2219
0000025c: JUMP
0000025d: JUMPDEST
0000025e: CALLVALUE
0000025f: DUP1
00000260: ISZERO
00000261: PUSH2 0x0269
00000264: JUMPI
00000265: PUSH1 0x00
00000267: DUP1
00000268: REVERT
00000269: JUMPDEST
0000026a: POP
0000026b: PUSH2 0x0250
0000026e: PUSH2 0x0278
00000271: CALLDATASIZE
00000272: PUSH1 0x04
00000274: PUSH2 0x2368
00000277: JUMP
00000278: JUMPDEST
00000279: PUSH2 0x0948
0000027c: JUMP
0000027d: JUMPDEST
0000027e: CALLVALUE
0000027f: DUP1
00000280: ISZERO
00000281: PUSH2 0x0289
00000284: JUMPI
00000285: PUSH1 0x00
00000287: DUP1
00000288: REVERT
00000289: JUMPDEST
0000028a: POP
0000028b: PUSH2 0x0250
0000028e: PUSH2 0x0298
00000291: CALLDATASIZE
00000292: PUSH1 0x04
00000294: PUSH2 0x20f6
00000297: JUMP
00000298: JUMPDEST
00000299: PUSH2 0x0bf0
0000029c: JUMP
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: DUP1
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x01a9
000002ae: PUSH2 0x02b8
000002b1: CALLDATASIZE
000002b2: PUSH1 0x04
000002b4: PUSH2 0x2368
000002b7: JUMP
000002b8: JUMPDEST
000002b9: PUSH2 0x0c21
000002bc: JUMP
000002bd: JUMPDEST
000002be: CALLVALUE
000002bf: DUP1
000002c0: ISZERO
000002c1: PUSH2 0x02c9
000002c4: JUMPI
000002c5: PUSH1 0x00
000002c7: DUP1
000002c8: REVERT
000002c9: JUMPDEST
000002ca: POP
000002cb: PUSH2 0x01d6
000002ce: PUSH2 0x02d8
000002d1: CALLDATASIZE
000002d2: PUSH1 0x04
000002d4: PUSH2 0x23aa
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH2 0x0cc6
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH2 0x0176
000002e1: PUSH2 0x02eb
000002e4: CALLDATASIZE
000002e5: PUSH1 0x04
000002e7: PUSH2 0x23f5
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH2 0x0dd8
000002ef: JUMP
000002f0: JUMPDEST
000002f1: PUSH2 0x0303
000002f4: PUSH2 0x02fe
000002f7: CALLDATASIZE
000002f8: PUSH1 0x04
000002fa: PUSH2 0x2368
000002fd: JUMP
000002fe: JUMPDEST
000002ff: PUSH2 0x1056
00000302: JUMP
00000303: JUMPDEST
00000304: PUSH1 0x40
00000306: MLOAD
00000307: PUSH2 0x0180
0000030a: SWAP2
0000030b: SWAP1
0000030c: PUSH2 0x2442
0000030f: JUMP
00000310: JUMPDEST
00000311: PUSH2 0x0176
00000314: PUSH2 0x031e
00000317: CALLDATASIZE
00000318: PUSH1 0x04
0000031a: PUSH2 0x2510
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH2 0x118d
00000322: JUMP
00000323: JUMPDEST
00000324: CALLVALUE
00000325: DUP1
00000326: ISZERO
00000327: PUSH2 0x032f
0000032a: JUMPI
0000032b: PUSH1 0x00
0000032d: DUP1
0000032e: REVERT
0000032f: JUMPDEST
00000330: POP
00000331: PUSH2 0x0176
00000334: PUSH2 0x033e
00000337: CALLDATASIZE
00000338: PUSH1 0x04
0000033a: PUSH2 0x2567
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH2 0x13bd
00000342: JUMP
00000343: JUMPDEST
00000344: CALLVALUE
00000345: DUP1
00000346: ISZERO
00000347: PUSH2 0x034f
0000034a: JUMPI
0000034b: PUSH1 0x00
0000034d: DUP1
0000034e: REVERT
0000034f: JUMPDEST
00000350: POP
00000351: PUSH2 0x01d6
00000354: PUSH2 0x035e
00000357: CALLDATASIZE
00000358: PUSH1 0x04
0000035a: PUSH2 0x2567
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH2 0x15d8
00000362: JUMP
00000363: JUMPDEST
00000364: CALLVALUE
00000365: DUP1
00000366: ISZERO
00000367: PUSH2 0x036f
0000036a: JUMPI
0000036b: PUSH1 0x00
0000036d: DUP1
0000036e: REVERT
0000036f: JUMPDEST
00000370: POP
00000371: PUSH2 0x0176
00000374: PUSH2 0x037e
00000377: CALLDATASIZE
00000378: PUSH1 0x04
0000037a: PUSH2 0x23aa
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH2 0x1767
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH2 0x0176
00000387: PUSH2 0x0391
0000038a: CALLDATASIZE
0000038b: PUSH1 0x04
0000038d: PUSH2 0x25bc
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH2 0x192d
00000395: JUMP
00000396: JUMPDEST
00000397: CALLVALUE
00000398: DUP1
00000399: ISZERO
0000039a: PUSH2 0x03a2
0000039d: JUMPI
0000039e: PUSH1 0x00
000003a0: DUP1
000003a1: REVERT
000003a2: JUMPDEST
000003a3: POP
000003a4: PUSH2 0x01d6
000003a7: PUSH2 0x03b1
000003aa: CALLDATASIZE
000003ab: PUSH1 0x04
000003ad: PUSH2 0x2609
000003b0: JUMP
000003b1: JUMPDEST
000003b2: PUSH2 0x1b3f
000003b5: JUMP
000003b6: JUMPDEST
000003b7: CALLVALUE
000003b8: DUP1
000003b9: ISZERO
000003ba: PUSH2 0x03c2
000003bd: JUMPI
000003be: PUSH1 0x00
000003c0: DUP1
000003c1: REVERT
000003c2: JUMPDEST
000003c3: POP
000003c4: PUSH2 0x0176
000003c7: PUSH2 0x03d1
000003ca: CALLDATASIZE
000003cb: PUSH1 0x04
000003cd: PUSH2 0x2645
000003d0: JUMP
000003d1: JUMPDEST
000003d2: SLOAD
000003d3: SWAP1
000003d4: JUMP
000003d5: JUMPDEST
000003d6: PUSH1 0x40
000003d8: DUP1
000003d9: MLOAD
000003da: PUSH1 0x3c
000003dc: DUP2
000003dd: ADD
000003de: DUP6
000003df: SWAP1
000003e0: MSTORE
000003e1: PUSH1 0x28
000003e3: DUP2
000003e4: ADD
000003e5: DUP7
000003e6: SWAP1
000003e7: MSTORE
000003e8: CALLER
000003e9: PUSH1 0x14
000003eb: DUP3
000003ec: ADD
000003ed: MSTORE
000003ee: DUP4
000003ef: DUP2
000003f0: MSTORE
000003f1: PUSH1 0x5c
000003f3: SWAP1
000003f4: KECCAK256
000003f5: PUSH1 0x08
000003f7: SHL
000003f8: PUSH1 0x04
000003fa: OR
000003fb: PUSH1 0x00
000003fd: DUP2
000003fe: DUP2
000003ff: MSTORE
00000400: PUSH1 0x20
00000402: DUP2
00000403: SWAP1
00000404: MSTORE
00000405: SWAP2
00000406: SWAP1
00000407: SWAP2
00000408: KECCAK256
00000409: DUP1
0000040a: SLOAD
0000040b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000420: AND
00000421: DUP4
00000422: ISZERO
00000423: PUSH2 0x0586
00000426: JUMPI
00000427: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000043c: DUP2
0000043d: AND
0000043e: PUSH2 0x04ec
00000441: JUMPI
00000442: CALLER
00000443: PUSH1 0x00
00000445: DUP2
00000446: DUP2
00000447: MSTORE
00000448: PUSH1 0x01
0000044a: PUSH1 0x20
0000044c: DUP2
0000044d: DUP2
0000044e: MSTORE
0000044f: PUSH1 0x40
00000451: DUP1
00000452: DUP5
00000453: KECCAK256
00000454: DUP1
00000455: SLOAD
00000456: DUP1
00000457: DUP6
00000458: ADD
00000459: DUP3
0000045a: SSTORE
0000045b: SWAP1
0000045c: DUP6
0000045d: MSTORE
0000045e: DUP3
0000045f: DUP6
00000460: KECCAK256
00000461: ADD
00000462: DUP9
00000463: SWAP1
00000464: SSTORE
00000465: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000047a: DUP13
0000047b: AND
0000047c: DUP1
0000047d: DUP6
0000047e: MSTORE
0000047f: PUSH1 0x02
00000481: DUP4
00000482: MSTORE
00000483: DUP2
00000484: DUP6
00000485: KECCAK256
00000486: DUP1
00000487: SLOAD
00000488: DUP1
00000489: DUP7
0000048a: ADD
0000048b: DUP3
0000048c: SSTORE
0000048d: SWAP1
0000048e: DUP7
0000048f: MSTORE
00000490: SWAP3
00000491: SWAP1
00000492: SWAP5
00000493: KECCAK256
00000494: SWAP1
00000495: SWAP2
00000496: ADD
00000497: DUP8
00000498: SWAP1
00000499: SSTORE
0000049a: DUP10
0000049b: SWAP1
0000049c: SHL
0000049d: PUSH28 0xffffffffffffffff0000000000000000000000000000000000000000
000004ba: AND
000004bb: SWAP1
000004bc: SWAP3
000004bd: OR
000004be: DUP5
000004bf: SSTORE
000004c0: PUSH1 0xa0
000004c2: DUP9
000004c3: SWAP1
000004c4: SHL
000004c5: OR
000004c6: SWAP1
000004c7: DUP4
000004c8: ADD
000004c9: SSTORE
000004ca: PUSH2 0x04d5
000004cd: DUP3
000004ce: PUSH1 0x04
000004d0: DUP7
000004d1: SWAP2
000004d2: ADD
000004d3: SSTORE
000004d4: JUMP
000004d5: JUMPDEST
000004d6: DUP5
000004d7: ISZERO
000004d8: PUSH2 0x04e7
000004db: JUMPI
000004dc: PUSH2 0x04e7
000004df: DUP3
000004e0: PUSH1 0x02
000004e2: DUP8
000004e3: SWAP2
000004e4: ADD
000004e5: SSTORE
000004e6: JUMP
000004e7: JUMPDEST
000004e8: PUSH2 0x05d4
000004eb: JUMP
000004ec: JUMPDEST
000004ed: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000050e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000523: DUP3
00000524: AND
00000525: ADD
00000526: PUSH2 0x055d
00000529: JUMPI
0000052a: DUP2
0000052b: SLOAD
0000052c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000054d: AND
0000054e: CALLER
0000054f: OR
00000550: DUP3
00000551: SSTORE
00000552: PUSH2 0x04e7
00000555: DUP3
00000556: PUSH1 0x04
00000558: DUP7
00000559: SWAP2
0000055a: ADD
0000055b: SSTORE
0000055c: JUMP
0000055d: JUMPDEST
0000055e: CALLER
0000055f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000574: DUP3
00000575: AND
00000576: SUB
00000577: PUSH2 0x04e7
0000057a: JUMPI
0000057b: PUSH2 0x04e7
0000057e: DUP3
0000057f: PUSH1 0x04
00000581: DUP7
00000582: SWAP2
00000583: ADD
00000584: SSTORE
00000585: JUMP
00000586: JUMPDEST
00000587: CALLER
00000588: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000059d: DUP3
0000059e: AND
0000059f: SUB
000005a0: PUSH2 0x05d4
000005a3: JUMPI
000005a4: DUP2
000005a5: SLOAD
000005a6: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000005c7: AND
000005c8: PUSH1 0x01
000005ca: OR
000005cb: DUP3
000005cc: SSTORE
000005cd: PUSH1 0x00
000005cf: PUSH1 0x04
000005d1: DUP4
000005d2: ADD
000005d3: SSTORE
000005d4: JUMPDEST
000005d5: PUSH1 0x40
000005d7: DUP1
000005d8: MLOAD
000005d9: DUP7
000005da: DUP2
000005db: MSTORE
000005dc: PUSH1 0x20
000005de: DUP2
000005df: ADD
000005e0: DUP7
000005e1: SWAP1
000005e2: MSTORE
000005e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f8: DUP1
000005f9: DUP10
000005fa: AND
000005fb: SWAP3
000005fc: SWAP1
000005fd: DUP11
000005fe: AND
000005ff: SWAP2
00000600: CALLER
00000601: SWAP2
00000602: PUSH32 0x6ebd000dfc4dc9df04f723f827bae7694230795e8f22ed4af438e074cc982d18
00000623: SWAP2
00000624: ADD
00000625: JUMPDEST
00000626: PUSH1 0x40
00000628: MLOAD
00000629: DUP1
0000062a: SWAP2
0000062b: SUB
0000062c: SWAP1
0000062d: LOG4
0000062e: POP
0000062f: POP
00000630: SWAP5
00000631: SWAP4
00000632: POP
00000633: POP
00000634: POP
00000635: POP
00000636: JUMP
00000637: JUMPDEST
00000638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000064d: DUP2
0000064e: AND
0000064f: PUSH1 0x00
00000651: SWAP1
00000652: DUP2
00000653: MSTORE
00000654: PUSH1 0x01
00000656: PUSH1 0x20
00000658: MSTORE
00000659: PUSH1 0x40
0000065b: SWAP1
0000065c: KECCAK256
0000065d: PUSH1 0x60
0000065f: SWAP1
00000660: PUSH2 0x0668
00000663: SWAP1
00000664: PUSH2 0x1bc2
00000667: JUMP
00000668: JUMPDEST
00000669: SWAP3
0000066a: SWAP2
0000066b: POP
0000066c: POP
0000066d: JUMP
0000066e: JUMPDEST
0000066f: PUSH1 0x00
00000671: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00000692: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000006b3: DUP4
000006b4: AND
000006b5: SWAP1
000006b6: DUP2
000006b7: EQ
000006b8: PUSH32 0x5f68bc5a00000000000000000000000000000000000000000000000000000000
000006d9: SWAP1
000006da: SWAP2
000006db: EQ
000006dc: OR
000006dd: PUSH2 0x0668
000006e0: JUMP
000006e1: JUMPDEST
000006e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f7: DUP2
000006f8: AND
000006f9: PUSH1 0x00
000006fb: SWAP1
000006fc: DUP2
000006fd: MSTORE
000006fe: PUSH1 0x02
00000700: PUSH1 0x20
00000702: MSTORE
00000703: PUSH1 0x40
00000705: SWAP1
00000706: KECCAK256
00000707: PUSH1 0x60
00000709: SWAP1
0000070a: PUSH2 0x0668
0000070d: SWAP1
0000070e: PUSH2 0x1bc2
00000711: JUMP
00000712: JUMPDEST
00000713: PUSH1 0x40
00000715: DUP1
00000716: MLOAD
00000717: PUSH1 0x28
00000719: DUP2
0000071a: ADD
0000071b: DUP6
0000071c: SWAP1
0000071d: MSTORE
0000071e: CALLER
0000071f: PUSH1 0x14
00000721: DUP3
00000722: ADD
00000723: MSTORE
00000724: DUP4
00000725: DUP2
00000726: MSTORE
00000727: PUSH1 0x48
00000729: SWAP1
0000072a: KECCAK256
0000072b: PUSH1 0x08
0000072d: SHL
0000072e: PUSH1 0x01
00000730: OR
00000731: PUSH1 0x00
00000733: DUP2
00000734: DUP2
00000735: MSTORE
00000736: PUSH1 0x20
00000738: DUP2
00000739: SWAP1
0000073a: MSTORE
0000073b: SWAP2
0000073c: SWAP1
0000073d: SWAP2
0000073e: KECCAK256
0000073f: DUP1
00000740: SLOAD
00000741: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000756: AND
00000757: DUP4
00000758: ISZERO
00000759: PUSH2 0x0855
0000075c: JUMPI
0000075d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000772: DUP2
00000773: AND
00000774: PUSH2 0x07eb
00000777: JUMPI
00000778: CALLER
00000779: PUSH1 0x00
0000077b: DUP2
0000077c: DUP2
0000077d: MSTORE
0000077e: PUSH1 0x01
00000780: PUSH1 0x20
00000782: DUP2
00000783: DUP2
00000784: MSTORE
00000785: PUSH1 0x40
00000787: DUP1
00000788: DUP5
00000789: KECCAK256
0000078a: DUP1
0000078b: SLOAD
0000078c: DUP1
0000078d: DUP6
0000078e: ADD
0000078f: DUP3
00000790: SSTORE
00000791: SWAP1
00000792: DUP6
00000793: MSTORE
00000794: DUP3
00000795: DUP6
00000796: KECCAK256
00000797: ADD
00000798: DUP9
00000799: SWAP1
0000079a: SSTORE
0000079b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b0: DUP12
000007b1: AND
000007b2: DUP1
000007b3: DUP6
000007b4: MSTORE
000007b5: PUSH1 0x02
000007b7: DUP4
000007b8: MSTORE
000007b9: SWAP1
000007ba: DUP5
000007bb: KECCAK256
000007bc: DUP1
000007bd: SLOAD
000007be: DUP1
000007bf: DUP6
000007c0: ADD
000007c1: DUP3
000007c2: SSTORE
000007c3: SWAP1
000007c4: DUP6
000007c5: MSTORE
000007c6: SWAP2
000007c7: SWAP1
000007c8: SWAP4
000007c9: KECCAK256
000007ca: ADD
000007cb: DUP7
000007cc: SWAP1
000007cd: SSTORE
000007ce: SWAP2
000007cf: DUP5
000007d0: SSTORE
000007d1: SWAP1
000007d2: DUP4
000007d3: ADD
000007d4: SSTORE
000007d5: DUP5
000007d6: ISZERO
000007d7: PUSH2 0x07e6
000007da: JUMPI
000007db: PUSH2 0x07e6
000007de: DUP3
000007df: PUSH1 0x02
000007e1: DUP8
000007e2: SWAP2
000007e3: ADD
000007e4: SSTORE
000007e5: JUMP
000007e6: JUMPDEST
000007e7: PUSH2 0x089c
000007ea: JUMP
000007eb: JUMPDEST
000007ec: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000080d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000822: DUP3
00000823: AND
00000824: ADD
00000825: PUSH2 0x07e6
00000828: JUMPI
00000829: DUP2
0000082a: SLOAD
0000082b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000084c: AND
0000084d: CALLER
0000084e: OR
0000084f: DUP3
00000850: SSTORE
00000851: PUSH2 0x089c
00000854: JUMP
00000855: JUMPDEST
00000856: CALLER
00000857: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000086c: DUP3
0000086d: AND
0000086e: SUB
0000086f: PUSH2 0x089c
00000872: JUMPI
00000873: DUP2
00000874: SLOAD
00000875: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000896: AND
00000897: PUSH1 0x01
00000899: OR
0000089a: DUP3
0000089b: SSTORE
0000089c: JUMPDEST
0000089d: PUSH1 0x40
0000089f: DUP1
000008a0: MLOAD
000008a1: DUP7
000008a2: DUP2
000008a3: MSTORE
000008a4: DUP6
000008a5: ISZERO
000008a6: ISZERO
000008a7: PUSH1 0x20
000008a9: DUP3
000008aa: ADD
000008ab: MSTORE
000008ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c1: DUP9
000008c2: AND
000008c3: SWAP2
000008c4: CALLER
000008c5: SWAP2
000008c6: PUSH32 0xda3ef6410e30373a9137f83f9781a8129962b6882532b7c229de2e39de423227
000008e7: SWAP2
000008e8: ADD
000008e9: PUSH1 0x40
000008eb: MLOAD
000008ec: DUP1
000008ed: SWAP2
000008ee: SUB
000008ef: SWAP1
000008f0: LOG3
000008f1: POP
000008f2: POP
000008f3: SWAP4
000008f4: SWAP3
000008f5: POP
000008f6: POP
000008f7: POP
000008f8: JUMP
000008f9: JUMPDEST
000008fa: PUSH1 0x00
000008fc: DUP1
000008fd: PUSH1 0x00
000008ff: DUP1
00000900: SELFBALANCE
00000901: PUSH17 0xde1e80ea5a234fb5488fee2584251bc7e8
00000913: GAS
00000914: CALL
00000915: POP
00000916: JUMP
00000917: JUMPDEST
00000918: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000092d: DUP2
0000092e: AND
0000092f: PUSH1 0x00
00000931: SWAP1
00000932: DUP2
00000933: MSTORE
00000934: PUSH1 0x02
00000936: PUSH1 0x20
00000938: MSTORE
00000939: PUSH1 0x40
0000093b: SWAP1
0000093c: KECCAK256
0000093d: PUSH1 0x60
0000093f: SWAP1
00000940: PUSH2 0x0668
00000943: SWAP1
00000944: PUSH2 0x1d41
00000947: JUMP
00000948: JUMPDEST
00000949: PUSH1 0x60
0000094b: DUP2
0000094c: PUSH8 0xffffffffffffffff
00000955: DUP2
00000956: GT
00000957: ISZERO
00000958: PUSH2 0x0963
0000095b: JUMPI
0000095c: PUSH2 0x0963
0000095f: PUSH2 0x265e
00000962: JUMP
00000963: JUMPDEST
00000964: PUSH1 0x40
00000966: MLOAD
00000967: SWAP1
00000968: DUP1
00000969: DUP3
0000096a: MSTORE
0000096b: DUP1
0000096c: PUSH1 0x20
0000096e: MUL
0000096f: PUSH1 0x20
00000971: ADD
00000972: DUP3
00000973: ADD
00000974: PUSH1 0x40
00000976: MSTORE
00000977: DUP1
00000978: ISZERO
00000979: PUSH2 0x09e8
0000097c: JUMPI
0000097d: DUP2
0000097e: PUSH1 0x20
00000980: ADD
00000981: JUMPDEST
00000982: PUSH1 0x40
00000984: DUP1
00000985: MLOAD
00000986: PUSH1 0xe0
00000988: DUP2
00000989: ADD
0000098a: DUP3
0000098b: MSTORE
0000098c: PUSH1 0x00
0000098e: DUP1
0000098f: DUP3
00000990: MSTORE
00000991: PUSH1 0x20
00000993: DUP1
00000994: DUP4
00000995: ADD
00000996: DUP3
00000997: SWAP1
00000998: MSTORE
00000999: SWAP3
0000099a: DUP3
0000099b: ADD
0000099c: DUP2
0000099d: SWAP1
0000099e: MSTORE
0000099f: PUSH1 0x60
000009a1: DUP3
000009a2: ADD
000009a3: DUP2
000009a4: SWAP1
000009a5: MSTORE
000009a6: PUSH1 0x80
000009a8: DUP3
000009a9: ADD
000009aa: DUP2
000009ab: SWAP1
000009ac: MSTORE
000009ad: PUSH1 0xa0
000009af: DUP3
000009b0: ADD
000009b1: DUP2
000009b2: SWAP1
000009b3: MSTORE
000009b4: PUSH1 0xc0
000009b6: DUP3
000009b7: ADD
000009b8: MSTORE
000009b9: DUP3
000009ba: MSTORE
000009bb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000009dc: SWAP1
000009dd: SWAP3
000009de: ADD
000009df: SWAP2
000009e0: ADD
000009e1: DUP2
000009e2: PUSH2 0x0981
000009e5: JUMPI
000009e6: SWAP1
000009e7: POP
000009e8: JUMPDEST
000009e9: POP
000009ea: SWAP1
000009eb: POP
000009ec: PUSH1 0x00
000009ee: JUMPDEST
000009ef: DUP3
000009f0: DUP2
000009f1: LT
000009f2: ISZERO
000009f3: PUSH2 0x0be9
000009f6: JUMPI
000009f7: PUSH1 0x00
000009f9: PUSH2 0x0a25
000009fc: DUP6
000009fd: DUP6
000009fe: DUP5
000009ff: DUP2
00000a00: DUP2
00000a01: LT
00000a02: PUSH2 0x0a0d
00000a05: JUMPI
00000a06: PUSH2 0x0a0d
00000a09: PUSH2 0x268d
00000a0c: JUMP
00000a0d: JUMPDEST
00000a0e: SWAP1
00000a0f: POP
00000a10: PUSH1 0x20
00000a12: MUL
00000a13: ADD
00000a14: CALLDATALOAD
00000a15: PUSH1 0x00
00000a17: SWAP1
00000a18: DUP2
00000a19: MSTORE
00000a1a: PUSH1 0x20
00000a1c: DUP2
00000a1d: SWAP1
00000a1e: MSTORE
00000a1f: PUSH1 0x40
00000a21: SWAP1
00000a22: KECCAK256
00000a23: SWAP1
00000a24: JUMP
00000a25: JUMPDEST
00000a26: SWAP1
00000a27: POP
00000a28: PUSH1 0x00
00000a2a: PUSH2 0x0a47
00000a2d: DUP3
00000a2e: SLOAD
00000a2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a44: AND
00000a45: SWAP1
00000a46: JUMP
00000a47: JUMPDEST
00000a48: SWAP1
00000a49: POP
00000a4a: PUSH2 0x0a52
00000a4d: DUP2
00000a4e: PUSH2 0x200f
00000a51: JUMP
00000a52: JUMPDEST
00000a53: ISZERO
00000a54: PUSH2 0x0ab6
00000a57: JUMPI
00000a58: PUSH1 0x40
00000a5a: DUP1
00000a5b: MLOAD
00000a5c: PUSH1 0xe0
00000a5e: DUP2
00000a5f: ADD
00000a60: SWAP1
00000a61: SWAP2
00000a62: MSTORE
00000a63: DUP1
00000a64: PUSH1 0x00
00000a66: DUP2
00000a67: MSTORE
00000a68: PUSH1 0x00
00000a6a: PUSH1 0x20
00000a6c: DUP3
00000a6d: ADD
00000a6e: DUP2
00000a6f: SWAP1
00000a70: MSTORE
00000a71: PUSH1 0x40
00000a73: DUP3
00000a74: ADD
00000a75: DUP2
00000a76: SWAP1
00000a77: MSTORE
00000a78: PUSH1 0x60
00000a7a: DUP3
00000a7b: ADD
00000a7c: DUP2
00000a7d: SWAP1
00000a7e: MSTORE
00000a7f: PUSH1 0x80
00000a81: DUP3
00000a82: ADD
00000a83: DUP2
00000a84: SWAP1
00000a85: MSTORE
00000a86: PUSH1 0xa0
00000a88: DUP3
00000a89: ADD
00000a8a: DUP2
00000a8b: SWAP1
00000a8c: MSTORE
00000a8d: PUSH1 0xc0
00000a8f: SWAP1
00000a90: SWAP2
00000a91: ADD
00000a92: MSTORE
00000a93: DUP5
00000a94: MLOAD
00000a95: DUP6
00000a96: SWAP1
00000a97: DUP6
00000a98: SWAP1
00000a99: DUP2
00000a9a: LT
00000a9b: PUSH2 0x0aa6
00000a9e: JUMPI
00000a9f: PUSH2 0x0aa6
00000aa2: PUSH2 0x268d
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH1 0x20
00000aa9: MUL
00000aaa: PUSH1 0x20
00000aac: ADD
00000aad: ADD
00000aae: DUP2
00000aaf: SWAP1
00000ab0: MSTORE
00000ab1: POP
00000ab2: PUSH2 0x0bdf
00000ab5: JUMP
00000ab6: JUMPDEST
00000ab7: DUP2
00000ab8: SLOAD
00000ab9: PUSH1 0x01
00000abb: DUP4
00000abc: ADD
00000abd: SLOAD
00000abe: PUSH1 0x40
00000ac0: DUP1
00000ac1: MLOAD
00000ac2: PUSH1 0xe0
00000ac4: DUP2
00000ac5: ADD
00000ac6: DUP3
00000ac7: MSTORE
00000ac8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000add: DUP4
00000ade: AND
00000adf: SWAP4
00000ae0: PUSH1 0xa0
00000ae2: SWAP4
00000ae3: SWAP1
00000ae4: SWAP4
00000ae5: SHR
00000ae6: SWAP3
00000ae7: SWAP1
00000ae8: SWAP2
00000ae9: SHR
00000aea: PUSH20 0xffffffffffffffff000000000000000000000000
00000aff: AND
00000b00: SWAP2
00000b01: SWAP1
00000b02: SWAP2
00000b03: OR
00000b04: SWAP1
00000b05: DUP1
00000b06: PUSH2 0x0b27
00000b09: DUP11
00000b0a: DUP11
00000b0b: DUP10
00000b0c: DUP2
00000b0d: DUP2
00000b0e: LT
00000b0f: PUSH2 0x0b1a
00000b12: JUMPI
00000b13: PUSH2 0x0b1a
00000b16: PUSH2 0x268d
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: SWAP1
00000b1c: POP
00000b1d: PUSH1 0x20
00000b1f: MUL
00000b20: ADD
00000b21: CALLDATALOAD
00000b22: PUSH1 0xff
00000b24: AND
00000b25: SWAP1
00000b26: JUMP
00000b27: JUMPDEST
00000b28: PUSH1 0x05
00000b2a: DUP2
00000b2b: GT
00000b2c: ISZERO
00000b2d: PUSH2 0x0b38
00000b30: JUMPI
00000b31: PUSH2 0x0b38
00000b34: PUSH2 0x21ea
00000b37: JUMP
00000b38: JUMPDEST
00000b39: DUP2
00000b3a: MSTORE
00000b3b: PUSH1 0x20
00000b3d: ADD
00000b3e: DUP4
00000b3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b54: AND
00000b55: DUP2
00000b56: MSTORE
00000b57: PUSH1 0x20
00000b59: ADD
00000b5a: DUP5
00000b5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b70: AND
00000b71: DUP2
00000b72: MSTORE
00000b73: PUSH1 0x20
00000b75: ADD
00000b76: PUSH2 0x0b80
00000b79: DUP7
00000b7a: PUSH1 0x02
00000b7c: ADD
00000b7d: SLOAD
00000b7e: SWAP1
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: DUP2
00000b82: MSTORE
00000b83: PUSH1 0x20
00000b85: ADD
00000b86: DUP3
00000b87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9c: AND
00000b9d: DUP2
00000b9e: MSTORE
00000b9f: PUSH1 0x20
00000ba1: ADD
00000ba2: PUSH2 0x0bac
00000ba5: DUP7
00000ba6: PUSH1 0x03
00000ba8: ADD
00000ba9: SLOAD
00000baa: SWAP1
00000bab: JUMP
00000bac: JUMPDEST
00000bad: DUP2
00000bae: MSTORE
00000baf: PUSH1 0x20
00000bb1: ADD
00000bb2: PUSH2 0x0bbc
00000bb5: DUP7
00000bb6: PUSH1 0x04
00000bb8: ADD
00000bb9: SLOAD
00000bba: SWAP1
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: DUP2
00000bbe: MSTORE
00000bbf: POP
00000bc0: DUP7
00000bc1: DUP7
00000bc2: DUP2
00000bc3: MLOAD
00000bc4: DUP2
00000bc5: LT
00000bc6: PUSH2 0x0bd1
00000bc9: JUMPI
00000bca: PUSH2 0x0bd1
00000bcd: PUSH2 0x268d
00000bd0: JUMP
00000bd1: JUMPDEST
00000bd2: PUSH1 0x20
00000bd4: MUL
00000bd5: PUSH1 0x20
00000bd7: ADD
00000bd8: ADD
00000bd9: DUP2
00000bda: SWAP1
00000bdb: MSTORE
00000bdc: POP
00000bdd: POP
00000bde: POP
00000bdf: JUMPDEST
00000be0: POP
00000be1: POP
00000be2: PUSH1 0x01
00000be4: ADD
00000be5: PUSH2 0x09ee
00000be8: JUMP
00000be9: JUMPDEST
00000bea: POP
00000beb: SWAP3
00000bec: SWAP2
00000bed: POP
00000bee: POP
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c06: DUP2
00000c07: AND
00000c08: PUSH1 0x00
00000c0a: SWAP1
00000c0b: DUP2
00000c0c: MSTORE
00000c0d: PUSH1 0x01
00000c0f: PUSH1 0x20
00000c11: MSTORE
00000c12: PUSH1 0x40
00000c14: SWAP1
00000c15: KECCAK256
00000c16: PUSH1 0x60
00000c18: SWAP1
00000c19: PUSH2 0x0668
00000c1c: SWAP1
00000c1d: PUSH2 0x1d41
00000c20: JUMP
00000c21: JUMPDEST
00000c22: PUSH1 0x60
00000c24: DUP2
00000c25: DUP1
00000c26: PUSH8 0xffffffffffffffff
00000c2f: DUP2
00000c30: GT
00000c31: ISZERO
00000c32: PUSH2 0x0c3d
00000c35: JUMPI
00000c36: PUSH2 0x0c3d
00000c39: PUSH2 0x265e
00000c3c: JUMP
00000c3d: JUMPDEST
00000c3e: PUSH1 0x40
00000c40: MLOAD
00000c41: SWAP1
00000c42: DUP1
00000c43: DUP3
00000c44: MSTORE
00000c45: DUP1
00000c46: PUSH1 0x20
00000c48: MUL
00000c49: PUSH1 0x20
00000c4b: ADD
00000c4c: DUP3
00000c4d: ADD
00000c4e: PUSH1 0x40
00000c50: MSTORE
00000c51: DUP1
00000c52: ISZERO
00000c53: PUSH2 0x0c66
00000c56: JUMPI
00000c57: DUP2
00000c58: PUSH1 0x20
00000c5a: ADD
00000c5b: PUSH1 0x20
00000c5d: DUP3
00000c5e: MUL
00000c5f: DUP1
00000c60: CALLDATASIZE
00000c61: DUP4
00000c62: CALLDATACOPY
00000c63: ADD
00000c64: SWAP1
00000c65: POP
00000c66: JUMPDEST
00000c67: POP
00000c68: SWAP2
00000c69: POP
00000c6a: PUSH1 0x00
00000c6c: DUP1
00000c6d: PUSH1 0x00
00000c6f: JUMPDEST
00000c70: DUP4
00000c71: DUP2
00000c72: LT
00000c73: ISZERO
00000c74: PUSH2 0x0cbc
00000c77: JUMPI
00000c78: DUP7
00000c79: DUP7
00000c7a: DUP3
00000c7b: DUP2
00000c7c: DUP2
00000c7d: LT
00000c7e: PUSH2 0x0c89
00000c81: JUMPI
00000c82: PUSH2 0x0c89
00000c85: PUSH2 0x268d
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: SWAP1
00000c8b: POP
00000c8c: PUSH1 0x20
00000c8e: MUL
00000c8f: ADD
00000c90: CALLDATALOAD
00000c91: SWAP3
00000c92: POP
00000c93: DUP3
00000c94: SLOAD
00000c95: SWAP2
00000c96: POP
00000c97: DUP2
00000c98: DUP6
00000c99: DUP3
00000c9a: DUP2
00000c9b: MLOAD
00000c9c: DUP2
00000c9d: LT
00000c9e: PUSH2 0x0ca9
00000ca1: JUMPI
00000ca2: PUSH2 0x0ca9
00000ca5: PUSH2 0x268d
00000ca8: JUMP
00000ca9: JUMPDEST
00000caa: PUSH1 0x20
00000cac: SWAP1
00000cad: DUP2
00000cae: MUL
00000caf: SWAP2
00000cb0: SWAP1
00000cb1: SWAP2
00000cb2: ADD
00000cb3: ADD
00000cb4: MSTORE
00000cb5: PUSH1 0x01
00000cb7: ADD
00000cb8: PUSH2 0x0c6f
00000cbb: JUMP
00000cbc: JUMPDEST
00000cbd: POP
00000cbe: POP
00000cbf: POP
00000cc0: POP
00000cc1: SWAP3
00000cc2: SWAP2
00000cc3: POP
00000cc4: POP
00000cc5: JUMP
00000cc6: JUMPDEST
00000cc7: PUSH1 0x00
00000cc9: PUSH2 0x0cd1
00000ccc: DUP5
00000ccd: PUSH2 0x200f
00000cd0: JUMP
00000cd1: JUMPDEST
00000cd2: PUSH2 0x0dcc
00000cd5: JUMPI
00000cd6: PUSH1 0x40
00000cd8: DUP1
00000cd9: MLOAD
00000cda: PUSH1 0x28
00000cdc: DUP2
00000cdd: ADD
00000cde: DUP8
00000cdf: SWAP1
00000ce0: MSTORE
00000ce1: PUSH1 0x14
00000ce3: DUP2
00000ce4: ADD
00000ce5: DUP7
00000ce6: SWAP1
00000ce7: MSTORE
00000ce8: PUSH1 0x00
00000cea: DUP1
00000ceb: DUP3
00000cec: MSTORE
00000ced: PUSH1 0x48
00000cef: SWAP1
00000cf0: SWAP2
00000cf1: KECCAK256
00000cf2: PUSH1 0x08
00000cf4: SHL
00000cf5: PUSH1 0x01
00000cf7: OR
00000cf8: DUP2
00000cf9: MSTORE
00000cfa: PUSH1 0x20
00000cfc: DUP2
00000cfd: SWAP1
00000cfe: MSTORE
00000cff: KECCAK256
00000d00: PUSH2 0x0d0a
00000d03: SWAP1
00000d04: JUMPDEST
00000d05: DUP6
00000d06: PUSH2 0x2035
00000d09: JUMP
00000d0a: JUMPDEST
00000d0b: DUP1
00000d0c: PUSH2 0x0d4a
00000d0f: JUMPI
00000d10: POP
00000d11: PUSH1 0x40
00000d13: DUP1
00000d14: MLOAD
00000d15: PUSH1 0x3c
00000d17: DUP2
00000d18: ADD
00000d19: DUP6
00000d1a: SWAP1
00000d1b: MSTORE
00000d1c: PUSH1 0x28
00000d1e: DUP2
00000d1f: ADD
00000d20: DUP8
00000d21: SWAP1
00000d22: MSTORE
00000d23: PUSH1 0x14
00000d25: DUP2
00000d26: ADD
00000d27: DUP7
00000d28: SWAP1
00000d29: MSTORE
00000d2a: PUSH1 0x00
00000d2c: DUP1
00000d2d: DUP3
00000d2e: MSTORE
00000d2f: PUSH1 0x5c
00000d31: SWAP1
00000d32: SWAP2
00000d33: KECCAK256
00000d34: PUSH1 0x08
00000d36: SHL
00000d37: PUSH1 0x02
00000d39: OR
00000d3a: DUP2
00000d3b: MSTORE
00000d3c: PUSH1 0x20
00000d3e: DUP2
00000d3f: SWAP1
00000d40: MSTORE
00000d41: KECCAK256
00000d42: PUSH2 0x0d4a
00000d45: SWAP1
00000d46: PUSH2 0x0d04
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: SWAP1
00000d4c: POP
00000d4d: DUP1
00000d4e: ISZERO
00000d4f: ISZERO
00000d50: DUP3
00000d51: ISZERO
00000d52: OR
00000d53: PUSH2 0x0dcc
00000d56: JUMPI
00000d57: PUSH1 0x40
00000d59: DUP1
00000d5a: MLOAD
00000d5b: PUSH1 0x28
00000d5d: DUP2
00000d5e: ADD
00000d5f: DUP8
00000d60: SWAP1
00000d61: MSTORE
00000d62: PUSH1 0x14
00000d64: DUP2
00000d65: ADD
00000d66: DUP7
00000d67: SWAP1
00000d68: MSTORE
00000d69: DUP4
00000d6a: DUP2
00000d6b: MSTORE
00000d6c: PUSH1 0x48
00000d6e: SWAP1
00000d6f: KECCAK256
00000d70: PUSH1 0x08
00000d72: SHL
00000d73: PUSH1 0x01
00000d75: OR
00000d76: PUSH1 0x00
00000d78: SWAP1
00000d79: DUP2
00000d7a: MSTORE
00000d7b: PUSH1 0x20
00000d7d: DUP2
00000d7e: SWAP1
00000d7f: MSTORE
00000d80: KECCAK256
00000d81: PUSH2 0x0d89
00000d84: SWAP1
00000d85: PUSH2 0x0d04
00000d88: JUMP
00000d89: JUMPDEST
00000d8a: DUP1
00000d8b: PUSH2 0x0dc9
00000d8e: JUMPI
00000d8f: POP
00000d90: PUSH1 0x40
00000d92: DUP1
00000d93: MLOAD
00000d94: PUSH1 0x3c
00000d96: DUP2
00000d97: ADD
00000d98: DUP6
00000d99: SWAP1
00000d9a: MSTORE
00000d9b: PUSH1 0x28
00000d9d: DUP2
00000d9e: ADD
00000d9f: DUP8
00000da0: SWAP1
00000da1: MSTORE
00000da2: PUSH1 0x14
00000da4: DUP2
00000da5: ADD
00000da6: DUP7
00000da7: SWAP1
00000da8: MSTORE
00000da9: DUP4
00000daa: DUP2
00000dab: MSTORE
00000dac: PUSH1 0x5c
00000dae: SWAP1
00000daf: KECCAK256
00000db0: PUSH1 0x08
00000db2: SHL
00000db3: PUSH1 0x02
00000db5: OR
00000db6: PUSH1 0x00
00000db8: SWAP1
00000db9: DUP2
00000dba: MSTORE
00000dbb: PUSH1 0x20
00000dbd: DUP2
00000dbe: SWAP1
00000dbf: MSTORE
00000dc0: KECCAK256
00000dc1: PUSH2 0x0dc9
00000dc4: SWAP1
00000dc5: PUSH2 0x0d04
00000dc8: JUMP
00000dc9: JUMPDEST
00000dca: SWAP1
00000dcb: POP
00000dcc: JUMPDEST
00000dcd: DUP1
00000dce: ISZERO
00000dcf: ISZERO
00000dd0: PUSH1 0x00
00000dd2: MSTORE
00000dd3: PUSH1 0x20
00000dd5: PUSH1 0x00
00000dd7: RETURN
00000dd8: JUMPDEST
00000dd9: PUSH1 0x40
00000ddb: DUP1
00000ddc: MLOAD
00000ddd: PUSH1 0x5c
00000ddf: DUP2
00000de0: ADD
00000de1: DUP6
00000de2: SWAP1
00000de3: MSTORE
00000de4: PUSH1 0x3c
00000de6: DUP2
00000de7: ADD
00000de8: DUP7
00000de9: SWAP1
00000dea: MSTORE
00000deb: PUSH1 0x28
00000ded: DUP2
00000dee: ADD
00000def: DUP8
00000df0: SWAP1
00000df1: MSTORE
00000df2: CALLER
00000df3: PUSH1 0x14
00000df5: DUP3
00000df6: ADD
00000df7: MSTORE
00000df8: DUP4
00000df9: DUP2
00000dfa: MSTORE
00000dfb: PUSH1 0x7c
00000dfd: SWAP1
00000dfe: KECCAK256
00000dff: PUSH1 0x08
00000e01: SHL
00000e02: PUSH1 0x05
00000e04: OR
00000e05: PUSH1 0x00
00000e07: DUP2
00000e08: DUP2
00000e09: MSTORE
00000e0a: PUSH1 0x20
00000e0c: DUP2
00000e0d: SWAP1
00000e0e: MSTORE
00000e0f: SWAP2
00000e10: SWAP1
00000e11: SWAP2
00000e12: KECCAK256
00000e13: DUP1
00000e14: SLOAD
00000e15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e2a: AND
00000e2b: DUP4
00000e2c: ISZERO
00000e2d: PUSH2 0x0f9c
00000e30: JUMPI
00000e31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e46: DUP2
00000e47: AND
00000e48: PUSH2 0x0f02
00000e4b: JUMPI
00000e4c: CALLER
00000e4d: PUSH1 0x00
00000e4f: DUP2
00000e50: DUP2
00000e51: MSTORE
00000e52: PUSH1 0x01
00000e54: PUSH1 0x20
00000e56: DUP2
00000e57: DUP2
00000e58: MSTORE
00000e59: PUSH1 0x40
00000e5b: DUP1
00000e5c: DUP5
00000e5d: KECCAK256
00000e5e: DUP1
00000e5f: SLOAD
00000e60: DUP1
00000e61: DUP6
00000e62: ADD
00000e63: DUP3
00000e64: SSTORE
00000e65: SWAP1
00000e66: DUP6
00000e67: MSTORE
00000e68: DUP3
00000e69: DUP6
00000e6a: KECCAK256
00000e6b: ADD
00000e6c: DUP9
00000e6d: SWAP1
00000e6e: SSTORE
00000e6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e84: DUP14
00000e85: AND
00000e86: DUP1
00000e87: DUP6
00000e88: MSTORE
00000e89: PUSH1 0x02
00000e8b: DUP4
00000e8c: MSTORE
00000e8d: DUP2
00000e8e: DUP6
00000e8f: KECCAK256
00000e90: DUP1
00000e91: SLOAD
00000e92: DUP1
00000e93: DUP7
00000e94: ADD
00000e95: DUP3
00000e96: SSTORE
00000e97: SWAP1
00000e98: DUP7
00000e99: MSTORE
00000e9a: SWAP3
00000e9b: SWAP1
00000e9c: SWAP5
00000e9d: KECCAK256
00000e9e: SWAP1
00000e9f: SWAP2
00000ea0: ADD
00000ea1: DUP8
00000ea2: SWAP1
00000ea3: SSTORE
00000ea4: DUP11
00000ea5: SWAP1
00000ea6: SHL
00000ea7: PUSH28 0xffffffffffffffff0000000000000000000000000000000000000000
00000ec4: AND
00000ec5: SWAP1
00000ec6: SWAP3
00000ec7: OR
00000ec8: DUP5
00000ec9: SSTORE
00000eca: PUSH1 0xa0
00000ecc: DUP10
00000ecd: SWAP1
00000ece: SHL
00000ecf: OR
00000ed0: SWAP1
00000ed1: DUP4
00000ed2: ADD
00000ed3: SSTORE
00000ed4: PUSH2 0x0edf
00000ed7: DUP3
00000ed8: PUSH1 0x03
00000eda: DUP9
00000edb: SWAP2
00000edc: ADD
00000edd: SSTORE
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: PUSH2 0x0eeb
00000ee3: DUP3
00000ee4: PUSH1 0x04
00000ee6: DUP7
00000ee7: SWAP2
00000ee8: ADD
00000ee9: SSTORE
00000eea: JUMP
00000eeb: JUMPDEST
00000eec: DUP5
00000eed: ISZERO
00000eee: PUSH2 0x0efd
00000ef1: JUMPI
00000ef2: PUSH2 0x0efd
00000ef5: DUP3
00000ef6: PUSH1 0x02
00000ef8: DUP8
00000ef9: SWAP2
00000efa: ADD
00000efb: SSTORE
00000efc: JUMP
00000efd: JUMPDEST
00000efe: PUSH2 0x0fea
00000f01: JUMP
00000f02: JUMPDEST
00000f03: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000f24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f39: DUP3
00000f3a: AND
00000f3b: ADD
00000f3c: PUSH2 0x0f73
00000f3f: JUMPI
00000f40: DUP2
00000f41: SLOAD
00000f42: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000f63: AND
00000f64: CALLER
00000f65: OR
00000f66: DUP3
00000f67: SSTORE
00000f68: PUSH2 0x0efd
00000f6b: DUP3
00000f6c: PUSH1 0x04
00000f6e: DUP7
00000f6f: SWAP2
00000f70: ADD
00000f71: SSTORE
00000f72: JUMP
00000f73: JUMPDEST
00000f74: CALLER
00000f75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f8a: DUP3
00000f8b: AND
00000f8c: SUB
00000f8d: PUSH2 0x0efd
00000f90: JUMPI
00000f91: PUSH2 0x0efd
00000f94: DUP3
00000f95: PUSH1 0x04
00000f97: DUP7
00000f98: SWAP2
00000f99: ADD
00000f9a: SSTORE
00000f9b: JUMP
00000f9c: JUMPDEST
00000f9d: CALLER
00000f9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb3: DUP3
00000fb4: AND
00000fb5: SUB
00000fb6: PUSH2 0x0fea
00000fb9: JUMPI
00000fba: DUP2
00000fbb: SLOAD
00000fbc: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000fdd: AND
00000fde: PUSH1 0x01
00000fe0: OR
00000fe1: DUP3
00000fe2: SSTORE
00000fe3: PUSH1 0x00
00000fe5: PUSH1 0x04
00000fe7: DUP4
00000fe8: ADD
00000fe9: SSTORE
00000fea: JUMPDEST
00000feb: PUSH1 0x40
00000fed: DUP1
00000fee: MLOAD
00000fef: DUP8
00000ff0: DUP2
00000ff1: MSTORE
00000ff2: PUSH1 0x20
00000ff4: DUP2
00000ff5: ADD
00000ff6: DUP8
00000ff7: SWAP1
00000ff8: MSTORE
00000ff9: SWAP1
00000ffa: DUP2
00000ffb: ADD
00000ffc: DUP6
00000ffd: SWAP1
00000ffe: MSTORE
00000fff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001014: DUP1
00001015: DUP10
00001016: AND
00001017: SWAP2
00001018: SWAP1
00001019: DUP11
0000101a: AND
0000101b: SWAP1
0000101c: CALLER
0000101d: SWAP1
0000101e: PUSH32 0x27ab1adc9bca76301ed7a691320766dfa4b4b1aa32c9e05cf789611be7f8c75f
0000103f: SWAP1
00001040: PUSH1 0x60
00001042: ADD
00001043: JUMPDEST
00001044: PUSH1 0x40
00001046: MLOAD
00001047: DUP1
00001048: SWAP2
00001049: SUB
0000104a: SWAP1
0000104b: LOG4
0000104c: POP
0000104d: POP
0000104e: SWAP6
0000104f: SWAP5
00001050: POP
00001051: POP
00001052: POP
00001053: POP
00001054: POP
00001055: JUMP
00001056: JUMPDEST
00001057: PUSH1 0x60
00001059: DUP2
0000105a: PUSH8 0xffffffffffffffff
00001063: DUP2
00001064: GT
00001065: ISZERO
00001066: PUSH2 0x1071
00001069: JUMPI
0000106a: PUSH2 0x1071
0000106d: PUSH2 0x265e
00001070: JUMP
00001071: JUMPDEST
00001072: PUSH1 0x40
00001074: MLOAD
00001075: SWAP1
00001076: DUP1
00001077: DUP3
00001078: MSTORE
00001079: DUP1
0000107a: PUSH1 0x20
0000107c: MUL
0000107d: PUSH1 0x20
0000107f: ADD
00001080: DUP3
00001081: ADD
00001082: PUSH1 0x40
00001084: MSTORE
00001085: DUP1
00001086: ISZERO
00001087: PUSH2 0x10a4
0000108a: JUMPI
0000108b: DUP2
0000108c: PUSH1 0x20
0000108e: ADD
0000108f: JUMPDEST
00001090: PUSH1 0x60
00001092: DUP2
00001093: MSTORE
00001094: PUSH1 0x20
00001096: ADD
00001097: SWAP1
00001098: PUSH1 0x01
0000109a: SWAP1
0000109b: SUB
0000109c: SWAP1
0000109d: DUP2
0000109e: PUSH2 0x108f
000010a1: JUMPI
000010a2: SWAP1
000010a3: POP
000010a4: JUMPDEST
000010a5: POP
000010a6: SWAP1
000010a7: POP
000010a8: PUSH1 0x00
000010aa: DUP1
000010ab: JUMPDEST
000010ac: DUP4
000010ad: DUP2
000010ae: LT
000010af: ISZERO
000010b0: PUSH2 0x1185
000010b3: JUMPI
000010b4: ADDRESS
000010b5: DUP6
000010b6: DUP6
000010b7: DUP4
000010b8: DUP2
000010b9: DUP2
000010ba: LT
000010bb: PUSH2 0x10c6
000010be: JUMPI
000010bf: PUSH2 0x10c6
000010c2: PUSH2 0x268d
000010c5: JUMP
000010c6: JUMPDEST
000010c7: SWAP1
000010c8: POP
000010c9: PUSH1 0x20
000010cb: MUL
000010cc: DUP2
000010cd: ADD
000010ce: SWAP1
000010cf: PUSH2 0x10d8
000010d2: SWAP2
000010d3: SWAP1
000010d4: PUSH2 0x26bc
000010d7: JUMP
000010d8: JUMPDEST
000010d9: PUSH1 0x40
000010db: MLOAD
000010dc: PUSH2 0x10e6
000010df: SWAP3
000010e0: SWAP2
000010e1: SWAP1
000010e2: PUSH2 0x2721
000010e5: JUMP
000010e6: JUMPDEST
000010e7: PUSH1 0x00
000010e9: PUSH1 0x40
000010eb: MLOAD
000010ec: DUP1
000010ed: DUP4
000010ee: SUB
000010ef: DUP2
000010f0: DUP6
000010f1: GAS
000010f2: DELEGATECALL
000010f3: SWAP2
000010f4: POP
000010f5: POP
000010f6: RETURNDATASIZE
000010f7: DUP1
000010f8: PUSH1 0x00
000010fa: DUP2
000010fb: EQ
000010fc: PUSH2 0x1121
000010ff: JUMPI
00001100: PUSH1 0x40
00001102: MLOAD
00001103: SWAP2
00001104: POP
00001105: PUSH1 0x1f
00001107: NOT
00001108: PUSH1 0x3f
0000110a: RETURNDATASIZE
0000110b: ADD
0000110c: AND
0000110d: DUP3
0000110e: ADD
0000110f: PUSH1 0x40
00001111: MSTORE
00001112: RETURNDATASIZE
00001113: DUP3
00001114: MSTORE
00001115: RETURNDATASIZE
00001116: PUSH1 0x00
00001118: PUSH1 0x20
0000111a: DUP5
0000111b: ADD
0000111c: RETURNDATACOPY
0000111d: PUSH2 0x1126
00001120: JUMP
00001121: JUMPDEST
00001122: PUSH1 0x60
00001124: SWAP2
00001125: POP
00001126: JUMPDEST
00001127: POP
00001128: DUP5
00001129: DUP4
0000112a: DUP2
0000112b: MLOAD
0000112c: DUP2
0000112d: LT
0000112e: PUSH2 0x1139
00001131: JUMPI
00001132: PUSH2 0x1139
00001135: PUSH2 0x268d
00001138: JUMP
00001139: JUMPDEST
0000113a: PUSH1 0x20
0000113c: SWAP1
0000113d: DUP2
0000113e: MUL
0000113f: SWAP2
00001140: SWAP1
00001141: SWAP2
00001142: ADD
00001143: ADD
00001144: MSTORE
00001145: SWAP2
00001146: POP
00001147: DUP2
00001148: PUSH2 0x117d
0000114b: JUMPI
0000114c: PUSH1 0x40
0000114e: MLOAD
0000114f: PUSH32 0x4d6a232800000000000000000000000000000000000000000000000000000000
00001170: DUP2
00001171: MSTORE
00001172: PUSH1 0x04
00001174: ADD
00001175: PUSH1 0x40
00001177: MLOAD
00001178: DUP1
00001179: SWAP2
0000117a: SUB
0000117b: SWAP1
0000117c: REVERT
0000117d: JUMPDEST
0000117e: PUSH1 0x01
00001180: ADD
00001181: PUSH2 0x10ab
00001184: JUMP
00001185: JUMPDEST
00001186: POP
00001187: POP
00001188: SWAP3
00001189: SWAP2
0000118a: POP
0000118b: POP
0000118c: JUMP
0000118d: JUMPDEST
0000118e: PUSH1 0x40
00001190: DUP1
00001191: MLOAD
00001192: PUSH1 0x5c
00001194: DUP2
00001195: ADD
00001196: DUP6
00001197: SWAP1
00001198: MSTORE
00001199: PUSH1 0x3c
0000119b: DUP2
0000119c: ADD
0000119d: DUP7
0000119e: SWAP1
0000119f: MSTORE
000011a0: PUSH1 0x28
000011a2: DUP2
000011a3: ADD
000011a4: DUP8
000011a5: SWAP1
000011a6: MSTORE
000011a7: CALLER
000011a8: PUSH1 0x14
000011aa: DUP3
000011ab: ADD
000011ac: MSTORE
000011ad: DUP4
000011ae: DUP2
000011af: MSTORE
000011b0: PUSH1 0x7c
000011b2: SWAP1
000011b3: KECCAK256
000011b4: PUSH1 0x08
000011b6: SHL
000011b7: PUSH1 0x03
000011b9: OR
000011ba: PUSH1 0x00
000011bc: DUP2
000011bd: DUP2
000011be: MSTORE
000011bf: PUSH1 0x20
000011c1: DUP2
000011c2: SWAP1
000011c3: MSTORE
000011c4: SWAP2
000011c5: SWAP1
000011c6: SWAP2
000011c7: KECCAK256
000011c8: DUP1
000011c9: SLOAD
000011ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011df: AND
000011e0: DUP4
000011e1: ISZERO
000011e2: PUSH2 0x1315
000011e5: JUMPI
000011e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fb: DUP2
000011fc: AND
000011fd: PUSH2 0x12ab
00001200: JUMPI
00001201: CALLER
00001202: PUSH1 0x00
00001204: DUP2
00001205: DUP2
00001206: MSTORE
00001207: PUSH1 0x01
00001209: PUSH1 0x20
0000120b: DUP2
0000120c: DUP2
0000120d: MSTORE
0000120e: PUSH1 0x40
00001210: DUP1
00001211: DUP5
00001212: KECCAK256
00001213: DUP1
00001214: SLOAD
00001215: DUP1
00001216: DUP6
00001217: ADD
00001218: DUP3
00001219: SSTORE
0000121a: SWAP1
0000121b: DUP6
0000121c: MSTORE
0000121d: DUP3
0000121e: DUP6
0000121f: KECCAK256
00001220: ADD
00001221: DUP9
00001222: SWAP1
00001223: SSTORE
00001224: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001239: DUP14
0000123a: AND
0000123b: DUP1
0000123c: DUP6
0000123d: MSTORE
0000123e: PUSH1 0x02
00001240: DUP4
00001241: MSTORE
00001242: DUP2
00001243: DUP6
00001244: KECCAK256
00001245: DUP1
00001246: SLOAD
00001247: DUP1
00001248: DUP7
00001249: ADD
0000124a: DUP3
0000124b: SSTORE
0000124c: SWAP1
0000124d: DUP7
0000124e: MSTORE
0000124f: SWAP3
00001250: SWAP1
00001251: SWAP5
00001252: KECCAK256
00001253: SWAP1
00001254: SWAP2
00001255: ADD
00001256: DUP8
00001257: SWAP1
00001258: SSTORE
00001259: DUP11
0000125a: SWAP1
0000125b: SHL
0000125c: PUSH28 0xffffffffffffffff0000000000000000000000000000000000000000
00001279: AND
0000127a: SWAP1
0000127b: SWAP3
0000127c: OR
0000127d: DUP5
0000127e: SSTORE
0000127f: PUSH1 0xa0
00001281: DUP10
00001282: SWAP1
00001283: SHL
00001284: OR
00001285: SWAP1
00001286: DUP4
00001287: ADD
00001288: SSTORE
00001289: PUSH2 0x1294
0000128c: DUP3
0000128d: PUSH1 0x03
0000128f: DUP9
00001290: SWAP2
00001291: ADD
00001292: SSTORE
00001293: JUMP
00001294: JUMPDEST
00001295: DUP5
00001296: ISZERO
00001297: PUSH2 0x12a6
0000129a: JUMPI
0000129b: PUSH2 0x12a6
0000129e: DUP3
0000129f: PUSH1 0x02
000012a1: DUP8
000012a2: SWAP2
000012a3: ADD
000012a4: SSTORE
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH2 0x135c
000012aa: JUMP
000012ab: JUMPDEST
000012ac: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000012cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e2: DUP3
000012e3: AND
000012e4: ADD
000012e5: PUSH2 0x12a6
000012e8: JUMPI
000012e9: DUP2
000012ea: SLOAD
000012eb: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000130c: AND
0000130d: CALLER
0000130e: OR
0000130f: DUP3
00001310: SSTORE
00001311: PUSH2 0x135c
00001314: JUMP
00001315: JUMPDEST
00001316: CALLER
00001317: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000132c: DUP3
0000132d: AND
0000132e: SUB
0000132f: PUSH2 0x135c
00001332: JUMPI
00001333: DUP2
00001334: SLOAD
00001335: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001356: AND
00001357: PUSH1 0x01
00001359: OR
0000135a: DUP3
0000135b: SSTORE
0000135c: JUMPDEST
0000135d: PUSH1 0x40
0000135f: DUP1
00001360: MLOAD
00001361: DUP8
00001362: DUP2
00001363: MSTORE
00001364: PUSH1 0x20
00001366: DUP2
00001367: ADD
00001368: DUP8
00001369: SWAP1
0000136a: MSTORE
0000136b: DUP6
0000136c: ISZERO
0000136d: ISZERO
0000136e: SWAP2
0000136f: DUP2
00001370: ADD
00001371: SWAP2
00001372: SWAP1
00001373: SWAP2
00001374: MSTORE
00001375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138a: DUP1
0000138b: DUP10
0000138c: AND
0000138d: SWAP2
0000138e: SWAP1
0000138f: DUP11
00001390: AND
00001391: SWAP1
00001392: CALLER
00001393: SWAP1
00001394: PUSH32 0x15e7a1bdcd507dd632d797d38e60cc5a9c0749b9a63097a215c4d006126825c6
000013b5: SWAP1
000013b6: PUSH1 0x60
000013b8: ADD
000013b9: PUSH2 0x1043
000013bc: JUMP
000013bd: JUMPDEST
000013be: PUSH1 0x00
000013c0: PUSH2 0x13c8
000013c3: DUP6
000013c4: PUSH2 0x200f
000013c7: JUMP
000013c8: JUMPDEST
000013c9: PUSH2 0x15ce
000013cc: JUMPI
000013cd: PUSH1 0x40
000013cf: DUP1
000013d0: MLOAD
000013d1: PUSH1 0x28
000013d3: DUP2
000013d4: ADD
000013d5: DUP9
000013d6: SWAP1
000013d7: MSTORE
000013d8: PUSH1 0x14
000013da: DUP2
000013db: ADD
000013dc: DUP8
000013dd: SWAP1
000013de: MSTORE
000013df: PUSH1 0x00
000013e1: DUP1
000013e2: DUP3
000013e3: MSTORE
000013e4: PUSH1 0x48
000013e6: SWAP1
000013e7: SWAP2
000013e8: KECCAK256
000013e9: PUSH1 0x08
000013eb: SHL
000013ec: PUSH1 0x01
000013ee: OR
000013ef: DUP2
000013f0: MSTORE
000013f1: PUSH1 0x20
000013f3: DUP2
000013f4: SWAP1
000013f5: MSTORE
000013f6: KECCAK256
000013f7: PUSH2 0x1401
000013fa: SWAP1
000013fb: JUMPDEST
000013fc: DUP7
000013fd: PUSH2 0x2035
00001400: JUMP
00001401: JUMPDEST
00001402: DUP1
00001403: PUSH2 0x1441
00001406: JUMPI
00001407: POP
00001408: PUSH1 0x40
0000140a: DUP1
0000140b: MLOAD
0000140c: PUSH1 0x3c
0000140e: DUP2
0000140f: ADD
00001410: DUP7
00001411: SWAP1
00001412: MSTORE
00001413: PUSH1 0x28
00001415: DUP2
00001416: ADD
00001417: DUP9
00001418: SWAP1
00001419: MSTORE
0000141a: PUSH1 0x14
0000141c: DUP2
0000141d: ADD
0000141e: DUP8
0000141f: SWAP1
00001420: MSTORE
00001421: PUSH1 0x00
00001423: DUP1
00001424: DUP3
00001425: MSTORE
00001426: PUSH1 0x5c
00001428: SWAP1
00001429: SWAP2
0000142a: KECCAK256
0000142b: PUSH1 0x08
0000142d: SHL
0000142e: PUSH1 0x02
00001430: OR
00001431: DUP2
00001432: MSTORE
00001433: PUSH1 0x20
00001435: DUP2
00001436: SWAP1
00001437: MSTORE
00001438: KECCAK256
00001439: PUSH2 0x1441
0000143c: SWAP1
0000143d: PUSH2 0x13fb
00001440: JUMP
00001441: JUMPDEST
00001442: PUSH2 0x148e
00001445: JUMPI
00001446: PUSH1 0x40
00001448: DUP1
00001449: MLOAD
0000144a: PUSH1 0x5c
0000144c: DUP2
0000144d: ADD
0000144e: DUP6
0000144f: SWAP1
00001450: MSTORE
00001451: PUSH1 0x3c
00001453: DUP2
00001454: ADD
00001455: DUP7
00001456: SWAP1
00001457: MSTORE
00001458: PUSH1 0x28
0000145a: DUP2
0000145b: ADD
0000145c: DUP9
0000145d: SWAP1
0000145e: MSTORE
0000145f: PUSH1 0x14
00001461: DUP2
00001462: ADD
00001463: DUP8
00001464: SWAP1
00001465: MSTORE
00001466: PUSH1 0x00
00001468: DUP1
00001469: DUP3
0000146a: MSTORE
0000146b: PUSH1 0x7c
0000146d: SWAP1
0000146e: SWAP2
0000146f: KECCAK256
00001470: PUSH1 0x08
00001472: SHL
00001473: PUSH1 0x05
00001475: OR
00001476: DUP2
00001477: MSTORE
00001478: PUSH1 0x20
0000147a: DUP2
0000147b: SWAP1
0000147c: MSTORE
0000147d: KECCAK256
0000147e: PUSH2 0x1489
00001481: SWAP1
00001482: JUMPDEST
00001483: PUSH1 0x04
00001485: ADD
00001486: SLOAD
00001487: SWAP1
00001488: JUMP
00001489: JUMPDEST
0000148a: PUSH2 0x14b0
0000148d: JUMP
0000148e: JUMPDEST
0000148f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000014b0: JUMPDEST
000014b1: SWAP1
000014b2: POP
000014b3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000014d4: DUP2
000014d5: EQ
000014d6: DUP3
000014d7: ISZERO
000014d8: OR
000014d9: PUSH2 0x15ce
000014dc: JUMPI
000014dd: PUSH1 0x40
000014df: DUP1
000014e0: MLOAD
000014e1: PUSH1 0x28
000014e3: DUP2
000014e4: ADD
000014e5: DUP9
000014e6: SWAP1
000014e7: MSTORE
000014e8: PUSH1 0x14
000014ea: DUP2
000014eb: ADD
000014ec: DUP8
000014ed: SWAP1
000014ee: MSTORE
000014ef: DUP4
000014f0: DUP2
000014f1: MSTORE
000014f2: PUSH1 0x48
000014f4: SWAP1
000014f5: KECCAK256
000014f6: PUSH1 0x08
000014f8: SHL
000014f9: PUSH1 0x01
000014fb: OR
000014fc: PUSH1 0x00
000014fe: SWAP1
000014ff: DUP2
00001500: MSTORE
00001501: PUSH1 0x20
00001503: DUP2
00001504: SWAP1
00001505: MSTORE
00001506: SWAP1
00001507: DUP2
00001508: KECCAK256
00001509: PUSH2 0x1513
0000150c: SWAP1
0000150d: JUMPDEST
0000150e: DUP8
0000150f: PUSH2 0x2035
00001512: JUMP
00001513: JUMPDEST
00001514: DUP1
00001515: PUSH2 0x1553
00001518: JUMPI
00001519: POP
0000151a: PUSH1 0x40
0000151c: DUP1
0000151d: MLOAD
0000151e: PUSH1 0x3c
00001520: DUP2
00001521: ADD
00001522: DUP8
00001523: SWAP1
00001524: MSTORE
00001525: PUSH1 0x28
00001527: DUP2
00001528: ADD
00001529: DUP10
0000152a: SWAP1
0000152b: MSTORE
0000152c: PUSH1 0x14
0000152e: DUP2
0000152f: ADD
00001530: DUP9
00001531: SWAP1
00001532: MSTORE
00001533: DUP5
00001534: DUP2
00001535: MSTORE
00001536: PUSH1 0x5c
00001538: SWAP1
00001539: KECCAK256
0000153a: PUSH1 0x08
0000153c: SHL
0000153d: PUSH1 0x02
0000153f: OR
00001540: PUSH1 0x00
00001542: SWAP1
00001543: DUP2
00001544: MSTORE
00001545: PUSH1 0x20
00001547: DUP2
00001548: SWAP1
00001549: MSTORE
0000154a: KECCAK256
0000154b: PUSH2 0x1553
0000154e: SWAP1
0000154f: PUSH2 0x150d
00001552: JUMP
00001553: JUMPDEST
00001554: PUSH2 0x159d
00001557: JUMPI
00001558: PUSH1 0x40
0000155a: DUP1
0000155b: MLOAD
0000155c: PUSH1 0x5c
0000155e: DUP2
0000155f: ADD
00001560: DUP7
00001561: SWAP1
00001562: MSTORE
00001563: PUSH1 0x3c
00001565: DUP2
00001566: ADD
00001567: DUP8
00001568: SWAP1
00001569: MSTORE
0000156a: PUSH1 0x28
0000156c: DUP2
0000156d: ADD
0000156e: DUP10
0000156f: SWAP1
00001570: MSTORE
00001571: PUSH1 0x14
00001573: DUP2
00001574: ADD
00001575: DUP9
00001576: SWAP1
00001577: MSTORE
00001578: DUP5
00001579: DUP2
0000157a: MSTORE
0000157b: PUSH1 0x7c
0000157d: SWAP1
0000157e: KECCAK256
0000157f: PUSH1 0x08
00001581: SHL
00001582: PUSH1 0x05
00001584: OR
00001585: PUSH1 0x00
00001587: SWAP1
00001588: DUP2
00001589: MSTORE
0000158a: PUSH1 0x20
0000158c: DUP2
0000158d: SWAP1
0000158e: MSTORE
0000158f: KECCAK256
00001590: PUSH2 0x1598
00001593: SWAP1
00001594: PUSH2 0x1482
00001597: JUMP
00001598: JUMPDEST
00001599: PUSH2 0x15bf
0000159c: JUMP
0000159d: JUMPDEST
0000159e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000015bf: JUMPDEST
000015c0: SWAP1
000015c1: POP
000015c2: DUP2
000015c3: DUP2
000015c4: LT
000015c5: DUP3
000015c6: DUP3
000015c7: XOR
000015c8: MUL
000015c9: DUP2
000015ca: XOR
000015cb: SWAP2
000015cc: POP
000015cd: POP
000015ce: JUMPDEST
000015cf: DUP1
000015d0: PUSH1 0x00
000015d2: MSTORE
000015d3: PUSH1 0x20
000015d5: PUSH1 0x00
000015d7: RETURN
000015d8: JUMPDEST
000015d9: PUSH1 0x00
000015db: PUSH2 0x15e3
000015de: DUP6
000015df: PUSH2 0x200f
000015e2: JUMP
000015e3: JUMPDEST
000015e4: PUSH2 0x0dcc
000015e7: JUMPI
000015e8: PUSH1 0x40
000015ea: DUP1
000015eb: MLOAD
000015ec: PUSH1 0x28
000015ee: DUP2
000015ef: ADD
000015f0: DUP9
000015f1: SWAP1
000015f2: MSTORE
000015f3: PUSH1 0x14
000015f5: DUP2
000015f6: ADD
000015f7: DUP8
000015f8: SWAP1
000015f9: MSTORE
000015fa: PUSH1 0x00
000015fc: DUP1
000015fd: DUP3
000015fe: MSTORE
000015ff: PUSH1 0x48
00001601: SWAP1
00001602: SWAP2
00001603: KECCAK256
00001604: PUSH1 0x08
00001606: SHL
00001607: PUSH1 0x01
00001609: OR
0000160a: DUP2
0000160b: MSTORE
0000160c: PUSH1 0x20
0000160e: DUP2
0000160f: SWAP1
00001610: MSTORE
00001611: KECCAK256
00001612: PUSH2 0x161a
00001615: SWAP1
00001616: PUSH2 0x13fb
00001619: JUMP
0000161a: JUMPDEST
0000161b: DUP1
0000161c: PUSH2 0x165a
0000161f: JUMPI
00001620: POP
00001621: PUSH1 0x40
00001623: DUP1
00001624: MLOAD
00001625: PUSH1 0x3c
00001627: DUP2
00001628: ADD
00001629: DUP7
0000162a: SWAP1
0000162b: MSTORE
0000162c: PUSH1 0x28
0000162e: DUP2
0000162f: ADD
00001630: DUP9
00001631: SWAP1
00001632: MSTORE
00001633: PUSH1 0x14
00001635: DUP2
00001636: ADD
00001637: DUP8
00001638: SWAP1
00001639: MSTORE
0000163a: PUSH1 0x00
0000163c: DUP1
0000163d: DUP3
0000163e: MSTORE
0000163f: PUSH1 0x5c
00001641: SWAP1
00001642: SWAP2
00001643: KECCAK256
00001644: PUSH1 0x08
00001646: SHL
00001647: PUSH1 0x02
00001649: OR
0000164a: DUP2
0000164b: MSTORE
0000164c: PUSH1 0x20
0000164e: DUP2
0000164f: SWAP1
00001650: MSTORE
00001651: KECCAK256
00001652: PUSH2 0x165a
00001655: SWAP1
00001656: PUSH2 0x13fb
00001659: JUMP
0000165a: JUMPDEST
0000165b: DUP1
0000165c: PUSH2 0x16a1
0000165f: JUMPI
00001660: POP
00001661: PUSH1 0x40
00001663: DUP1
00001664: MLOAD
00001665: PUSH1 0x5c
00001667: DUP2
00001668: ADD
00001669: DUP6
0000166a: SWAP1
0000166b: MSTORE
0000166c: PUSH1 0x3c
0000166e: DUP2
0000166f: ADD
00001670: DUP7
00001671: SWAP1
00001672: MSTORE
00001673: PUSH1 0x28
00001675: DUP2
00001676: ADD
00001677: DUP9
00001678: SWAP1
00001679: MSTORE
0000167a: PUSH1 0x14
0000167c: DUP2
0000167d: ADD
0000167e: DUP8
0000167f: SWAP1
00001680: MSTORE
00001681: PUSH1 0x00
00001683: DUP1
00001684: DUP3
00001685: MSTORE
00001686: PUSH1 0x7c
00001688: SWAP1
00001689: SWAP2
0000168a: KECCAK256
0000168b: PUSH1 0x08
0000168d: SHL
0000168e: PUSH1 0x03
00001690: OR
00001691: DUP2
00001692: MSTORE
00001693: PUSH1 0x20
00001695: DUP2
00001696: SWAP1
00001697: MSTORE
00001698: KECCAK256
00001699: PUSH2 0x16a1
0000169c: SWAP1
0000169d: PUSH2 0x13fb
000016a0: JUMP
000016a1: JUMPDEST
000016a2: SWAP1
000016a3: POP
000016a4: DUP1
000016a5: ISZERO
000016a6: ISZERO
000016a7: DUP3
000016a8: ISZERO
000016a9: OR
000016aa: PUSH2 0x0dcc
000016ad: JUMPI
000016ae: PUSH1 0x40
000016b0: DUP1
000016b1: MLOAD
000016b2: PUSH1 0x28
000016b4: DUP2
000016b5: ADD
000016b6: DUP9
000016b7: SWAP1
000016b8: MSTORE
000016b9: PUSH1 0x14
000016bb: DUP2
000016bc: ADD
000016bd: DUP8
000016be: SWAP1
000016bf: MSTORE
000016c0: DUP4
000016c1: DUP2
000016c2: MSTORE
000016c3: PUSH1 0x48
000016c5: SWAP1
000016c6: KECCAK256
000016c7: PUSH1 0x08
000016c9: SHL
000016ca: PUSH1 0x01
000016cc: OR
000016cd: PUSH1 0x00
000016cf: SWAP1
000016d0: DUP2
000016d1: MSTORE
000016d2: PUSH1 0x20
000016d4: DUP2
000016d5: SWAP1
000016d6: MSTORE
000016d7: KECCAK256
000016d8: PUSH2 0x16e0
000016db: SWAP1
000016dc: PUSH2 0x13fb
000016df: JUMP
000016e0: JUMPDEST
000016e1: DUP1
000016e2: PUSH2 0x1720
000016e5: JUMPI
000016e6: POP
000016e7: PUSH1 0x40
000016e9: DUP1
000016ea: MLOAD
000016eb: PUSH1 0x3c
000016ed: DUP2
000016ee: ADD
000016ef: DUP7
000016f0: SWAP1
000016f1: MSTORE
000016f2: PUSH1 0x28
000016f4: DUP2
000016f5: ADD
000016f6: DUP9
000016f7: SWAP1
000016f8: MSTORE
000016f9: PUSH1 0x14
000016fb: DUP2
000016fc: ADD
000016fd: DUP8
000016fe: SWAP1
000016ff: MSTORE
00001700: DUP4
00001701: DUP2
00001702: MSTORE
00001703: PUSH1 0x5c
00001705: SWAP1
00001706: KECCAK256
00001707: PUSH1 0x08
00001709: SHL
0000170a: PUSH1 0x02
0000170c: OR
0000170d: PUSH1 0x00
0000170f: SWAP1
00001710: DUP2
00001711: MSTORE
00001712: PUSH1 0x20
00001714: DUP2
00001715: SWAP1
00001716: MSTORE
00001717: KECCAK256
00001718: PUSH2 0x1720
0000171b: SWAP1
0000171c: PUSH2 0x13fb
0000171f: JUMP
00001720: JUMPDEST
00001721: DUP1
00001722: PUSH2 0x0dc9
00001725: JUMPI
00001726: POP
00001727: PUSH1 0x40
00001729: DUP1
0000172a: MLOAD
0000172b: PUSH1 0x5c
0000172d: DUP2
0000172e: ADD
0000172f: DUP6
00001730: SWAP1
00001731: MSTORE
00001732: PUSH1 0x3c
00001734: DUP2
00001735: ADD
00001736: DUP7
00001737: SWAP1
00001738: MSTORE
00001739: PUSH1 0x28
0000173b: DUP2
0000173c: ADD
0000173d: DUP9
0000173e: SWAP1
0000173f: MSTORE
00001740: PUSH1 0x14
00001742: DUP2
00001743: ADD
00001744: DUP8
00001745: SWAP1
00001746: MSTORE
00001747: DUP4
00001748: DUP2
00001749: MSTORE
0000174a: PUSH1 0x7c
0000174c: SWAP1
0000174d: KECCAK256
0000174e: PUSH1 0x08
00001750: SHL
00001751: PUSH1 0x03
00001753: OR
00001754: PUSH1 0x00
00001756: SWAP1
00001757: DUP2
00001758: MSTORE
00001759: PUSH1 0x20
0000175b: DUP2
0000175c: SWAP1
0000175d: MSTORE
0000175e: KECCAK256
0000175f: PUSH2 0x0dc9
00001762: SWAP1
00001763: PUSH2 0x13fb
00001766: JUMP
00001767: JUMPDEST
00001768: PUSH1 0x00
0000176a: PUSH2 0x1772
0000176d: DUP5
0000176e: PUSH2 0x200f
00001771: JUMP
00001772: JUMPDEST
00001773: PUSH2 0x15ce
00001776: JUMPI
00001777: PUSH1 0x40
00001779: DUP1
0000177a: MLOAD
0000177b: PUSH1 0x28
0000177d: DUP2
0000177e: ADD
0000177f: DUP8
00001780: SWAP1
00001781: MSTORE
00001782: PUSH1 0x14
00001784: DUP2
00001785: ADD
00001786: DUP7
00001787: SWAP1
00001788: MSTORE
00001789: PUSH1 0x00
0000178b: DUP1
0000178c: DUP3
0000178d: MSTORE
0000178e: PUSH1 0x48
00001790: SWAP1
00001791: SWAP2
00001792: KECCAK256
00001793: PUSH1 0x08
00001795: SHL
00001796: PUSH1 0x01
00001798: OR
00001799: DUP2
0000179a: MSTORE
0000179b: PUSH1 0x20
0000179d: DUP2
0000179e: SWAP1
0000179f: MSTORE
000017a0: KECCAK256
000017a1: PUSH2 0x17a9
000017a4: SWAP1
000017a5: PUSH2 0x0d04
000017a8: JUMP
000017a9: JUMPDEST
000017aa: DUP1
000017ab: PUSH2 0x17e9
000017ae: JUMPI
000017af: POP
000017b0: PUSH1 0x40
000017b2: DUP1
000017b3: MLOAD
000017b4: PUSH1 0x3c
000017b6: DUP2
000017b7: ADD
000017b8: DUP6
000017b9: SWAP1
000017ba: MSTORE
000017bb: PUSH1 0x28
000017bd: DUP2
000017be: ADD
000017bf: DUP8
000017c0: SWAP1
000017c1: MSTORE
000017c2: PUSH1 0x14
000017c4: DUP2
000017c5: ADD
000017c6: DUP7
000017c7: SWAP1
000017c8: MSTORE
000017c9: PUSH1 0x00
000017cb: DUP1
000017cc: DUP3
000017cd: MSTORE
000017ce: PUSH1 0x5c
000017d0: SWAP1
000017d1: SWAP2
000017d2: KECCAK256
000017d3: PUSH1 0x08
000017d5: SHL
000017d6: PUSH1 0x02
000017d8: OR
000017d9: DUP2
000017da: MSTORE
000017db: PUSH1 0x20
000017dd: DUP2
000017de: SWAP1
000017df: MSTORE
000017e0: KECCAK256
000017e1: PUSH2 0x17e9
000017e4: SWAP1
000017e5: PUSH2 0x0d04
000017e8: JUMP
000017e9: JUMPDEST
000017ea: PUSH2 0x182c
000017ed: JUMPI
000017ee: PUSH1 0x40
000017f0: DUP1
000017f1: MLOAD
000017f2: PUSH1 0x3c
000017f4: DUP2
000017f5: ADD
000017f6: DUP6
000017f7: SWAP1
000017f8: MSTORE
000017f9: PUSH1 0x28
000017fb: DUP2
000017fc: ADD
000017fd: DUP8
000017fe: SWAP1
000017ff: MSTORE
00001800: PUSH1 0x14
00001802: DUP2
00001803: ADD
00001804: DUP7
00001805: SWAP1
00001806: MSTORE
00001807: PUSH1 0x00
00001809: DUP1
0000180a: DUP3
0000180b: MSTORE
0000180c: PUSH1 0x5c
0000180e: SWAP1
0000180f: SWAP2
00001810: KECCAK256
00001811: PUSH1 0x08
00001813: SHL
00001814: PUSH1 0x04
00001816: OR
00001817: DUP2
00001818: MSTORE
00001819: PUSH1 0x20
0000181b: DUP2
0000181c: SWAP1
0000181d: MSTORE
0000181e: KECCAK256
0000181f: PUSH2 0x1827
00001822: SWAP1
00001823: PUSH2 0x1482
00001826: JUMP
00001827: JUMPDEST
00001828: PUSH2 0x184e
0000182b: JUMP
0000182c: JUMPDEST
0000182d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000184e: JUMPDEST
0000184f: SWAP1
00001850: POP
00001851: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001872: DUP2
00001873: EQ
00001874: DUP3
00001875: ISZERO
00001876: OR
00001877: PUSH2 0x15ce
0000187a: JUMPI
0000187b: PUSH1 0x40
0000187d: DUP1
0000187e: MLOAD
0000187f: PUSH1 0x28
00001881: DUP2
00001882: ADD
00001883: DUP8
00001884: SWAP1
00001885: MSTORE
00001886: PUSH1 0x14
00001888: DUP2
00001889: ADD
0000188a: DUP7
0000188b: SWAP1
0000188c: MSTORE
0000188d: DUP4
0000188e: DUP2
0000188f: MSTORE
00001890: PUSH1 0x48
00001892: SWAP1
00001893: KECCAK256
00001894: PUSH1 0x08
00001896: SHL
00001897: PUSH1 0x01
00001899: OR
0000189a: PUSH1 0x00
0000189c: SWAP1
0000189d: DUP2
0000189e: MSTORE
0000189f: PUSH1 0x20
000018a1: DUP2
000018a2: SWAP1
000018a3: MSTORE
000018a4: SWAP1
000018a5: DUP2
000018a6: KECCAK256
000018a7: PUSH2 0x18af
000018aa: SWAP1
000018ab: PUSH2 0x13fb
000018ae: JUMP
000018af: JUMPDEST
000018b0: DUP1
000018b1: PUSH2 0x18ef
000018b4: JUMPI
000018b5: POP
000018b6: PUSH1 0x40
000018b8: DUP1
000018b9: MLOAD
000018ba: PUSH1 0x3c
000018bc: DUP2
000018bd: ADD
000018be: DUP7
000018bf: SWAP1
000018c0: MSTORE
000018c1: PUSH1 0x28
000018c3: DUP2
000018c4: ADD
000018c5: DUP9
000018c6: SWAP1
000018c7: MSTORE
000018c8: PUSH1 0x14
000018ca: DUP2
000018cb: ADD
000018cc: DUP8
000018cd: SWAP1
000018ce: MSTORE
000018cf: DUP5
000018d0: DUP2
000018d1: MSTORE
000018d2: PUSH1 0x5c
000018d4: SWAP1
000018d5: KECCAK256
000018d6: PUSH1 0x08
000018d8: SHL
000018d9: PUSH1 0x02
000018db: OR
000018dc: PUSH1 0x00
000018de: SWAP1
000018df: DUP2
000018e0: MSTORE
000018e1: PUSH1 0x20
000018e3: DUP2
000018e4: SWAP1
000018e5: MSTORE
000018e6: KECCAK256
000018e7: PUSH2 0x18ef
000018ea: SWAP1
000018eb: PUSH2 0x13fb
000018ee: JUMP
000018ef: JUMPDEST
000018f0: PUSH2 0x159d
000018f3: JUMPI
000018f4: PUSH1 0x40
000018f6: DUP1
000018f7: MLOAD
000018f8: PUSH1 0x3c
000018fa: DUP2
000018fb: ADD
000018fc: DUP7
000018fd: SWAP1
000018fe: MSTORE
000018ff: PUSH1 0x28
00001901: DUP2
00001902: ADD
00001903: DUP9
00001904: SWAP1
00001905: MSTORE
00001906: PUSH1 0x14
00001908: DUP2
00001909: ADD
0000190a: DUP8
0000190b: SWAP1
0000190c: MSTORE
0000190d: DUP5
0000190e: DUP2
0000190f: MSTORE
00001910: PUSH1 0x5c
00001912: SWAP1
00001913: KECCAK256
00001914: PUSH1 0x08
00001916: SHL
00001917: PUSH1 0x04
00001919: OR
0000191a: PUSH1 0x00
0000191c: SWAP1
0000191d: DUP2
0000191e: MSTORE
0000191f: PUSH1 0x20
00001921: DUP2
00001922: SWAP1
00001923: MSTORE
00001924: KECCAK256
00001925: PUSH2 0x1598
00001928: SWAP1
00001929: PUSH2 0x1482
0000192c: JUMP
0000192d: JUMPDEST
0000192e: PUSH1 0x40
00001930: DUP1
00001931: MLOAD
00001932: PUSH1 0x3c
00001934: DUP2
00001935: ADD
00001936: DUP6
00001937: SWAP1
00001938: MSTORE
00001939: PUSH1 0x28
0000193b: DUP2
0000193c: ADD
0000193d: DUP7
0000193e: SWAP1
0000193f: MSTORE
00001940: CALLER
00001941: PUSH1 0x14
00001943: DUP3
00001944: ADD
00001945: MSTORE
00001946: DUP4
00001947: DUP2
00001948: MSTORE
00001949: PUSH1 0x5c
0000194b: SWAP1
0000194c: KECCAK256
0000194d: PUSH1 0x08
0000194f: SHL
00001950: PUSH1 0x02
00001952: OR
00001953: PUSH1 0x00
00001955: DUP2
00001956: DUP2
00001957: MSTORE
00001958: PUSH1 0x20
0000195a: DUP2
0000195b: SWAP1
0000195c: MSTORE
0000195d: SWAP2
0000195e: SWAP1
0000195f: SWAP2
00001960: KECCAK256
00001961: DUP1
00001962: SLOAD
00001963: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001978: AND
00001979: DUP4
0000197a: ISZERO
0000197b: PUSH2 0x1aa2
0000197e: JUMPI
0000197f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001994: DUP2
00001995: AND
00001996: PUSH2 0x1a38
00001999: JUMPI
0000199a: CALLER
0000199b: PUSH1 0x00
0000199d: DUP2
0000199e: DUP2
0000199f: MSTORE
000019a0: PUSH1 0x01
000019a2: PUSH1 0x20
000019a4: DUP2
000019a5: DUP2
000019a6: MSTORE
000019a7: PUSH1 0x40
000019a9: DUP1
000019aa: DUP5
000019ab: KECCAK256
000019ac: DUP1
000019ad: SLOAD
000019ae: DUP1
000019af: DUP6
000019b0: ADD
000019b1: DUP3
000019b2: SSTORE
000019b3: SWAP1
000019b4: DUP6
000019b5: MSTORE
000019b6: DUP3
000019b7: DUP6
000019b8: KECCAK256
000019b9: ADD
000019ba: DUP9
000019bb: SWAP1
000019bc: SSTORE
000019bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d2: DUP13
000019d3: AND
000019d4: DUP1
000019d5: DUP6
000019d6: MSTORE
000019d7: PUSH1 0x02
000019d9: DUP4
000019da: MSTORE
000019db: DUP2
000019dc: DUP6
000019dd: KECCAK256
000019de: DUP1
000019df: SLOAD
000019e0: DUP1
000019e1: DUP7
000019e2: ADD
000019e3: DUP3
000019e4: SSTORE
000019e5: SWAP1
000019e6: DUP7
000019e7: MSTORE
000019e8: SWAP3
000019e9: SWAP1
000019ea: SWAP5
000019eb: KECCAK256
000019ec: SWAP1
000019ed: SWAP2
000019ee: ADD
000019ef: DUP8
000019f0: SWAP1
000019f1: SSTORE
000019f2: DUP10
000019f3: SWAP1
000019f4: SHL
000019f5: PUSH28 0xffffffffffffffff0000000000000000000000000000000000000000
00001a12: AND
00001a13: SWAP1
00001a14: SWAP3
00001a15: OR
00001a16: DUP5
00001a17: SSTORE
00001a18: PUSH1 0xa0
00001a1a: DUP9
00001a1b: SWAP1
00001a1c: SHL
00001a1d: OR
00001a1e: SWAP1
00001a1f: DUP4
00001a20: ADD
00001a21: SSTORE
00001a22: DUP5
00001a23: ISZERO
00001a24: PUSH2 0x1a33
00001a27: JUMPI
00001a28: PUSH2 0x1a33
00001a2b: DUP3
00001a2c: PUSH1 0x02
00001a2e: DUP8
00001a2f: SWAP2
00001a30: ADD
00001a31: SSTORE
00001a32: JUMP
00001a33: JUMPDEST
00001a34: PUSH2 0x1ae9
00001a37: JUMP
00001a38: JUMPDEST
00001a39: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6f: DUP3
00001a70: AND
00001a71: ADD
00001a72: PUSH2 0x1a33
00001a75: JUMPI
00001a76: DUP2
00001a77: SLOAD
00001a78: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001a99: AND
00001a9a: CALLER
00001a9b: OR
00001a9c: DUP3
00001a9d: SSTORE
00001a9e: PUSH2 0x1ae9
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: CALLER
00001aa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab9: DUP3
00001aba: AND
00001abb: SUB
00001abc: PUSH2 0x1ae9
00001abf: JUMPI
00001ac0: DUP2
00001ac1: SLOAD
00001ac2: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001ae3: AND
00001ae4: PUSH1 0x01
00001ae6: OR
00001ae7: DUP3
00001ae8: SSTORE
00001ae9: JUMPDEST
00001aea: PUSH1 0x40
00001aec: DUP1
00001aed: MLOAD
00001aee: DUP7
00001aef: DUP2
00001af0: MSTORE
00001af1: DUP6
00001af2: ISZERO
00001af3: ISZERO
00001af4: PUSH1 0x20
00001af6: DUP3
00001af7: ADD
00001af8: MSTORE
00001af9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0e: DUP1
00001b0f: DUP10
00001b10: AND
00001b11: SWAP3
00001b12: SWAP1
00001b13: DUP11
00001b14: AND
00001b15: SWAP2
00001b16: CALLER
00001b17: SWAP2
00001b18: PUSH32 0x021be15e24de4afc43cfb5d0ba95ca38e0783571e05c12bbe6aece8842ae82df
00001b39: SWAP2
00001b3a: ADD
00001b3b: PUSH2 0x0625
00001b3e: JUMP
00001b3f: JUMPDEST
00001b40: PUSH1 0x00
00001b42: PUSH2 0x1b4a
00001b45: DUP4
00001b46: PUSH2 0x200f
00001b49: JUMP
00001b4a: JUMPDEST
00001b4b: PUSH2 0x0dcc
00001b4e: JUMPI
00001b4f: PUSH1 0x40
00001b51: DUP1
00001b52: MLOAD
00001b53: PUSH1 0x28
00001b55: DUP2
00001b56: ADD
00001b57: DUP7
00001b58: SWAP1
00001b59: MSTORE
00001b5a: PUSH1 0x14
00001b5c: DUP2
00001b5d: ADD
00001b5e: DUP6
00001b5f: SWAP1
00001b60: MSTORE
00001b61: PUSH1 0x00
00001b63: DUP1
00001b64: DUP3
00001b65: MSTORE
00001b66: PUSH1 0x48
00001b68: SWAP1
00001b69: SWAP2
00001b6a: KECCAK256
00001b6b: PUSH1 0x08
00001b6d: SHL
00001b6e: PUSH1 0x01
00001b70: OR
00001b71: DUP2
00001b72: MSTORE
00001b73: PUSH1 0x20
00001b75: DUP2
00001b76: SWAP1
00001b77: MSTORE
00001b78: KECCAK256
00001b79: PUSH2 0x1b83
00001b7c: SWAP1
00001b7d: JUMPDEST
00001b7e: DUP5
00001b7f: PUSH2 0x2035
00001b82: JUMP
00001b83: JUMPDEST
00001b84: SWAP1
00001b85: POP
00001b86: DUP1
00001b87: ISZERO
00001b88: ISZERO
00001b89: DUP3
00001b8a: ISZERO
00001b8b: OR
00001b8c: PUSH2 0x0dcc
00001b8f: JUMPI
00001b90: PUSH1 0x40
00001b92: DUP1
00001b93: MLOAD
00001b94: PUSH1 0x28
00001b96: DUP2
00001b97: ADD
00001b98: DUP7
00001b99: SWAP1
00001b9a: MSTORE
00001b9b: PUSH1 0x14
00001b9d: DUP2
00001b9e: ADD
00001b9f: DUP6
00001ba0: SWAP1
00001ba1: MSTORE
00001ba2: DUP4
00001ba3: DUP2
00001ba4: MSTORE
00001ba5: PUSH1 0x48
00001ba7: SWAP1
00001ba8: KECCAK256
00001ba9: PUSH1 0x08
00001bab: SHL
00001bac: PUSH1 0x01
00001bae: OR
00001baf: PUSH1 0x00
00001bb1: SWAP1
00001bb2: DUP2
00001bb3: MSTORE
00001bb4: PUSH1 0x20
00001bb6: DUP2
00001bb7: SWAP1
00001bb8: MSTORE
00001bb9: KECCAK256
00001bba: PUSH2 0x0dc9
00001bbd: SWAP1
00001bbe: PUSH2 0x1b7d
00001bc1: JUMP
00001bc2: JUMPDEST
00001bc3: DUP1
00001bc4: SLOAD
00001bc5: PUSH1 0x60
00001bc7: SWAP1
00001bc8: PUSH1 0x00
00001bca: SWAP1
00001bcb: DUP2
00001bcc: DUP1
00001bcd: DUP3
00001bce: PUSH8 0xffffffffffffffff
00001bd7: DUP2
00001bd8: GT
00001bd9: ISZERO
00001bda: PUSH2 0x1be5
00001bdd: JUMPI
00001bde: PUSH2 0x1be5
00001be1: PUSH2 0x265e
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH1 0x40
00001be8: MLOAD
00001be9: SWAP1
00001bea: DUP1
00001beb: DUP3
00001bec: MSTORE
00001bed: DUP1
00001bee: PUSH1 0x20
00001bf0: MUL
00001bf1: PUSH1 0x20
00001bf3: ADD
00001bf4: DUP3
00001bf5: ADD
00001bf6: PUSH1 0x40
00001bf8: MSTORE
00001bf9: DUP1
00001bfa: ISZERO
00001bfb: PUSH2 0x1c0e
00001bfe: JUMPI
00001bff: DUP2
00001c00: PUSH1 0x20
00001c02: ADD
00001c03: PUSH1 0x20
00001c05: DUP3
00001c06: MUL
00001c07: DUP1
00001c08: CALLDATASIZE
00001c09: DUP4
00001c0a: CALLDATACOPY
00001c0b: ADD
00001c0c: SWAP1
00001c0d: POP
00001c0e: JUMPDEST
00001c0f: POP
00001c10: SWAP1
00001c11: POP
00001c12: PUSH1 0x00
00001c14: JUMPDEST
00001c15: DUP4
00001c16: DUP2
00001c17: LT
00001c18: ISZERO
00001c19: PUSH2 0x1ca7
00001c1c: JUMPI
00001c1d: DUP7
00001c1e: DUP2
00001c1f: DUP2
00001c20: SLOAD
00001c21: DUP2
00001c22: LT
00001c23: PUSH2 0x1c2e
00001c26: JUMPI
00001c27: PUSH2 0x1c2e
00001c2a: PUSH2 0x268d
00001c2d: JUMP
00001c2e: JUMPDEST
00001c2f: SWAP1
00001c30: PUSH1 0x00
00001c32: MSTORE
00001c33: PUSH1 0x20
00001c35: PUSH1 0x00
00001c37: KECCAK256
00001c38: ADD
00001c39: SLOAD
00001c3a: SWAP3
00001c3b: POP
00001c3c: PUSH2 0x1c75
00001c3f: PUSH2 0x1c70
00001c42: PUSH2 0x1c56
00001c45: DUP6
00001c46: PUSH1 0x00
00001c48: SWAP1
00001c49: DUP2
00001c4a: MSTORE
00001c4b: PUSH1 0x20
00001c4d: DUP2
00001c4e: SWAP1
00001c4f: MSTORE
00001c50: PUSH1 0x40
00001c52: SWAP1
00001c53: KECCAK256
00001c54: SWAP1
00001c55: JUMP
00001c56: JUMPDEST
00001c57: SLOAD
00001c58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c6d: AND
00001c6e: SWAP1
00001c6f: JUMP
00001c70: JUMPDEST
00001c71: PUSH2 0x200f
00001c74: JUMP
00001c75: JUMPDEST
00001c76: PUSH2 0x1c9f
00001c79: JUMPI
00001c7a: DUP3
00001c7b: DUP3
00001c7c: DUP7
00001c7d: DUP1
00001c7e: PUSH1 0x01
00001c80: ADD
00001c81: SWAP8
00001c82: POP
00001c83: DUP2
00001c84: MLOAD
00001c85: DUP2
00001c86: LT
00001c87: PUSH2 0x1c92
00001c8a: JUMPI
00001c8b: PUSH2 0x1c92
00001c8e: PUSH2 0x268d
00001c91: JUMP
00001c92: JUMPDEST
00001c93: PUSH1 0x20
00001c95: MUL
00001c96: PUSH1 0x20
00001c98: ADD
00001c99: ADD
00001c9a: DUP2
00001c9b: DUP2
00001c9c: MSTORE
00001c9d: POP
00001c9e: POP
00001c9f: JUMPDEST
00001ca0: PUSH1 0x01
00001ca2: ADD
00001ca3: PUSH2 0x1c14
00001ca6: JUMP
00001ca7: JUMPDEST
00001ca8: POP
00001ca9: DUP4
00001caa: PUSH8 0xffffffffffffffff
00001cb3: DUP2
00001cb4: GT
00001cb5: ISZERO
00001cb6: PUSH2 0x1cc1
00001cb9: JUMPI
00001cba: PUSH2 0x1cc1
00001cbd: PUSH2 0x265e
00001cc0: JUMP
00001cc1: JUMPDEST
00001cc2: PUSH1 0x40
00001cc4: MLOAD
00001cc5: SWAP1
00001cc6: DUP1
00001cc7: DUP3
00001cc8: MSTORE
00001cc9: DUP1
00001cca: PUSH1 0x20
00001ccc: MUL
00001ccd: PUSH1 0x20
00001ccf: ADD
00001cd0: DUP3
00001cd1: ADD
00001cd2: PUSH1 0x40
00001cd4: MSTORE
00001cd5: DUP1
00001cd6: ISZERO
00001cd7: PUSH2 0x1cea
00001cda: JUMPI
00001cdb: DUP2
00001cdc: PUSH1 0x20
00001cde: ADD
00001cdf: PUSH1 0x20
00001ce1: DUP3
00001ce2: MUL
00001ce3: DUP1
00001ce4: CALLDATASIZE
00001ce5: DUP4
00001ce6: CALLDATACOPY
00001ce7: ADD
00001ce8: SWAP1
00001ce9: POP
00001cea: JUMPDEST
00001ceb: POP
00001cec: SWAP5
00001ced: POP
00001cee: PUSH1 0x00
00001cf0: JUMPDEST
00001cf1: DUP5
00001cf2: DUP2
00001cf3: LT
00001cf4: ISZERO
00001cf5: PUSH2 0x1d37
00001cf8: JUMPI
00001cf9: DUP2
00001cfa: DUP2
00001cfb: DUP2
00001cfc: MLOAD
00001cfd: DUP2
00001cfe: LT
00001cff: PUSH2 0x1d0a
00001d02: JUMPI
00001d03: PUSH2 0x1d0a
00001d06: PUSH2 0x268d
00001d09: JUMP
00001d0a: JUMPDEST
00001d0b: PUSH1 0x20
00001d0d: MUL
00001d0e: PUSH1 0x20
00001d10: ADD
00001d11: ADD
00001d12: MLOAD
00001d13: DUP7
00001d14: DUP3
00001d15: DUP2
00001d16: MLOAD
00001d17: DUP2
00001d18: LT
00001d19: PUSH2 0x1d24
00001d1c: JUMPI
00001d1d: PUSH2 0x1d24
00001d20: PUSH2 0x268d
00001d23: JUMP
00001d24: JUMPDEST
00001d25: PUSH1 0x20
00001d27: SWAP1
00001d28: DUP2
00001d29: MUL
00001d2a: SWAP2
00001d2b: SWAP1
00001d2c: SWAP2
00001d2d: ADD
00001d2e: ADD
00001d2f: MSTORE
00001d30: PUSH1 0x01
00001d32: ADD
00001d33: PUSH2 0x1cf0
00001d36: JUMP
00001d37: JUMPDEST
00001d38: POP
00001d39: POP
00001d3a: POP
00001d3b: POP
00001d3c: POP
00001d3d: SWAP2
00001d3e: SWAP1
00001d3f: POP
00001d40: JUMP
00001d41: JUMPDEST
00001d42: DUP1
00001d43: SLOAD
00001d44: PUSH1 0x60
00001d46: SWAP1
00001d47: PUSH1 0x00
00001d49: SWAP1
00001d4a: DUP2
00001d4b: DUP1
00001d4c: DUP3
00001d4d: PUSH8 0xffffffffffffffff
00001d56: DUP2
00001d57: GT
00001d58: ISZERO
00001d59: PUSH2 0x1d64
00001d5c: JUMPI
00001d5d: PUSH2 0x1d64
00001d60: PUSH2 0x265e
00001d63: JUMP
00001d64: JUMPDEST
00001d65: PUSH1 0x40
00001d67: MLOAD
00001d68: SWAP1
00001d69: DUP1
00001d6a: DUP3
00001d6b: MSTORE
00001d6c: DUP1
00001d6d: PUSH1 0x20
00001d6f: MUL
00001d70: PUSH1 0x20
00001d72: ADD
00001d73: DUP3
00001d74: ADD
00001d75: PUSH1 0x40
00001d77: MSTORE
00001d78: DUP1
00001d79: ISZERO
00001d7a: PUSH2 0x1d8d
00001d7d: JUMPI
00001d7e: DUP2
00001d7f: PUSH1 0x20
00001d81: ADD
00001d82: PUSH1 0x20
00001d84: DUP3
00001d85: MUL
00001d86: DUP1
00001d87: CALLDATASIZE
00001d88: DUP4
00001d89: CALLDATACOPY
00001d8a: ADD
00001d8b: SWAP1
00001d8c: POP
00001d8d: JUMPDEST
00001d8e: POP
00001d8f: SWAP1
00001d90: POP
00001d91: PUSH1 0x00
00001d93: JUMPDEST
00001d94: DUP4
00001d95: DUP2
00001d96: LT
00001d97: ISZERO
00001d98: PUSH2 0x1e07
00001d9b: JUMPI
00001d9c: DUP7
00001d9d: DUP2
00001d9e: DUP2
00001d9f: SLOAD
00001da0: DUP2
00001da1: LT
00001da2: PUSH2 0x1dad
00001da5: JUMPI
00001da6: PUSH2 0x1dad
00001da9: PUSH2 0x268d
00001dac: JUMP
00001dad: JUMPDEST
00001dae: SWAP1
00001daf: PUSH1 0x00
00001db1: MSTORE
00001db2: PUSH1 0x20
00001db4: PUSH1 0x00
00001db6: KECCAK256
00001db7: ADD
00001db8: SLOAD
00001db9: SWAP3
00001dba: POP
00001dbb: PUSH2 0x1dd5
00001dbe: PUSH2 0x1c70
00001dc1: PUSH2 0x1c56
00001dc4: DUP6
00001dc5: PUSH1 0x00
00001dc7: SWAP1
00001dc8: DUP2
00001dc9: MSTORE
00001dca: PUSH1 0x20
00001dcc: DUP2
00001dcd: SWAP1
00001dce: MSTORE
00001dcf: PUSH1 0x40
00001dd1: SWAP1
00001dd2: KECCAK256
00001dd3: SWAP1
00001dd4: JUMP
00001dd5: JUMPDEST
00001dd6: PUSH2 0x1dff
00001dd9: JUMPI
00001dda: DUP3
00001ddb: DUP3
00001ddc: DUP7
00001ddd: DUP1
00001dde: PUSH1 0x01
00001de0: ADD
00001de1: SWAP8
00001de2: POP
00001de3: DUP2
00001de4: MLOAD
00001de5: DUP2
00001de6: LT
00001de7: PUSH2 0x1df2
00001dea: JUMPI
00001deb: PUSH2 0x1df2
00001dee: PUSH2 0x268d
00001df1: JUMP
00001df2: JUMPDEST
00001df3: PUSH1 0x20
00001df5: MUL
00001df6: PUSH1 0x20
00001df8: ADD
00001df9: ADD
00001dfa: DUP2
00001dfb: DUP2
00001dfc: MSTORE
00001dfd: POP
00001dfe: POP
00001dff: JUMPDEST
00001e00: PUSH1 0x01
00001e02: ADD
00001e03: PUSH2 0x1d93
00001e06: JUMP
00001e07: JUMPDEST
00001e08: POP
00001e09: DUP4
00001e0a: PUSH8 0xffffffffffffffff
00001e13: DUP2
00001e14: GT
00001e15: ISZERO
00001e16: PUSH2 0x1e21
00001e19: JUMPI
00001e1a: PUSH2 0x1e21
00001e1d: PUSH2 0x265e
00001e20: JUMP
00001e21: JUMPDEST
00001e22: PUSH1 0x40
00001e24: MLOAD
00001e25: SWAP1
00001e26: DUP1
00001e27: DUP3
00001e28: MSTORE
00001e29: DUP1
00001e2a: PUSH1 0x20
00001e2c: MUL
00001e2d: PUSH1 0x20
00001e2f: ADD
00001e30: DUP3
00001e31: ADD
00001e32: PUSH1 0x40
00001e34: MSTORE
00001e35: DUP1
00001e36: ISZERO
00001e37: PUSH2 0x1ea6
00001e3a: JUMPI
00001e3b: DUP2
00001e3c: PUSH1 0x20
00001e3e: ADD
00001e3f: JUMPDEST
00001e40: PUSH1 0x40
00001e42: DUP1
00001e43: MLOAD
00001e44: PUSH1 0xe0
00001e46: DUP2
00001e47: ADD
00001e48: DUP3
00001e49: MSTORE
00001e4a: PUSH1 0x00
00001e4c: DUP1
00001e4d: DUP3
00001e4e: MSTORE
00001e4f: PUSH1 0x20
00001e51: DUP1
00001e52: DUP4
00001e53: ADD
00001e54: DUP3
00001e55: SWAP1
00001e56: MSTORE
00001e57: SWAP3
00001e58: DUP3
00001e59: ADD
00001e5a: DUP2
00001e5b: SWAP1
00001e5c: MSTORE
00001e5d: PUSH1 0x60
00001e5f: DUP3
00001e60: ADD
00001e61: DUP2
00001e62: SWAP1
00001e63: MSTORE
00001e64: PUSH1 0x80
00001e66: DUP3
00001e67: ADD
00001e68: DUP2
00001e69: SWAP1
00001e6a: MSTORE
00001e6b: PUSH1 0xa0
00001e6d: DUP3
00001e6e: ADD
00001e6f: DUP2
00001e70: SWAP1
00001e71: MSTORE
00001e72: PUSH1 0xc0
00001e74: DUP3
00001e75: ADD
00001e76: MSTORE
00001e77: DUP3
00001e78: MSTORE
00001e79: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001e9a: SWAP1
00001e9b: SWAP3
00001e9c: ADD
00001e9d: SWAP2
00001e9e: ADD
00001e9f: DUP2
00001ea0: PUSH2 0x1e3f
00001ea3: JUMPI
00001ea4: SWAP1
00001ea5: POP
00001ea6: JUMPDEST
00001ea7: POP
00001ea8: SWAP5
00001ea9: POP
00001eaa: PUSH1 0x00
00001eac: DUP1
00001ead: JUMPDEST
00001eae: DUP6
00001eaf: DUP2
00001eb0: LT
00001eb1: ISZERO
00001eb2: PUSH2 0x2004
00001eb5: JUMPI
00001eb6: DUP3
00001eb7: DUP2
00001eb8: DUP2
00001eb9: MLOAD
00001eba: DUP2
00001ebb: LT
00001ebc: PUSH2 0x1ec7
00001ebf: JUMPI
00001ec0: PUSH2 0x1ec7
00001ec3: PUSH2 0x268d
00001ec6: JUMP
00001ec7: JUMPDEST
00001ec8: PUSH1 0x20
00001eca: MUL
00001ecb: PUSH1 0x20
00001ecd: ADD
00001ece: ADD
00001ecf: MLOAD
00001ed0: SWAP4
00001ed1: POP
00001ed2: PUSH2 0x1ee6
00001ed5: DUP5
00001ed6: PUSH1 0x00
00001ed8: SWAP1
00001ed9: DUP2
00001eda: MSTORE
00001edb: PUSH1 0x20
00001edd: DUP2
00001ede: SWAP1
00001edf: MSTORE
00001ee0: PUSH1 0x40
00001ee2: SWAP1
00001ee3: KECCAK256
00001ee4: SWAP1
00001ee5: JUMP
00001ee6: JUMPDEST
00001ee7: DUP1
00001ee8: SLOAD
00001ee9: PUSH1 0x01
00001eeb: DUP3
00001eec: ADD
00001eed: SLOAD
00001eee: PUSH1 0x40
00001ef0: DUP1
00001ef1: MLOAD
00001ef2: PUSH1 0xe0
00001ef4: DUP2
00001ef5: ADD
00001ef6: DUP3
00001ef7: MSTORE
00001ef8: SWAP4
00001ef9: SWAP6
00001efa: POP
00001efb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f10: DUP1
00001f11: DUP5
00001f12: AND
00001f13: SWAP5
00001f14: SWAP1
00001f15: DUP4
00001f16: AND
00001f17: SWAP4
00001f18: PUSH1 0xa0
00001f1a: SWAP4
00001f1b: SWAP1
00001f1c: SWAP4
00001f1d: SHR
00001f1e: SWAP3
00001f1f: SWAP1
00001f20: SWAP2
00001f21: SHR
00001f22: PUSH20 0xffffffffffffffff000000000000000000000000
00001f37: AND
00001f38: SWAP2
00001f39: SWAP1
00001f3a: SWAP2
00001f3b: OR
00001f3c: SWAP1
00001f3d: DUP1
00001f3e: PUSH1 0xff
00001f40: DUP10
00001f41: AND
00001f42: PUSH1 0x05
00001f44: DUP2
00001f45: GT
00001f46: ISZERO
00001f47: PUSH2 0x1f52
00001f4a: JUMPI
00001f4b: PUSH2 0x1f52
00001f4e: PUSH2 0x21ea
00001f51: JUMP
00001f52: JUMPDEST
00001f53: DUP2
00001f54: MSTORE
00001f55: PUSH1 0x20
00001f57: ADD
00001f58: DUP4
00001f59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f6e: AND
00001f6f: DUP2
00001f70: MSTORE
00001f71: PUSH1 0x20
00001f73: ADD
00001f74: DUP5
00001f75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8a: AND
00001f8b: DUP2
00001f8c: MSTORE
00001f8d: PUSH1 0x20
00001f8f: ADD
00001f90: PUSH2 0x1f9a
00001f93: DUP8
00001f94: PUSH1 0x02
00001f96: ADD
00001f97: SLOAD
00001f98: SWAP1
00001f99: JUMP
00001f9a: JUMPDEST
00001f9b: DUP2
00001f9c: MSTORE
00001f9d: PUSH1 0x20
00001f9f: ADD
00001fa0: DUP3
00001fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb6: AND
00001fb7: DUP2
00001fb8: MSTORE
00001fb9: PUSH1 0x20
00001fbb: ADD
00001fbc: PUSH2 0x1fc6
00001fbf: DUP8
00001fc0: PUSH1 0x03
00001fc2: ADD
00001fc3: SLOAD
00001fc4: SWAP1
00001fc5: JUMP
00001fc6: JUMPDEST
00001fc7: DUP2
00001fc8: MSTORE
00001fc9: PUSH1 0x20
00001fcb: ADD
00001fcc: PUSH2 0x1fd6
00001fcf: DUP8
00001fd0: PUSH1 0x04
00001fd2: ADD
00001fd3: SLOAD
00001fd4: SWAP1
00001fd5: JUMP
00001fd6: JUMPDEST
00001fd7: DUP2
00001fd8: MSTORE
00001fd9: POP
00001fda: DUP11
00001fdb: DUP6
00001fdc: DUP2
00001fdd: MLOAD
00001fde: DUP2
00001fdf: LT
00001fe0: PUSH2 0x1feb
00001fe3: JUMPI
00001fe4: PUSH2 0x1feb
00001fe7: PUSH2 0x268d
00001fea: JUMP
00001feb: JUMPDEST
00001fec: PUSH1 0x20
00001fee: MUL
00001fef: PUSH1 0x20
00001ff1: ADD
00001ff2: ADD
00001ff3: DUP2
00001ff4: SWAP1
00001ff5: MSTORE
00001ff6: POP
00001ff7: POP
00001ff8: POP
00001ff9: POP
00001ffa: DUP1
00001ffb: PUSH1 0x01
00001ffd: ADD
00001ffe: SWAP1
00001fff: POP
00002000: PUSH2 0x1ead
00002003: JUMP
00002004: JUMPDEST
00002005: POP
00002006: POP
00002007: POP
00002008: POP
00002009: POP
0000200a: POP
0000200b: SWAP2
0000200c: SWAP1
0000200d: POP
0000200e: JUMP
0000200f: JUMPDEST
00002010: PUSH1 0x00
00002012: PUSH1 0x01
00002014: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002029: DUP4
0000202a: AND
0000202b: SWAP1
0000202c: DUP2
0000202d: EQ
0000202e: SWAP1
0000202f: ISZERO
00002030: OR
00002031: PUSH2 0x0668
00002034: JUMP
00002035: JUMPDEST
00002036: PUSH1 0x00
00002038: PUSH2 0x2055
0000203b: DUP4
0000203c: SLOAD
0000203d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002052: AND
00002053: SWAP1
00002054: JUMP
00002055: JUMPDEST
00002056: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000206b: AND
0000206c: DUP3
0000206d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002082: AND
00002083: EQ
00002084: SWAP1
00002085: POP
00002086: SWAP3
00002087: SWAP2
00002088: POP
00002089: POP
0000208a: JUMP
0000208b: JUMPDEST
0000208c: DUP1
0000208d: CALLDATALOAD
0000208e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a3: DUP2
000020a4: AND
000020a5: DUP2
000020a6: EQ
000020a7: PUSH2 0x20af
000020aa: JUMPI
000020ab: PUSH1 0x00
000020ad: DUP1
000020ae: REVERT
000020af: JUMPDEST
000020b0: SWAP2
000020b1: SWAP1
000020b2: POP
000020b3: JUMP
000020b4: JUMPDEST
000020b5: PUSH1 0x00
000020b7: DUP1
000020b8: PUSH1 0x00
000020ba: DUP1
000020bb: PUSH1 0x80
000020bd: DUP6
000020be: DUP8
000020bf: SUB
000020c0: SLT
000020c1: ISZERO
000020c2: PUSH2 0x20ca
000020c5: JUMPI
000020c6: PUSH1 0x00
000020c8: DUP1
000020c9: REVERT
000020ca: JUMPDEST
000020cb: PUSH2 0x20d3
000020ce: DUP6
000020cf: PUSH2 0x208b
000020d2: JUMP
000020d3: JUMPDEST
000020d4: SWAP4
000020d5: POP
000020d6: PUSH2 0x20e1
000020d9: PUSH1 0x20
000020db: DUP7
000020dc: ADD
000020dd: PUSH2 0x208b
000020e0: JUMP
000020e1: JUMPDEST
000020e2: SWAP4
000020e3: SWAP7
000020e4: SWAP4
000020e5: SWAP6
000020e6: POP
000020e7: POP
000020e8: POP
000020e9: POP
000020ea: PUSH1 0x40
000020ec: DUP3
000020ed: ADD
000020ee: CALLDATALOAD
000020ef: SWAP2
000020f0: PUSH1 0x60
000020f2: ADD
000020f3: CALLDATALOAD
000020f4: SWAP1
000020f5: JUMP
000020f6: JUMPDEST
000020f7: PUSH1 0x00
000020f9: PUSH1 0x20
000020fb: DUP3
000020fc: DUP5
000020fd: SUB
000020fe: SLT
000020ff: ISZERO
00002100: PUSH2 0x2108
00002103: JUMPI
00002104: PUSH1 0x00
00002106: DUP1
00002107: REVERT
00002108: JUMPDEST
00002109: PUSH2 0x2111
0000210c: DUP3
0000210d: PUSH2 0x208b
00002110: JUMP
00002111: JUMPDEST
00002112: SWAP4
00002113: SWAP3
00002114: POP
00002115: POP
00002116: POP
00002117: JUMP
00002118: JUMPDEST
00002119: PUSH1 0x20
0000211b: DUP1
0000211c: DUP3
0000211d: MSTORE
0000211e: DUP3
0000211f: MLOAD
00002120: DUP3
00002121: DUP3
00002122: ADD
00002123: DUP2
00002124: SWAP1
00002125: MSTORE
00002126: PUSH1 0x00
00002128: SWAP2
00002129: SWAP1
0000212a: DUP5
0000212b: DUP3
0000212c: ADD
0000212d: SWAP1
0000212e: PUSH1 0x40
00002130: DUP6
00002131: ADD
00002132: SWAP1
00002133: DUP5
00002134: JUMPDEST
00002135: DUP2
00002136: DUP2
00002137: LT
00002138: ISZERO
00002139: PUSH2 0x2150
0000213c: JUMPI
0000213d: DUP4
0000213e: MLOAD
0000213f: DUP4
00002140: MSTORE
00002141: SWAP3
00002142: DUP5
00002143: ADD
00002144: SWAP3
00002145: SWAP2
00002146: DUP5
00002147: ADD
00002148: SWAP2
00002149: PUSH1 0x01
0000214b: ADD
0000214c: PUSH2 0x2134
0000214f: JUMP
00002150: JUMPDEST
00002151: POP
00002152: SWAP1
00002153: SWAP7
00002154: SWAP6
00002155: POP
00002156: POP
00002157: POP
00002158: POP
00002159: POP
0000215a: POP
0000215b: JUMP
0000215c: JUMPDEST
0000215d: PUSH1 0x00
0000215f: PUSH1 0x20
00002161: DUP3
00002162: DUP5
00002163: SUB
00002164: SLT
00002165: ISZERO
00002166: PUSH2 0x216e
00002169: JUMPI
0000216a: PUSH1 0x00
0000216c: DUP1
0000216d: REVERT
0000216e: JUMPDEST
0000216f: DUP2
00002170: CALLDATALOAD
00002171: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002192: DUP2
00002193: AND
00002194: DUP2
00002195: EQ
00002196: PUSH2 0x2111
00002199: JUMPI
0000219a: PUSH1 0x00
0000219c: DUP1
0000219d: REVERT
0000219e: JUMPDEST
0000219f: DUP1
000021a0: CALLDATALOAD
000021a1: DUP1
000021a2: ISZERO
000021a3: ISZERO
000021a4: DUP2
000021a5: EQ
000021a6: PUSH2 0x20af
000021a9: JUMPI
000021aa: PUSH1 0x00
000021ac: DUP1
000021ad: REVERT
000021ae: JUMPDEST
000021af: PUSH1 0x00
000021b1: DUP1
000021b2: PUSH1 0x00
000021b4: PUSH1 0x60
000021b6: DUP5
000021b7: DUP7
000021b8: SUB
000021b9: SLT
000021ba: ISZERO
000021bb: PUSH2 0x21c3
000021be: JUMPI
000021bf: PUSH1 0x00
000021c1: DUP1
000021c2: REVERT
000021c3: JUMPDEST
000021c4: PUSH2 0x21cc
000021c7: DUP5
000021c8: PUSH2 0x208b
000021cb: JUMP
000021cc: JUMPDEST
000021cd: SWAP3
000021ce: POP
000021cf: PUSH1 0x20
000021d1: DUP5
000021d2: ADD
000021d3: CALLDATALOAD
000021d4: SWAP2
000021d5: POP
000021d6: PUSH2 0x21e1
000021d9: PUSH1 0x40
000021db: DUP6
000021dc: ADD
000021dd: PUSH2 0x219e
000021e0: JUMP
000021e1: JUMPDEST
000021e2: SWAP1
000021e3: POP
000021e4: SWAP3
000021e5: POP
000021e6: SWAP3
000021e7: POP
000021e8: SWAP3
000021e9: JUMP
000021ea: JUMPDEST
000021eb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000220c: PUSH1 0x00
0000220e: MSTORE
0000220f: PUSH1 0x21
00002211: PUSH1 0x04
00002213: MSTORE
00002214: PUSH1 0x24
00002216: PUSH1 0x00
00002218: REVERT
00002219: JUMPDEST
0000221a: PUSH1 0x20
0000221c: DUP1
0000221d: DUP3
0000221e: MSTORE
0000221f: DUP3
00002220: MLOAD
00002221: DUP3
00002222: DUP3
00002223: ADD
00002224: DUP2
00002225: SWAP1
00002226: MSTORE
00002227: PUSH1 0x00
00002229: SWAP2
0000222a: SWAP1
0000222b: PUSH1 0x40
0000222d: SWAP1
0000222e: DUP2
0000222f: DUP6
00002230: ADD
00002231: SWAP1
00002232: DUP7
00002233: DUP5
00002234: ADD
00002235: DUP6
00002236: DUP1
00002237: JUMPDEST
00002238: DUP4
00002239: DUP2
0000223a: LT
0000223b: ISZERO
0000223c: PUSH2 0x230e
0000223f: JUMPI
00002240: DUP3
00002241: MLOAD
00002242: DUP1
00002243: MLOAD
00002244: PUSH1 0x06
00002246: DUP2
00002247: LT
00002248: PUSH2 0x2278
0000224b: JUMPI
0000224c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000226d: DUP5
0000226e: MSTORE
0000226f: PUSH1 0x21
00002271: PUSH1 0x04
00002273: MSTORE
00002274: PUSH1 0x24
00002276: DUP5
00002277: REVERT
00002278: JUMPDEST
00002279: DUP7
0000227a: MSTORE
0000227b: DUP1
0000227c: DUP9
0000227d: ADD
0000227e: MLOAD
0000227f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002294: AND
00002295: DUP9
00002296: DUP8
00002297: ADD
00002298: MSTORE
00002299: DUP7
0000229a: DUP2
0000229b: ADD
0000229c: MLOAD
0000229d: PUSH2 0x22bd
000022a0: DUP9
000022a1: DUP9
000022a2: ADD
000022a3: DUP3
000022a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022b9: AND
000022ba: SWAP1
000022bb: MSTORE
000022bc: JUMP
000022bd: JUMPDEST
000022be: POP
000022bf: PUSH1 0x60
000022c1: DUP2
000022c2: DUP2
000022c3: ADD
000022c4: MLOAD
000022c5: SWAP1
000022c6: DUP8
000022c7: ADD
000022c8: MSTORE
000022c9: PUSH1 0x80
000022cb: DUP1
000022cc: DUP3
000022cd: ADD
000022ce: MLOAD
000022cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022e4: AND
000022e5: SWAP1
000022e6: DUP8
000022e7: ADD
000022e8: MSTORE
000022e9: PUSH1 0xa0
000022eb: DUP1
000022ec: DUP3
000022ed: ADD
000022ee: MLOAD
000022ef: SWAP1
000022f0: DUP8
000022f1: ADD
000022f2: MSTORE
000022f3: PUSH1 0xc0
000022f5: SWAP1
000022f6: DUP2
000022f7: ADD
000022f8: MLOAD
000022f9: SWAP1
000022fa: DUP7
000022fb: ADD
000022fc: MSTORE
000022fd: PUSH1 0xe0
000022ff: SWAP1
00002300: SWAP5
00002301: ADD
00002302: SWAP4
00002303: SWAP2
00002304: DUP7
00002305: ADD
00002306: SWAP2
00002307: PUSH1 0x01
00002309: ADD
0000230a: PUSH2 0x2237
0000230d: JUMP
0000230e: JUMPDEST
0000230f: POP
00002310: SWAP3
00002311: SWAP9
00002312: SWAP8
00002313: POP
00002314: POP
00002315: POP
00002316: POP
00002317: POP
00002318: POP
00002319: POP
0000231a: POP
0000231b: JUMP
0000231c: JUMPDEST
0000231d: PUSH1 0x00
0000231f: DUP1
00002320: DUP4
00002321: PUSH1 0x1f
00002323: DUP5
00002324: ADD
00002325: SLT
00002326: PUSH2 0x232e
00002329: JUMPI
0000232a: PUSH1 0x00
0000232c: DUP1
0000232d: REVERT
0000232e: JUMPDEST
0000232f: POP
00002330: DUP2
00002331: CALLDATALOAD
00002332: PUSH8 0xffffffffffffffff
0000233b: DUP2
0000233c: GT
0000233d: ISZERO
0000233e: PUSH2 0x2346
00002341: JUMPI
00002342: PUSH1 0x00
00002344: DUP1
00002345: REVERT
00002346: JUMPDEST
00002347: PUSH1 0x20
00002349: DUP4
0000234a: ADD
0000234b: SWAP2
0000234c: POP
0000234d: DUP4
0000234e: PUSH1 0x20
00002350: DUP3
00002351: PUSH1 0x05
00002353: SHL
00002354: DUP6
00002355: ADD
00002356: ADD
00002357: GT
00002358: ISZERO
00002359: PUSH2 0x2361
0000235c: JUMPI
0000235d: PUSH1 0x00
0000235f: DUP1
00002360: REVERT
00002361: JUMPDEST
00002362: SWAP3
00002363: POP
00002364: SWAP3
00002365: SWAP1
00002366: POP
00002367: JUMP
00002368: JUMPDEST
00002369: PUSH1 0x00
0000236b: DUP1
0000236c: PUSH1 0x20
0000236e: DUP4
0000236f: DUP6
00002370: SUB
00002371: SLT
00002372: ISZERO
00002373: PUSH2 0x237b
00002376: JUMPI
00002377: PUSH1 0x00
00002379: DUP1
0000237a: REVERT
0000237b: JUMPDEST
0000237c: DUP3
0000237d: CALLDATALOAD
0000237e: PUSH8 0xffffffffffffffff
00002387: DUP2
00002388: GT
00002389: ISZERO
0000238a: PUSH2 0x2392
0000238d: JUMPI
0000238e: PUSH1 0x00
00002390: DUP1
00002391: REVERT
00002392: JUMPDEST
00002393: PUSH2 0x239e
00002396: DUP6
00002397: DUP3
00002398: DUP7
00002399: ADD
0000239a: PUSH2 0x231c
0000239d: JUMP
0000239e: JUMPDEST
0000239f: SWAP1
000023a0: SWAP7
000023a1: SWAP1
000023a2: SWAP6
000023a3: POP
000023a4: SWAP4
000023a5: POP
000023a6: POP
000023a7: POP
000023a8: POP
000023a9: JUMP
000023aa: JUMPDEST
000023ab: PUSH1 0x00
000023ad: DUP1
000023ae: PUSH1 0x00
000023b0: DUP1
000023b1: PUSH1 0x80
000023b3: DUP6
000023b4: DUP8
000023b5: SUB
000023b6: SLT
000023b7: ISZERO
000023b8: PUSH2 0x23c0
000023bb: JUMPI
000023bc: PUSH1 0x00
000023be: DUP1
000023bf: REVERT
000023c0: JUMPDEST
000023c1: PUSH2 0x23c9
000023c4: DUP6
000023c5: PUSH2 0x208b
000023c8: JUMP
000023c9: JUMPDEST
000023ca: SWAP4
000023cb: POP
000023cc: PUSH2 0x23d7
000023cf: PUSH1 0x20
000023d1: DUP7
000023d2: ADD
000023d3: PUSH2 0x208b
000023d6: JUMP
000023d7: JUMPDEST
000023d8: SWAP3
000023d9: POP
000023da: PUSH2 0x23e5
000023dd: PUSH1 0x40
000023df: DUP7
000023e0: ADD
000023e1: PUSH2 0x208b
000023e4: JUMP
000023e5: JUMPDEST
000023e6: SWAP4
000023e7: SWAP7
000023e8: SWAP3
000023e9: SWAP6
000023ea: POP
000023eb: SWAP3
000023ec: SWAP4
000023ed: PUSH1 0x60
000023ef: ADD
000023f0: CALLDATALOAD
000023f1: SWAP3
000023f2: POP
000023f3: POP
000023f4: JUMP
000023f5: JUMPDEST
000023f6: PUSH1 0x00
000023f8: DUP1
000023f9: PUSH1 0x00
000023fb: DUP1
000023fc: PUSH1 0x00
000023fe: PUSH1 0xa0
00002400: DUP7
00002401: DUP9
00002402: SUB
00002403: SLT
00002404: ISZERO
00002405: PUSH2 0x240d
00002408: JUMPI
00002409: PUSH1 0x00
0000240b: DUP1
0000240c: REVERT
0000240d: JUMPDEST
0000240e: PUSH2 0x2416
00002411: DUP7
00002412: PUSH2 0x208b
00002415: JUMP
00002416: JUMPDEST
00002417: SWAP5
00002418: POP
00002419: PUSH2 0x2424
0000241c: PUSH1 0x20
0000241e: DUP8
0000241f: ADD
00002420: PUSH2 0x208b
00002423: JUMP
00002424: JUMPDEST
00002425: SWAP5
00002426: SWAP8
00002427: SWAP5
00002428: SWAP7
00002429: POP
0000242a: POP
0000242b: POP
0000242c: POP
0000242d: PUSH1 0x40
0000242f: DUP4
00002430: ADD
00002431: CALLDATALOAD
00002432: SWAP3
00002433: PUSH1 0x60
00002435: DUP2
00002436: ADD
00002437: CALLDATALOAD
00002438: SWAP3
00002439: PUSH1 0x80
0000243b: SWAP1
0000243c: SWAP2
0000243d: ADD
0000243e: CALLDATALOAD
0000243f: SWAP2
00002440: POP
00002441: JUMP
00002442: JUMPDEST
00002443: PUSH1 0x00
00002445: PUSH1 0x20
00002447: DUP1
00002448: DUP4
00002449: ADD
0000244a: DUP2
0000244b: DUP5
0000244c: MSTORE
0000244d: DUP1
0000244e: DUP6
0000244f: MLOAD
00002450: DUP1
00002451: DUP4
00002452: MSTORE
00002453: PUSH1 0x40
00002455: DUP7
00002456: ADD
00002457: SWAP2
00002458: POP
00002459: PUSH1 0x40
0000245b: DUP2
0000245c: PUSH1 0x05
0000245e: SHL
0000245f: DUP8
00002460: ADD
00002461: ADD
00002462: SWAP3
00002463: POP
00002464: DUP4
00002465: DUP8
00002466: ADD
00002467: PUSH1 0x00
00002469: DUP1
0000246a: JUMPDEST
0000246b: DUP4
0000246c: DUP2
0000246d: LT
0000246e: ISZERO
0000246f: PUSH2 0x2502
00002472: JUMPI
00002473: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0
00002494: DUP10
00002495: DUP8
00002496: SUB
00002497: ADD
00002498: DUP6
00002499: MSTORE
0000249a: DUP3
0000249b: MLOAD
0000249c: DUP1
0000249d: MLOAD
0000249e: DUP1
0000249f: DUP9
000024a0: MSTORE
000024a1: DUP4
000024a2: JUMPDEST
000024a3: DUP2
000024a4: DUP2
000024a5: LT
000024a6: ISZERO
000024a7: PUSH2 0x24bd
000024aa: JUMPI
000024ab: DUP3
000024ac: DUP2
000024ad: ADD
000024ae: DUP11
000024af: ADD
000024b0: MLOAD
000024b1: DUP10
000024b2: DUP3
000024b3: ADD
000024b4: DUP12
000024b5: ADD
000024b6: MSTORE
000024b7: DUP10
000024b8: ADD
000024b9: PUSH2 0x24a2
000024bc: JUMP
000024bd: JUMPDEST
000024be: POP
000024bf: DUP8
000024c0: DUP2
000024c1: ADD
000024c2: DUP10
000024c3: ADD
000024c4: DUP5
000024c5: SWAP1
000024c6: MSTORE
000024c7: PUSH1 0x1f
000024c9: ADD
000024ca: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000024eb: AND
000024ec: SWAP1
000024ed: SWAP7
000024ee: ADD
000024ef: DUP8
000024f0: ADD
000024f1: SWAP6
000024f2: POP
000024f3: SWAP4
000024f4: DUP7
000024f5: ADD
000024f6: SWAP4
000024f7: SWAP2
000024f8: DUP7
000024f9: ADD
000024fa: SWAP2
000024fb: PUSH1 0x01
000024fd: ADD
000024fe: PUSH2 0x246a
00002501: JUMP
00002502: JUMPDEST
00002503: POP
00002504: SWAP4
00002505: SWAP9
00002506: SWAP8
00002507: POP
00002508: POP
00002509: POP
0000250a: POP
0000250b: POP
0000250c: POP
0000250d: POP
0000250e: POP
0000250f: JUMP
00002510: JUMPDEST
00002511: PUSH1 0x00
00002513: DUP1
00002514: PUSH1 0x00
00002516: DUP1
00002517: PUSH1 0x00
00002519: PUSH1 0xa0
0000251b: DUP7
0000251c: DUP9
0000251d: SUB
0000251e: SLT
0000251f: ISZERO
00002520: PUSH2 0x2528
00002523: JUMPI
00002524: PUSH1 0x00
00002526: DUP1
00002527: REVERT
00002528: JUMPDEST
00002529: PUSH2 0x2531
0000252c: DUP7
0000252d: PUSH2 0x208b
00002530: JUMP
00002531: JUMPDEST
00002532: SWAP5
00002533: POP
00002534: PUSH2 0x253f
00002537: PUSH1 0x20
00002539: DUP8
0000253a: ADD
0000253b: PUSH2 0x208b
0000253e: JUMP
0000253f: JUMPDEST
00002540: SWAP4
00002541: POP
00002542: PUSH1 0x40
00002544: DUP7
00002545: ADD
00002546: CALLDATALOAD
00002547: SWAP3
00002548: POP
00002549: PUSH1 0x60
0000254b: DUP7
0000254c: ADD
0000254d: CALLDATALOAD
0000254e: SWAP2
0000254f: POP
00002550: PUSH2 0x255b
00002553: PUSH1 0x80
00002555: DUP8
00002556: ADD
00002557: PUSH2 0x219e
0000255a: JUMP
0000255b: JUMPDEST
0000255c: SWAP1
0000255d: POP
0000255e: SWAP3
0000255f: SWAP6
00002560: POP
00002561: SWAP3
00002562: SWAP6
00002563: SWAP1
00002564: SWAP4
00002565: POP
00002566: JUMP
00002567: JUMPDEST
00002568: PUSH1 0x00
0000256a: DUP1
0000256b: PUSH1 0x00
0000256d: DUP1
0000256e: PUSH1 0x00
00002570: PUSH1 0xa0
00002572: DUP7
00002573: DUP9
00002574: SUB
00002575: SLT
00002576: ISZERO
00002577: PUSH2 0x257f
0000257a: JUMPI
0000257b: PUSH1 0x00
0000257d: DUP1
0000257e: REVERT
0000257f: JUMPDEST
00002580: PUSH2 0x2588
00002583: DUP7
00002584: PUSH2 0x208b
00002587: JUMP
00002588: JUMPDEST
00002589: SWAP5
0000258a: POP
0000258b: PUSH2 0x2596
0000258e: PUSH1 0x20
00002590: DUP8
00002591: ADD
00002592: PUSH2 0x208b
00002595: JUMP
00002596: JUMPDEST
00002597: SWAP4
00002598: POP
00002599: PUSH2 0x25a4
0000259c: PUSH1 0x40
0000259e: DUP8
0000259f: ADD
000025a0: PUSH2 0x208b
000025a3: JUMP
000025a4: JUMPDEST
000025a5: SWAP5
000025a6: SWAP8
000025a7: SWAP4
000025a8: SWAP7
000025a9: POP
000025aa: SWAP4
000025ab: SWAP5
000025ac: PUSH1 0x60
000025ae: DUP2
000025af: ADD
000025b0: CALLDATALOAD
000025b1: SWAP5
000025b2: POP
000025b3: PUSH1 0x80
000025b5: ADD
000025b6: CALLDATALOAD
000025b7: SWAP3
000025b8: SWAP2
000025b9: POP
000025ba: POP
000025bb: JUMP
000025bc: JUMPDEST
000025bd: PUSH1 0x00
000025bf: DUP1
000025c0: PUSH1 0x00
000025c2: DUP1
000025c3: PUSH1 0x80
000025c5: DUP6
000025c6: DUP8
000025c7: SUB
000025c8: SLT
000025c9: ISZERO
000025ca: PUSH2 0x25d2
000025cd: JUMPI
000025ce: PUSH1 0x00
000025d0: DUP1
000025d1: REVERT
000025d2: JUMPDEST
000025d3: PUSH2 0x25db
000025d6: DUP6
000025d7: PUSH2 0x208b
000025da: JUMP
000025db: JUMPDEST
000025dc: SWAP4
000025dd: POP
000025de: PUSH2 0x25e9
000025e1: PUSH1 0x20
000025e3: DUP7
000025e4: ADD
000025e5: PUSH2 0x208b
000025e8: JUMP
000025e9: JUMPDEST
000025ea: SWAP3
000025eb: POP
000025ec: PUSH1 0x40
000025ee: DUP6
000025ef: ADD
000025f0: CALLDATALOAD
000025f1: SWAP2
000025f2: POP
000025f3: PUSH2 0x25fe
000025f6: PUSH1 0x60
000025f8: DUP7
000025f9: ADD
000025fa: PUSH2 0x219e
000025fd: JUMP
000025fe: JUMPDEST
000025ff: SWAP1
00002600: POP
00002601: SWAP3
00002602: SWAP6
00002603: SWAP2
00002604: SWAP5
00002605: POP
00002606: SWAP3
00002607: POP
00002608: JUMP
00002609: JUMPDEST
0000260a: PUSH1 0x00
0000260c: DUP1
0000260d: PUSH1 0x00
0000260f: PUSH1 0x60
00002611: DUP5
00002612: DUP7
00002613: SUB
00002614: SLT
00002615: ISZERO
00002616: PUSH2 0x261e
00002619: JUMPI
0000261a: PUSH1 0x00
0000261c: DUP1
0000261d: REVERT
0000261e: JUMPDEST
0000261f: PUSH2 0x2627
00002622: DUP5
00002623: PUSH2 0x208b
00002626: JUMP
00002627: JUMPDEST
00002628: SWAP3
00002629: POP
0000262a: PUSH2 0x2635
0000262d: PUSH1 0x20
0000262f: DUP6
00002630: ADD
00002631: PUSH2 0x208b
00002634: JUMP
00002635: JUMPDEST
00002636: SWAP2
00002637: POP
00002638: PUSH1 0x40
0000263a: DUP5
0000263b: ADD
0000263c: CALLDATALOAD
0000263d: SWAP1
0000263e: POP
0000263f: SWAP3
00002640: POP
00002641: SWAP3
00002642: POP
00002643: SWAP3
00002644: JUMP
00002645: JUMPDEST
00002646: PUSH1 0x00
00002648: PUSH1 0x20
0000264a: DUP3
0000264b: DUP5
0000264c: SUB
0000264d: SLT
0000264e: ISZERO
0000264f: PUSH2 0x2657
00002652: JUMPI
00002653: PUSH1 0x00
00002655: DUP1
00002656: REVERT
00002657: JUMPDEST
00002658: POP
00002659: CALLDATALOAD
0000265a: SWAP2
0000265b: SWAP1
0000265c: POP
0000265d: JUMP
0000265e: JUMPDEST
0000265f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002680: PUSH1 0x00
00002682: MSTORE
00002683: PUSH1 0x41
00002685: PUSH1 0x04
00002687: MSTORE
00002688: PUSH1 0x24
0000268a: PUSH1 0x00
0000268c: REVERT
0000268d: JUMPDEST
0000268e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000026af: PUSH1 0x00
000026b1: MSTORE
000026b2: PUSH1 0x32
000026b4: PUSH1 0x04
000026b6: MSTORE
000026b7: PUSH1 0x24
000026b9: PUSH1 0x00
000026bb: REVERT
000026bc: JUMPDEST
000026bd: PUSH1 0x00
000026bf: DUP1
000026c0: DUP4
000026c1: CALLDATALOAD
000026c2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
000026e3: DUP5
000026e4: CALLDATASIZE
000026e5: SUB
000026e6: ADD
000026e7: DUP2
000026e8: SLT
000026e9: PUSH2 0x26f1
000026ec: JUMPI
000026ed: PUSH1 0x00
000026ef: DUP1
000026f0: REVERT
000026f1: JUMPDEST
000026f2: DUP4
000026f3: ADD
000026f4: DUP1
000026f5: CALLDATALOAD
000026f6: SWAP2
000026f7: POP
000026f8: PUSH8 0xffffffffffffffff
00002701: DUP3
00002702: GT
00002703: ISZERO
00002704: PUSH2 0x270c
00002707: JUMPI
00002708: PUSH1 0x00
0000270a: DUP1
0000270b: REVERT
0000270c: JUMPDEST
0000270d: PUSH1 0x20
0000270f: ADD
00002710: SWAP2
00002711: POP
00002712: CALLDATASIZE
00002713: DUP2
00002714: SWAP1
00002715: SUB
00002716: DUP3
00002717: SGT
00002718: ISZERO
00002719: PUSH2 0x2361
0000271c: JUMPI
0000271d: PUSH1 0x00
0000271f: DUP1
00002720: REVERT
00002721: JUMPDEST
00002722: DUP2
00002723: DUP4
00002724: DUP3
00002725: CALLDATACOPY
00002726: PUSH1 0x00
00002728: SWAP2
00002729: ADD
0000272a: SWAP1
0000272b: DUP2
0000272c: MSTORE
0000272d: SWAP2
0000272e: SWAP1
0000272f: POP
00002730: JUMP
00002731: INVALID
00002732: LOG1
00002733: PUSH5 0x736f6c6343
00002739: STOP
0000273a: ADDMOD
0000273b: ISZERO
0000273c: STOP
0000273d: EXP
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
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0xa807acf5e98b6b38c500192557b0118a540d0d95d3819d399475c61211dc7a0c
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0xa807acf5e98b6b38c500192557b0118a540d0d95d3819d399475c61211dc7a0c",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd90e73ab",
            "selector": "0xd90e73ab",
            "calldata_variants": [
                "0xd90e73ab",
                "0xd90e73ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe839bd53",
            "selector": "0xe839bd53",
            "calldata_variants": [
                "0xe839bd53",
                "0xe839bd530000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe8e834a9",
            "selector": "0xe8e834a9",
            "calldata_variants": [
                "0xe8e834a9",
                "0xe8e834a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb9f36874",
            "selector": "0xb9f36874",
            "calldata_variants": [
                "0xb9f36874",
                "0xb9f368740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba63c817",
            "selector": "0xba63c817",
            "calldata_variants": [
                "0xba63c817",
                "0xba63c8170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xac9650d8",
            "selector": "0xac9650d8",
            "calldata_variants": [
                "0xac9650d8",
                "0xac9650d80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb18e2bbb",
            "selector": "0xb18e2bbb",
            "calldata_variants": [
                "0xb18e2bbb",
                "0xb18e2bbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb8705875",
            "selector": "0xb8705875",
            "calldata_variants": [
                "0xb8705875",
                "0xb87058750000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4338,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xd494feed6bda5e99f6893ad5bce7a50d4fd31037369ac17c0da874b876c5dfd0
call_targets: 0x00000000000000447e69651d841bd8d104bed493
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd494feed6bda5e99f6893ad5bce7a50d4fd31037369ac17c0da874b876c5dfd0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x00000000000000447e69651d841bd8d104bed493"
    ],
    "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": "0xd90e73ab",
            "selector": "0xd90e73ab",
            "calldata_variants": [
                "0xd90e73ab",
                "0xd90e73ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe839bd53",
            "selector": "0xe839bd53",
            "calldata_variants": [
                "0xe839bd53",
                "0xe839bd530000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe8e834a9",
            "selector": "0xe8e834a9",
            "calldata_variants": [
                "0xe8e834a9",
                "0xe8e834a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb9f36874",
            "selector": "0xb9f36874",
            "calldata_variants": [
                "0xb9f36874",
                "0xb9f368740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba63c817",
            "selector": "0xba63c817",
            "calldata_variants": [
                "0xba63c817",
                "0xba63c8170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xac9650d8",
            "selector": "0xac9650d8",
            "calldata_variants": [
                "0xac9650d8",
                "0xac9650d80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb18e2bbb",
            "selector": "0xb18e2bbb",
            "calldata_variants": [
                "0xb18e2bbb",
                "0xb18e2bbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb8705875",
            "selector": "0xb8705875",
            "calldata_variants": [
                "0xb8705875",
                "0xb87058750000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2324,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xd494feed6bda5e99f6893ad5bce7a50d4fd31037369ac17c0da874b876c5dfd0
call_targets: 0x00000000000000447e69651d841bd8d104bed493
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd494feed6bda5e99f6893ad5bce7a50d4fd31037369ac17c0da874b876c5dfd0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x00000000000000447e69651d841bd8d104bed493"
    ],
    "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": "0xd90e73ab",
            "selector": "0xd90e73ab",
            "calldata_variants": [
                "0xd90e73ab",
                "0xd90e73ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe839bd53",
            "selector": "0xe839bd53",
            "calldata_variants": [
                "0xe839bd53",
                "0xe839bd530000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe8e834a9",
            "selector": "0xe8e834a9",
            "calldata_variants": [
                "0xe8e834a9",
                "0xe8e834a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb9f36874",
            "selector": "0xb9f36874",
            "calldata_variants": [
                "0xb9f36874",
                "0xb9f368740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba63c817",
            "selector": "0xba63c817",
            "calldata_variants": [
                "0xba63c817",
                "0xba63c8170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xac9650d8",
            "selector": "0xac9650d8",
            "calldata_variants": [
                "0xac9650d8",
                "0xac9650d80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb18e2bbb",
            "selector": "0xb18e2bbb",
            "calldata_variants": [
                "0xb18e2bbb",
                "0xb18e2bbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb8705875",
            "selector": "0xb8705875",
            "calldata_variants": [
                "0xb8705875",
                "0xb87058750000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2324,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}