Analysis Run

019b477e-b9e1-73e4-a7b9-553b952ca20f

complete

Chain ID

1

Address

0x66be1bc6c6af47900bbd4f3711801be6c2c6cb32

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Authorization based on tx.origin

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
23655	artifact.fetch	complete	1 / 3	3 months ago
23656	tool.cast_disasm	complete	1 / 3	3 months ago
90369	analysis.bundle	complete	1 / 3	1 week ago
90370	capability.graph	complete	1 / 3	1 week ago
90371	detector.run	complete	1 / 3	1 week ago
90372	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

5

EXT*/BALANCE

4

Total opcodes

5037

Flags

selfdestruct_present create_opcodes_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01f9
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x58516661
00000019: GT
0000001a: PUSH2 0x010d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb74e452b
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd93be433
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd93be433
0000003a: EQ
0000003b: PUSH2 0x06c2
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe7ee6ad6
00000045: EQ
00000046: PUSH2 0x06ec
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xefbe1c1c
00000050: EQ
00000051: PUSH2 0x0716
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf0da9344
0000005b: EQ
0000005c: PUSH2 0x072b
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2c298be
00000066: EQ
00000067: PUSH2 0x0740
0000006a: JUMPI
0000006b: PUSH2 0x01f9
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb74e452b
00000076: EQ
00000077: PUSH2 0x0649
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xcce7ec13
00000081: EQ
00000082: PUSH2 0x065e
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd55ec697
0000008c: EQ
0000008d: PUSH2 0x068a
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xd6febde8
00000097: EQ
00000098: PUSH2 0x069f
0000009b: JUMPI
0000009c: PUSH2 0x01f9
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x95d89b41
000000a7: GT
000000a8: PUSH2 0x00dc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x95d89b41
000000b2: EQ
000000b3: PUSH2 0x05f5
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa6f2ae3a
000000bd: EQ
000000be: PUSH2 0x01f9
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xaaaadb58
000000c8: EQ
000000c9: PUSH2 0x060a
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xb3bb8cd4
000000d3: EQ
000000d4: PUSH2 0x0634
000000d7: JUMPI
000000d8: PUSH2 0x01f9
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x58516661
000000e3: EQ
000000e4: PUSH2 0x0550
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x70a08231
000000ee: EQ
000000ef: PUSH2 0x0565
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x729fc613
000000f9: EQ
000000fa: PUSH2 0x0598
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x757b0884
00000104: EQ
00000105: PUSH2 0x05cb
00000108: JUMPI
00000109: PUSH2 0x01f9
0000010c: JUMP
0000010d: JUMPDEST
0000010e: DUP1
0000010f: PUSH4 0x18160ddd
00000114: GT
00000115: PUSH2 0x0190
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x3ef7c687
0000011f: GT
00000120: PUSH2 0x015f
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x3ef7c687
0000012a: EQ
0000012b: PUSH2 0x0413
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x402e912f
00000135: EQ
00000136: PUSH2 0x0461
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x489b3fee
00000140: EQ
00000141: PUSH2 0x0476
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x4c54e1b5
0000014b: EQ
0000014c: PUSH2 0x04a9
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x4e71d92d
00000156: EQ
00000157: PUSH2 0x053b
0000015a: JUMPI
0000015b: PUSH2 0x01f9
0000015e: JUMP
0000015f: JUMPDEST
00000160: DUP1
00000161: PUSH4 0x18160ddd
00000166: EQ
00000167: PUSH2 0x0385
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x274806e0
00000171: EQ
00000172: PUSH2 0x039a
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x313ce567
0000017c: EQ
0000017d: PUSH2 0x03d3
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x3ccfd60b
00000187: EQ
00000188: PUSH2 0x03fe
0000018b: JUMPI
0000018c: PUSH2 0x01f9
0000018f: JUMP
00000190: JUMPDEST
00000191: DUP1
00000192: PUSH4 0x116134ee
00000197: GT
00000198: PUSH2 0x01cc
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x116134ee
000001a2: EQ
000001a3: PUSH2 0x02ec
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x12fa6feb
000001ad: EQ
000001ae: PUSH2 0x0301
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x16f0115b
000001b8: EQ
000001b9: PUSH2 0x032a
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x17604f71
000001c3: EQ
000001c4: PUSH2 0x033f
000001c7: JUMPI
000001c8: PUSH2 0x01f9
000001cb: JUMP
000001cc: JUMPDEST
000001cd: DUP1
000001ce: PUSH4 0x018a25e8
000001d3: EQ
000001d4: PUSH2 0x0203
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x03314efa
000001de: EQ
000001df: PUSH2 0x022a
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x06fdde03
000001e9: EQ
000001ea: PUSH2 0x023f
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x0ddeb632
000001f4: EQ
000001f5: PUSH2 0x02c9
000001f8: JUMPI
000001f9: JUMPDEST
000001fa: PUSH2 0x0201
000001fd: PUSH2 0x07b0
00000200: JUMP
00000201: JUMPDEST
00000202: STOP
00000203: JUMPDEST
00000204: CALLVALUE
00000205: DUP1
00000206: ISZERO
00000207: PUSH2 0x020f
0000020a: JUMPI
0000020b: PUSH1 0x00
0000020d: DUP1
0000020e: REVERT
0000020f: JUMPDEST
00000210: POP
00000211: PUSH2 0x0218
00000214: PUSH2 0x07f5
00000217: JUMP
00000218: JUMPDEST
00000219: PUSH1 0x40
0000021b: DUP1
0000021c: MLOAD
0000021d: SWAP2
0000021e: DUP3
0000021f: MSTORE
00000220: MLOAD
00000221: SWAP1
00000222: DUP2
00000223: SWAP1
00000224: SUB
00000225: PUSH1 0x20
00000227: ADD
00000228: SWAP1
00000229: RETURN
0000022a: JUMPDEST
0000022b: CALLVALUE
0000022c: DUP1
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: POP
00000238: PUSH2 0x0218
0000023b: PUSH2 0x089c
0000023e: JUMP
0000023f: JUMPDEST
00000240: CALLVALUE
00000241: DUP1
00000242: ISZERO
00000243: PUSH2 0x024b
00000246: JUMPI
00000247: PUSH1 0x00
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: POP
0000024d: PUSH2 0x0254
00000250: PUSH2 0x08a2
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH1 0x40
00000257: DUP1
00000258: MLOAD
00000259: PUSH1 0x20
0000025b: DUP1
0000025c: DUP3
0000025d: MSTORE
0000025e: DUP4
0000025f: MLOAD
00000260: DUP2
00000261: DUP4
00000262: ADD
00000263: MSTORE
00000264: DUP4
00000265: MLOAD
00000266: SWAP2
00000267: SWAP3
00000268: DUP4
00000269: SWAP3
0000026a: SWAP1
0000026b: DUP4
0000026c: ADD
0000026d: SWAP2
0000026e: DUP6
0000026f: ADD
00000270: SWAP1
00000271: DUP1
00000272: DUP4
00000273: DUP4
00000274: PUSH1 0x00
00000276: JUMPDEST
00000277: DUP4
00000278: DUP2
00000279: LT
0000027a: ISZERO
0000027b: PUSH2 0x028e
0000027e: JUMPI
0000027f: DUP2
00000280: DUP2
00000281: ADD
00000282: MLOAD
00000283: DUP4
00000284: DUP3
00000285: ADD
00000286: MSTORE
00000287: PUSH1 0x20
00000289: ADD
0000028a: PUSH2 0x0276
0000028d: JUMP
0000028e: JUMPDEST
0000028f: POP
00000290: POP
00000291: POP
00000292: POP
00000293: SWAP1
00000294: POP
00000295: SWAP1
00000296: DUP2
00000297: ADD
00000298: SWAP1
00000299: PUSH1 0x1f
0000029b: AND
0000029c: DUP1
0000029d: ISZERO
0000029e: PUSH2 0x02bb
000002a1: JUMPI
000002a2: DUP1
000002a3: DUP3
000002a4: SUB
000002a5: DUP1
000002a6: MLOAD
000002a7: PUSH1 0x01
000002a9: DUP4
000002aa: PUSH1 0x20
000002ac: SUB
000002ad: PUSH2 0x0100
000002b0: EXP
000002b1: SUB
000002b2: NOT
000002b3: AND
000002b4: DUP2
000002b5: MSTORE
000002b6: PUSH1 0x20
000002b8: ADD
000002b9: SWAP2
000002ba: POP
000002bb: JUMPDEST
000002bc: POP
000002bd: SWAP3
000002be: POP
000002bf: POP
000002c0: POP
000002c1: PUSH1 0x40
000002c3: MLOAD
000002c4: DUP1
000002c5: SWAP2
000002c6: SUB
000002c7: SWAP1
000002c8: RETURN
000002c9: JUMPDEST
000002ca: PUSH2 0x0201
000002cd: PUSH1 0x04
000002cf: DUP1
000002d0: CALLDATASIZE
000002d1: SUB
000002d2: PUSH1 0x40
000002d4: DUP2
000002d5: LT
000002d6: ISZERO
000002d7: PUSH2 0x02df
000002da: JUMPI
000002db: PUSH1 0x00
000002dd: DUP1
000002de: REVERT
000002df: JUMPDEST
000002e0: POP
000002e1: DUP1
000002e2: CALLDATALOAD
000002e3: SWAP1
000002e4: PUSH1 0x20
000002e6: ADD
000002e7: CALLDATALOAD
000002e8: PUSH2 0x08d0
000002eb: JUMP
000002ec: JUMPDEST
000002ed: CALLVALUE
000002ee: DUP1
000002ef: ISZERO
000002f0: PUSH2 0x02f8
000002f3: JUMPI
000002f4: PUSH1 0x00
000002f6: DUP1
000002f7: REVERT
000002f8: JUMPDEST
000002f9: POP
000002fa: PUSH2 0x0218
000002fd: PUSH2 0x095f
00000300: JUMP
00000301: JUMPDEST
00000302: CALLVALUE
00000303: DUP1
00000304: ISZERO
00000305: PUSH2 0x030d
00000308: JUMPI
00000309: PUSH1 0x00
0000030b: DUP1
0000030c: REVERT
0000030d: JUMPDEST
0000030e: POP
0000030f: PUSH2 0x0316
00000312: PUSH2 0x0965
00000315: JUMP
00000316: JUMPDEST
00000317: PUSH1 0x40
00000319: DUP1
0000031a: MLOAD
0000031b: SWAP2
0000031c: ISZERO
0000031d: ISZERO
0000031e: DUP3
0000031f: MSTORE
00000320: MLOAD
00000321: SWAP1
00000322: DUP2
00000323: SWAP1
00000324: SUB
00000325: PUSH1 0x20
00000327: ADD
00000328: SWAP1
00000329: RETURN
0000032a: JUMPDEST
0000032b: CALLVALUE
0000032c: DUP1
0000032d: ISZERO
0000032e: PUSH2 0x0336
00000331: JUMPI
00000332: PUSH1 0x00
00000334: DUP1
00000335: REVERT
00000336: JUMPDEST
00000337: POP
00000338: PUSH2 0x0218
0000033b: PUSH2 0x096e
0000033e: JUMP
0000033f: JUMPDEST
00000340: CALLVALUE
00000341: DUP1
00000342: ISZERO
00000343: PUSH2 0x034b
00000346: JUMPI
00000347: PUSH1 0x00
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: PUSH2 0x0369
00000350: PUSH1 0x04
00000352: DUP1
00000353: CALLDATASIZE
00000354: SUB
00000355: PUSH1 0x20
00000357: DUP2
00000358: LT
00000359: ISZERO
0000035a: PUSH2 0x0362
0000035d: JUMPI
0000035e: PUSH1 0x00
00000360: DUP1
00000361: REVERT
00000362: JUMPDEST
00000363: POP
00000364: CALLDATALOAD
00000365: PUSH2 0x0974
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH1 0x40
0000036c: DUP1
0000036d: MLOAD
0000036e: PUSH1 0x01
00000370: PUSH1 0x01
00000372: PUSH1 0xa0
00000374: SHL
00000375: SUB
00000376: SWAP1
00000377: SWAP3
00000378: AND
00000379: DUP3
0000037a: MSTORE
0000037b: MLOAD
0000037c: SWAP1
0000037d: DUP2
0000037e: SWAP1
0000037f: SUB
00000380: PUSH1 0x20
00000382: ADD
00000383: SWAP1
00000384: RETURN
00000385: JUMPDEST
00000386: CALLVALUE
00000387: DUP1
00000388: ISZERO
00000389: PUSH2 0x0391
0000038c: JUMPI
0000038d: PUSH1 0x00
0000038f: DUP1
00000390: REVERT
00000391: JUMPDEST
00000392: POP
00000393: PUSH2 0x0218
00000396: PUSH2 0x098f
00000399: JUMP
0000039a: JUMPDEST
0000039b: CALLVALUE
0000039c: DUP1
0000039d: ISZERO
0000039e: PUSH2 0x03a6
000003a1: JUMPI
000003a2: PUSH1 0x00
000003a4: DUP1
000003a5: REVERT
000003a6: JUMPDEST
000003a7: POP
000003a8: PUSH2 0x0218
000003ab: PUSH1 0x04
000003ad: DUP1
000003ae: CALLDATASIZE
000003af: SUB
000003b0: PUSH1 0x40
000003b2: DUP2
000003b3: LT
000003b4: ISZERO
000003b5: PUSH2 0x03bd
000003b8: JUMPI
000003b9: PUSH1 0x00
000003bb: DUP1
000003bc: REVERT
000003bd: JUMPDEST
000003be: POP
000003bf: PUSH1 0x01
000003c1: PUSH1 0x01
000003c3: PUSH1 0xa0
000003c5: SHL
000003c6: SUB
000003c7: DUP2
000003c8: CALLDATALOAD
000003c9: AND
000003ca: SWAP1
000003cb: PUSH1 0x20
000003cd: ADD
000003ce: CALLDATALOAD
000003cf: PUSH2 0x09ac
000003d2: JUMP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x03e8
000003e4: PUSH2 0x09c9
000003e7: JUMP
000003e8: JUMPDEST
000003e9: PUSH1 0x40
000003eb: DUP1
000003ec: MLOAD
000003ed: PUSH1 0xff
000003ef: SWAP1
000003f0: SWAP3
000003f1: AND
000003f2: DUP3
000003f3: MSTORE
000003f4: MLOAD
000003f5: SWAP1
000003f6: DUP2
000003f7: SWAP1
000003f8: SUB
000003f9: PUSH1 0x20
000003fb: ADD
000003fc: SWAP1
000003fd: RETURN
000003fe: JUMPDEST
000003ff: CALLVALUE
00000400: DUP1
00000401: ISZERO
00000402: PUSH2 0x040a
00000405: JUMPI
00000406: PUSH1 0x00
00000408: DUP1
00000409: REVERT
0000040a: JUMPDEST
0000040b: POP
0000040c: PUSH2 0x0201
0000040f: PUSH2 0x09ce
00000412: JUMP
00000413: JUMPDEST
00000414: CALLVALUE
00000415: DUP1
00000416: ISZERO
00000417: PUSH2 0x041f
0000041a: JUMPI
0000041b: PUSH1 0x00
0000041d: DUP1
0000041e: REVERT
0000041f: JUMPDEST
00000420: POP
00000421: PUSH2 0x0428
00000424: PUSH2 0x0a06
00000427: JUMP
00000428: JUMPDEST
00000429: PUSH1 0x40
0000042b: MLOAD
0000042c: DUP1
0000042d: DUP3
0000042e: PUSH2 0x0c80
00000431: DUP1
00000432: DUP4
00000433: DUP4
00000434: PUSH1 0x00
00000436: JUMPDEST
00000437: DUP4
00000438: DUP2
00000439: LT
0000043a: ISZERO
0000043b: PUSH2 0x044e
0000043e: JUMPI
0000043f: DUP2
00000440: DUP2
00000441: ADD
00000442: MLOAD
00000443: DUP4
00000444: DUP3
00000445: ADD
00000446: MSTORE
00000447: PUSH1 0x20
00000449: ADD
0000044a: PUSH2 0x0436
0000044d: JUMP
0000044e: JUMPDEST
0000044f: POP
00000450: POP
00000451: POP
00000452: POP
00000453: SWAP1
00000454: POP
00000455: ADD
00000456: SWAP2
00000457: POP
00000458: POP
00000459: PUSH1 0x40
0000045b: MLOAD
0000045c: DUP1
0000045d: SWAP2
0000045e: SUB
0000045f: SWAP1
00000460: RETURN
00000461: JUMPDEST
00000462: CALLVALUE
00000463: DUP1
00000464: ISZERO
00000465: PUSH2 0x046d
00000468: JUMPI
00000469: PUSH1 0x00
0000046b: DUP1
0000046c: REVERT
0000046d: JUMPDEST
0000046e: POP
0000046f: PUSH2 0x0218
00000472: PUSH2 0x0a4b
00000475: JUMP
00000476: JUMPDEST
00000477: CALLVALUE
00000478: DUP1
00000479: ISZERO
0000047a: PUSH2 0x0482
0000047d: JUMPI
0000047e: PUSH1 0x00
00000480: DUP1
00000481: REVERT
00000482: JUMPDEST
00000483: POP
00000484: PUSH2 0x0428
00000487: PUSH1 0x04
00000489: DUP1
0000048a: CALLDATASIZE
0000048b: SUB
0000048c: PUSH1 0x20
0000048e: DUP2
0000048f: LT
00000490: ISZERO
00000491: PUSH2 0x0499
00000494: JUMPI
00000495: PUSH1 0x00
00000497: DUP1
00000498: REVERT
00000499: JUMPDEST
0000049a: POP
0000049b: CALLDATALOAD
0000049c: PUSH1 0x01
0000049e: PUSH1 0x01
000004a0: PUSH1 0xa0
000004a2: SHL
000004a3: SUB
000004a4: AND
000004a5: PUSH2 0x0a51
000004a8: JUMP
000004a9: JUMPDEST
000004aa: CALLVALUE
000004ab: DUP1
000004ac: ISZERO
000004ad: PUSH2 0x04b5
000004b0: JUMPI
000004b1: PUSH1 0x00
000004b3: DUP1
000004b4: REVERT
000004b5: JUMPDEST
000004b6: POP
000004b7: PUSH2 0x04dc
000004ba: PUSH1 0x04
000004bc: DUP1
000004bd: CALLDATASIZE
000004be: SUB
000004bf: PUSH1 0x20
000004c1: DUP2
000004c2: LT
000004c3: ISZERO
000004c4: PUSH2 0x04cc
000004c7: JUMPI
000004c8: PUSH1 0x00
000004ca: DUP1
000004cb: REVERT
000004cc: JUMPDEST
000004cd: POP
000004ce: CALLDATALOAD
000004cf: PUSH1 0x01
000004d1: PUSH1 0x01
000004d3: PUSH1 0xa0
000004d5: SHL
000004d6: SUB
000004d7: AND
000004d8: PUSH2 0x0aad
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH1 0x40
000004df: DUP1
000004e0: MLOAD
000004e1: SWAP13
000004e2: DUP14
000004e3: MSTORE
000004e4: PUSH1 0x20
000004e6: DUP14
000004e7: ADD
000004e8: SWAP12
000004e9: SWAP1
000004ea: SWAP12
000004eb: MSTORE
000004ec: DUP12
000004ed: DUP12
000004ee: ADD
000004ef: SWAP10
000004f0: SWAP1
000004f1: SWAP10
000004f2: MSTORE
000004f3: SWAP7
000004f4: ISZERO
000004f5: ISZERO
000004f6: PUSH1 0x60
000004f8: DUP12
000004f9: ADD
000004fa: MSTORE
000004fb: SWAP5
000004fc: ISZERO
000004fd: ISZERO
000004fe: PUSH1 0x80
00000500: DUP11
00000501: ADD
00000502: MSTORE
00000503: PUSH1 0xa0
00000505: DUP10
00000506: ADD
00000507: SWAP4
00000508: SWAP1
00000509: SWAP4
0000050a: MSTORE
0000050b: PUSH1 0xc0
0000050d: DUP9
0000050e: ADD
0000050f: SWAP2
00000510: SWAP1
00000511: SWAP2
00000512: MSTORE
00000513: PUSH1 0xe0
00000515: DUP8
00000516: ADD
00000517: MSTORE
00000518: PUSH2 0x0100
0000051b: DUP7
0000051c: ADD
0000051d: MSTORE
0000051e: PUSH2 0x0120
00000521: DUP6
00000522: ADD
00000523: MSTORE
00000524: PUSH2 0x0140
00000527: DUP5
00000528: ADD
00000529: MSTORE
0000052a: PUSH2 0x0160
0000052d: DUP4
0000052e: ADD
0000052f: MSTORE
00000530: MLOAD
00000531: SWAP1
00000532: DUP2
00000533: SWAP1
00000534: SUB
00000535: PUSH2 0x0180
00000538: ADD
00000539: SWAP1
0000053a: RETURN
0000053b: JUMPDEST
0000053c: CALLVALUE
0000053d: DUP1
0000053e: ISZERO
0000053f: PUSH2 0x0547
00000542: JUMPI
00000543: PUSH1 0x00
00000545: DUP1
00000546: REVERT
00000547: JUMPDEST
00000548: POP
00000549: PUSH2 0x0201
0000054c: PUSH2 0x0b07
0000054f: JUMP
00000550: JUMPDEST
00000551: CALLVALUE
00000552: DUP1
00000553: ISZERO
00000554: PUSH2 0x055c
00000557: JUMPI
00000558: PUSH1 0x00
0000055a: DUP1
0000055b: REVERT
0000055c: JUMPDEST
0000055d: POP
0000055e: PUSH2 0x0218
00000561: PUSH2 0x0c6a
00000564: JUMP
00000565: JUMPDEST
00000566: CALLVALUE
00000567: DUP1
00000568: ISZERO
00000569: PUSH2 0x0571
0000056c: JUMPI
0000056d: PUSH1 0x00
0000056f: DUP1
00000570: REVERT
00000571: JUMPDEST
00000572: POP
00000573: PUSH2 0x0218
00000576: PUSH1 0x04
00000578: DUP1
00000579: CALLDATASIZE
0000057a: SUB
0000057b: PUSH1 0x20
0000057d: DUP2
0000057e: LT
0000057f: ISZERO
00000580: PUSH2 0x0588
00000583: JUMPI
00000584: PUSH1 0x00
00000586: DUP1
00000587: REVERT
00000588: JUMPDEST
00000589: POP
0000058a: CALLDATALOAD
0000058b: PUSH1 0x01
0000058d: PUSH1 0x01
0000058f: PUSH1 0xa0
00000591: SHL
00000592: SUB
00000593: AND
00000594: PUSH2 0x0c70
00000597: JUMP
00000598: JUMPDEST
00000599: CALLVALUE
0000059a: DUP1
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH2 0x0218
000005a9: PUSH1 0x04
000005ab: DUP1
000005ac: CALLDATASIZE
000005ad: SUB
000005ae: PUSH1 0x20
000005b0: DUP2
000005b1: LT
000005b2: ISZERO
000005b3: PUSH2 0x05bb
000005b6: JUMPI
000005b7: PUSH1 0x00
000005b9: DUP1
000005ba: REVERT
000005bb: JUMPDEST
000005bc: POP
000005bd: CALLDATALOAD
000005be: PUSH1 0x01
000005c0: PUSH1 0x01
000005c2: PUSH1 0xa0
000005c4: SHL
000005c5: SUB
000005c6: AND
000005c7: PUSH2 0x0ca5
000005ca: JUMP
000005cb: JUMPDEST
000005cc: CALLVALUE
000005cd: DUP1
000005ce: ISZERO
000005cf: PUSH2 0x05d7
000005d2: JUMPI
000005d3: PUSH1 0x00
000005d5: DUP1
000005d6: REVERT
000005d7: JUMPDEST
000005d8: POP
000005d9: PUSH2 0x0218
000005dc: PUSH1 0x04
000005de: DUP1
000005df: CALLDATASIZE
000005e0: SUB
000005e1: PUSH1 0x20
000005e3: DUP2
000005e4: LT
000005e5: ISZERO
000005e6: PUSH2 0x05ee
000005e9: JUMPI
000005ea: PUSH1 0x00
000005ec: DUP1
000005ed: REVERT
000005ee: JUMPDEST
000005ef: POP
000005f0: CALLDATALOAD
000005f1: PUSH2 0x0d43
000005f4: JUMP
000005f5: JUMPDEST
000005f6: CALLVALUE
000005f7: DUP1
000005f8: ISZERO
000005f9: PUSH2 0x0601
000005fc: JUMPI
000005fd: PUSH1 0x00
000005ff: DUP1
00000600: REVERT
00000601: JUMPDEST
00000602: POP
00000603: PUSH2 0x0254
00000606: PUSH2 0x0d57
00000609: JUMP
0000060a: JUMPDEST
0000060b: CALLVALUE
0000060c: DUP1
0000060d: ISZERO
0000060e: PUSH2 0x0616
00000611: JUMPI
00000612: PUSH1 0x00
00000614: DUP1
00000615: REVERT
00000616: JUMPDEST
00000617: POP
00000618: PUSH2 0x0218
0000061b: PUSH1 0x04
0000061d: DUP1
0000061e: CALLDATASIZE
0000061f: SUB
00000620: PUSH1 0x20
00000622: DUP2
00000623: LT
00000624: ISZERO
00000625: PUSH2 0x062d
00000628: JUMPI
00000629: PUSH1 0x00
0000062b: DUP1
0000062c: REVERT
0000062d: JUMPDEST
0000062e: POP
0000062f: CALLDATALOAD
00000630: PUSH2 0x0d76
00000633: JUMP
00000634: JUMPDEST
00000635: CALLVALUE
00000636: DUP1
00000637: ISZERO
00000638: PUSH2 0x0640
0000063b: JUMPI
0000063c: PUSH1 0x00
0000063e: DUP1
0000063f: REVERT
00000640: JUMPDEST
00000641: POP
00000642: PUSH2 0x0218
00000645: PUSH2 0x0d88
00000648: JUMP
00000649: JUMPDEST
0000064a: CALLVALUE
0000064b: DUP1
0000064c: ISZERO
0000064d: PUSH2 0x0655
00000650: JUMPI
00000651: PUSH1 0x00
00000653: DUP1
00000654: REVERT
00000655: JUMPDEST
00000656: POP
00000657: PUSH2 0x0218
0000065a: PUSH2 0x0d8e
0000065d: JUMP
0000065e: JUMPDEST
0000065f: PUSH2 0x0201
00000662: PUSH1 0x04
00000664: DUP1
00000665: CALLDATASIZE
00000666: SUB
00000667: PUSH1 0x40
00000669: DUP2
0000066a: LT
0000066b: ISZERO
0000066c: PUSH2 0x0674
0000066f: JUMPI
00000670: PUSH1 0x00
00000672: DUP1
00000673: REVERT
00000674: JUMPDEST
00000675: POP
00000676: PUSH1 0x01
00000678: PUSH1 0x01
0000067a: PUSH1 0xa0
0000067c: SHL
0000067d: SUB
0000067e: DUP2
0000067f: CALLDATALOAD
00000680: AND
00000681: SWAP1
00000682: PUSH1 0x20
00000684: ADD
00000685: CALLDATALOAD
00000686: PUSH2 0x0d94
00000689: JUMP
0000068a: JUMPDEST
0000068b: CALLVALUE
0000068c: DUP1
0000068d: ISZERO
0000068e: PUSH2 0x0696
00000691: JUMPI
00000692: PUSH1 0x00
00000694: DUP1
00000695: REVERT
00000696: JUMPDEST
00000697: POP
00000698: PUSH2 0x0201
0000069b: PUSH2 0x0e27
0000069e: JUMP
0000069f: JUMPDEST
000006a0: PUSH2 0x0201
000006a3: PUSH1 0x04
000006a5: DUP1
000006a6: CALLDATASIZE
000006a7: SUB
000006a8: PUSH1 0x40
000006aa: DUP2
000006ab: LT
000006ac: ISZERO
000006ad: PUSH2 0x06b5
000006b0: JUMPI
000006b1: PUSH1 0x00
000006b3: DUP1
000006b4: REVERT
000006b5: JUMPDEST
000006b6: POP
000006b7: DUP1
000006b8: CALLDATALOAD
000006b9: SWAP1
000006ba: PUSH1 0x20
000006bc: ADD
000006bd: CALLDATALOAD
000006be: PUSH2 0x0f77
000006c1: JUMP
000006c2: JUMPDEST
000006c3: CALLVALUE
000006c4: DUP1
000006c5: ISZERO
000006c6: PUSH2 0x06ce
000006c9: JUMPI
000006ca: PUSH1 0x00
000006cc: DUP1
000006cd: REVERT
000006ce: JUMPDEST
000006cf: POP
000006d0: PUSH2 0x0369
000006d3: PUSH1 0x04
000006d5: DUP1
000006d6: CALLDATASIZE
000006d7: SUB
000006d8: PUSH1 0x20
000006da: DUP2
000006db: LT
000006dc: ISZERO
000006dd: PUSH2 0x06e5
000006e0: JUMPI
000006e1: PUSH1 0x00
000006e3: DUP1
000006e4: REVERT
000006e5: JUMPDEST
000006e6: POP
000006e7: CALLDATALOAD
000006e8: PUSH2 0x0ffa
000006eb: JUMP
000006ec: JUMPDEST
000006ed: CALLVALUE
000006ee: DUP1
000006ef: ISZERO
000006f0: PUSH2 0x06f8
000006f3: JUMPI
000006f4: PUSH1 0x00
000006f6: DUP1
000006f7: REVERT
000006f8: JUMPDEST
000006f9: POP
000006fa: PUSH2 0x0218
000006fd: PUSH1 0x04
000006ff: DUP1
00000700: CALLDATASIZE
00000701: SUB
00000702: PUSH1 0x20
00000704: DUP2
00000705: LT
00000706: ISZERO
00000707: PUSH2 0x070f
0000070a: JUMPI
0000070b: PUSH1 0x00
0000070d: DUP1
0000070e: REVERT
0000070f: JUMPDEST
00000710: POP
00000711: CALLDATALOAD
00000712: PUSH2 0x1015
00000715: JUMP
00000716: JUMPDEST
00000717: CALLVALUE
00000718: DUP1
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: PUSH2 0x0218
00000727: PUSH2 0x1022
0000072a: JUMP
0000072b: JUMPDEST
0000072c: CALLVALUE
0000072d: DUP1
0000072e: ISZERO
0000072f: PUSH2 0x0737
00000732: JUMPI
00000733: PUSH1 0x00
00000735: DUP1
00000736: REVERT
00000737: JUMPDEST
00000738: POP
00000739: PUSH2 0x0218
0000073c: PUSH2 0x1028
0000073f: JUMP
00000740: JUMPDEST
00000741: PUSH2 0x0201
00000744: PUSH1 0x04
00000746: DUP1
00000747: CALLDATASIZE
00000748: SUB
00000749: PUSH1 0x20
0000074b: DUP2
0000074c: LT
0000074d: ISZERO
0000074e: PUSH2 0x0756
00000751: JUMPI
00000752: PUSH1 0x00
00000754: DUP1
00000755: REVERT
00000756: JUMPDEST
00000757: DUP2
00000758: ADD
00000759: SWAP1
0000075a: PUSH1 0x20
0000075c: DUP2
0000075d: ADD
0000075e: DUP2
0000075f: CALLDATALOAD
00000760: PUSH5 0x0100000000
00000766: DUP2
00000767: GT
00000768: ISZERO
00000769: PUSH2 0x0771
0000076c: JUMPI
0000076d: PUSH1 0x00
0000076f: DUP1
00000770: REVERT
00000771: JUMPDEST
00000772: DUP3
00000773: ADD
00000774: DUP4
00000775: PUSH1 0x20
00000777: DUP3
00000778: ADD
00000779: GT
0000077a: ISZERO
0000077b: PUSH2 0x0783
0000077e: JUMPI
0000077f: PUSH1 0x00
00000781: DUP1
00000782: REVERT
00000783: JUMPDEST
00000784: DUP1
00000785: CALLDATALOAD
00000786: SWAP1
00000787: PUSH1 0x20
00000789: ADD
0000078a: SWAP2
0000078b: DUP5
0000078c: PUSH1 0x01
0000078e: DUP4
0000078f: MUL
00000790: DUP5
00000791: ADD
00000792: GT
00000793: PUSH5 0x0100000000
00000799: DUP4
0000079a: GT
0000079b: OR
0000079c: ISZERO
0000079d: PUSH2 0x07a5
000007a0: JUMPI
000007a1: PUSH1 0x00
000007a3: DUP1
000007a4: REVERT
000007a5: JUMPDEST
000007a6: POP
000007a7: SWAP1
000007a8: SWAP3
000007a9: POP
000007aa: SWAP1
000007ab: POP
000007ac: PUSH2 0x102e
000007af: JUMP
000007b0: JUMPDEST
000007b1: PUSH2 0x07b8
000007b4: PUSH2 0x12d4
000007b7: JUMP
000007b8: JUMPDEST
000007b9: ISZERO
000007ba: PUSH2 0x07e6
000007bd: JUMPI
000007be: CALLER
000007bf: ORIGIN
000007c0: EQ
000007c1: ISZERO
000007c2: PUSH2 0x07d5
000007c5: JUMPI
000007c6: PUSH2 0x07cf
000007c9: CALLER
000007ca: CALLVALUE
000007cb: PUSH2 0x13e8
000007ce: JUMP
000007cf: JUMPDEST
000007d0: POP
000007d1: PUSH2 0x07e1
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH2 0x07df
000007d9: CALLER
000007da: CALLVALUE
000007db: PUSH2 0x1445
000007de: JUMP
000007df: JUMPDEST
000007e0: POP
000007e1: JUMPDEST
000007e2: PUSH2 0x07f3
000007e5: JUMP
000007e6: JUMPDEST
000007e7: PUSH2 0x07f3
000007ea: CALLER
000007eb: CALLVALUE
000007ec: PUSH1 0x00
000007ee: DUP1
000007ef: PUSH2 0x1494
000007f2: JUMP
000007f3: JUMPDEST
000007f4: JUMP
000007f5: JUMPDEST
000007f6: PUSH1 0x01
000007f8: SLOAD
000007f9: PUSH1 0x09
000007fb: SLOAD
000007fc: PUSH1 0x00
000007fe: SWAP2
000007ff: PUSH1 0x01
00000801: PUSH1 0x01
00000803: PUSH1 0xa0
00000805: SHL
00000806: SUB
00000807: AND
00000808: SWAP1
00000809: PUSH4 0x6deba228
0000080e: SWAP1
0000080f: PUSH2 0x0826
00000812: SWAP1
00000813: PUSH8 0x0de0b6b3a7640000
0000081c: PUSH4 0xffffffff
00000821: PUSH2 0x183d
00000824: AND
00000825: JUMP
00000826: JUMPDEST
00000827: PUSH8 0x0de0b6b3a7640000
00000830: PUSH1 0x40
00000832: MLOAD
00000833: DUP4
00000834: PUSH4 0xffffffff
00000839: AND
0000083a: PUSH1 0xe0
0000083c: SHL
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x04
00000841: ADD
00000842: DUP1
00000843: DUP4
00000844: DUP2
00000845: MSTORE
00000846: PUSH1 0x20
00000848: ADD
00000849: DUP3
0000084a: DUP2
0000084b: MSTORE
0000084c: PUSH1 0x20
0000084e: ADD
0000084f: SWAP3
00000850: POP
00000851: POP
00000852: POP
00000853: PUSH1 0x20
00000855: PUSH1 0x40
00000857: MLOAD
00000858: DUP1
00000859: DUP4
0000085a: SUB
0000085b: DUP2
0000085c: DUP7
0000085d: DUP1
0000085e: EXTCODESIZE
0000085f: ISZERO
00000860: DUP1
00000861: ISZERO
00000862: PUSH2 0x086a
00000865: JUMPI
00000866: PUSH1 0x00
00000868: DUP1
00000869: REVERT
0000086a: JUMPDEST
0000086b: POP
0000086c: GAS
0000086d: STATICCALL
0000086e: ISZERO
0000086f: DUP1
00000870: ISZERO
00000871: PUSH2 0x087e
00000874: JUMPI
00000875: RETURNDATASIZE
00000876: PUSH1 0x00
00000878: DUP1
00000879: RETURNDATACOPY
0000087a: RETURNDATASIZE
0000087b: PUSH1 0x00
0000087d: REVERT
0000087e: JUMPDEST
0000087f: POP
00000880: POP
00000881: POP
00000882: POP
00000883: PUSH1 0x40
00000885: MLOAD
00000886: RETURNDATASIZE
00000887: PUSH1 0x20
00000889: DUP2
0000088a: LT
0000088b: ISZERO
0000088c: PUSH2 0x0894
0000088f: JUMPI
00000890: PUSH1 0x00
00000892: DUP1
00000893: REVERT
00000894: JUMPDEST
00000895: POP
00000896: MLOAD
00000897: SWAP1
00000898: POP
00000899: JUMPDEST
0000089a: SWAP1
0000089b: JUMP
0000089c: JUMPDEST
0000089d: PUSH1 0x09
0000089f: SLOAD
000008a0: DUP2
000008a1: JUMP
000008a2: JUMPDEST
000008a3: PUSH1 0x40
000008a5: MLOAD
000008a6: DUP1
000008a7: PUSH1 0x40
000008a9: ADD
000008aa: PUSH1 0x40
000008ac: MSTORE
000008ad: DUP1
000008ae: PUSH1 0x12
000008b0: DUP2
000008b1: MSTORE
000008b2: PUSH1 0x20
000008b4: ADD
000008b5: PUSH18 0x151a1a5c9908119b1bdbdc88135d5d1d585b
000008c8: PUSH1 0x72
000008ca: SHL
000008cb: DUP2
000008cc: MSTORE
000008cd: POP
000008ce: DUP2
000008cf: JUMP
000008d0: JUMPDEST
000008d1: CALLER
000008d2: ORIGIN
000008d3: EQ
000008d4: PUSH2 0x0918
000008d7: JUMPI
000008d8: PUSH1 0x40
000008da: DUP1
000008db: MLOAD
000008dc: PUSH3 0x461bcd
000008e0: PUSH1 0xe5
000008e2: SHL
000008e3: DUP2
000008e4: MSTORE
000008e5: PUSH1 0x20
000008e7: PUSH1 0x04
000008e9: DUP3
000008ea: ADD
000008eb: MSTORE
000008ec: PUSH1 0x11
000008ee: PUSH1 0x24
000008f0: DUP3
000008f1: ADD
000008f2: MSTORE
000008f3: PUSH17 0x736f7272792068756d616e73206f6e6c79
00000905: PUSH1 0x78
00000907: SHL
00000908: PUSH1 0x44
0000090a: DUP3
0000090b: ADD
0000090c: MSTORE
0000090d: SWAP1
0000090e: MLOAD
0000090f: SWAP1
00000910: DUP2
00000911: SWAP1
00000912: SUB
00000913: PUSH1 0x64
00000915: ADD
00000916: SWAP1
00000917: REVERT
00000918: JUMPDEST
00000919: PUSH2 0x0920
0000091c: PUSH2 0x12d4
0000091f: JUMP
00000920: JUMPDEST
00000921: ISZERO
00000922: PUSH2 0x0935
00000925: JUMPI
00000926: PUSH2 0x092f
00000929: CALLER
0000092a: CALLVALUE
0000092b: PUSH2 0x13e8
0000092e: JUMP
0000092f: JUMPDEST
00000930: POP
00000931: PUSH2 0x095b
00000934: JUMP
00000935: JUMPDEST
00000936: PUSH1 0x00
00000938: DUP3
00000939: DUP2
0000093a: MSTORE
0000093b: PUSH1 0x11
0000093d: PUSH1 0x20
0000093f: MSTORE
00000940: PUSH1 0x40
00000942: SWAP1
00000943: KECCAK256
00000944: SLOAD
00000945: PUSH1 0x01
00000947: PUSH1 0x01
00000949: PUSH1 0xa0
0000094b: SHL
0000094c: SUB
0000094d: AND
0000094e: PUSH2 0x0959
00000951: CALLER
00000952: CALLVALUE
00000953: DUP5
00000954: DUP5
00000955: PUSH2 0x1494
00000958: JUMP
00000959: JUMPDEST
0000095a: POP
0000095b: JUMPDEST
0000095c: POP
0000095d: POP
0000095e: JUMP
0000095f: JUMPDEST
00000960: PUSH1 0x0d
00000962: SLOAD
00000963: DUP2
00000964: JUMP
00000965: JUMPDEST
00000966: PUSH1 0x04
00000968: SLOAD
00000969: PUSH1 0xff
0000096b: AND
0000096c: DUP2
0000096d: JUMP
0000096e: JUMPDEST
0000096f: PUSH1 0x0a
00000971: SLOAD
00000972: DUP2
00000973: JUMP
00000974: JUMPDEST
00000975: PUSH1 0x11
00000977: PUSH1 0x20
00000979: MSTORE
0000097a: PUSH1 0x00
0000097c: SWAP1
0000097d: DUP2
0000097e: MSTORE
0000097f: PUSH1 0x40
00000981: SWAP1
00000982: KECCAK256
00000983: SLOAD
00000984: PUSH1 0x01
00000986: PUSH1 0x01
00000988: PUSH1 0xa0
0000098a: SHL
0000098b: SUB
0000098c: AND
0000098d: DUP2
0000098e: JUMP
0000098f: JUMPDEST
00000990: PUSH1 0x04
00000992: SLOAD
00000993: PUSH1 0x00
00000995: SWAP1
00000996: PUSH1 0xff
00000998: AND
00000999: ISZERO
0000099a: PUSH2 0x09a5
0000099d: JUMPI
0000099e: POP
0000099f: PUSH1 0x00
000009a1: PUSH2 0x0899
000009a4: JUMP
000009a5: JUMPDEST
000009a6: POP
000009a7: PUSH1 0x09
000009a9: SLOAD
000009aa: SWAP1
000009ab: JUMP
000009ac: JUMPDEST
000009ad: PUSH1 0x05
000009af: PUSH1 0x20
000009b1: SWAP1
000009b2: DUP2
000009b3: MSTORE
000009b4: PUSH1 0x00
000009b6: SWAP3
000009b7: DUP4
000009b8: MSTORE
000009b9: PUSH1 0x40
000009bb: DUP1
000009bc: DUP5
000009bd: KECCAK256
000009be: SWAP1
000009bf: SWAP2
000009c0: MSTORE
000009c1: SWAP1
000009c2: DUP3
000009c3: MSTORE
000009c4: SWAP1
000009c5: KECCAK256
000009c6: SLOAD
000009c7: DUP2
000009c8: JUMP
000009c9: JUMPDEST
000009ca: PUSH1 0x12
000009cc: DUP2
000009cd: JUMP
000009ce: JUMPDEST
000009cf: PUSH1 0x00
000009d1: PUSH2 0x09d9
000009d4: CALLER
000009d5: PUSH2 0x184d
000009d8: JUMP
000009d9: JUMPDEST
000009da: SWAP1
000009db: POP
000009dc: DUP1
000009dd: ISZERO
000009de: PUSH2 0x0a03
000009e1: JUMPI
000009e2: CALLER
000009e3: ORIGIN
000009e4: EQ
000009e5: ISZERO
000009e6: PUSH2 0x09f9
000009e9: JUMPI
000009ea: PUSH2 0x09f3
000009ed: CALLER
000009ee: DUP3
000009ef: PUSH2 0x13e8
000009f2: JUMP
000009f3: JUMPDEST
000009f4: POP
000009f5: PUSH2 0x0a03
000009f8: JUMP
000009f9: JUMPDEST
000009fa: PUSH2 0x095b
000009fd: CALLER
000009fe: DUP3
000009ff: PUSH2 0x1445
00000a02: JUMP
00000a03: JUMPDEST
00000a04: POP
00000a05: JUMP
00000a06: JUMPDEST
00000a07: PUSH2 0x0a0e
00000a0a: PUSH2 0x1d5b
00000a0d: JUMP
00000a0e: JUMPDEST
00000a0f: PUSH1 0x00
00000a11: JUMPDEST
00000a12: PUSH1 0x64
00000a14: DUP2
00000a15: LT
00000a16: ISZERO
00000a17: PUSH2 0x0a47
00000a1a: JUMPI
00000a1b: PUSH1 0x0b
00000a1d: SLOAD
00000a1e: DUP2
00000a1f: ADD
00000a20: PUSH1 0x00
00000a22: SWAP1
00000a23: DUP2
00000a24: MSTORE
00000a25: PUSH1 0x06
00000a27: PUSH1 0x20
00000a29: MSTORE
00000a2a: PUSH1 0x40
00000a2c: SWAP1
00000a2d: KECCAK256
00000a2e: SLOAD
00000a2f: DUP3
00000a30: DUP3
00000a31: PUSH1 0x64
00000a33: DUP2
00000a34: LT
00000a35: PUSH2 0x0a3a
00000a38: JUMPI
00000a39: INVALID
00000a3a: JUMPDEST
00000a3b: PUSH1 0x20
00000a3d: MUL
00000a3e: ADD
00000a3f: MSTORE
00000a40: PUSH1 0x01
00000a42: ADD
00000a43: PUSH2 0x0a11
00000a46: JUMP
00000a47: JUMPDEST
00000a48: POP
00000a49: SWAP1
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: PUSH1 0x07
00000a4e: SLOAD
00000a4f: DUP2
00000a50: JUMP
00000a51: JUMPDEST
00000a52: PUSH2 0x0a59
00000a55: PUSH2 0x1d5b
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: PUSH1 0x00
00000a5c: JUMPDEST
00000a5d: PUSH1 0x64
00000a5f: DUP2
00000a60: LT
00000a61: ISZERO
00000a62: PUSH2 0x0aa6
00000a65: JUMPI
00000a66: PUSH1 0x01
00000a68: PUSH1 0x01
00000a6a: PUSH1 0xa0
00000a6c: SHL
00000a6d: SUB
00000a6e: DUP4
00000a6f: AND
00000a70: PUSH1 0x00
00000a72: SWAP1
00000a73: DUP2
00000a74: MSTORE
00000a75: PUSH1 0x05
00000a77: PUSH1 0x20
00000a79: SWAP1
00000a7a: DUP2
00000a7b: MSTORE
00000a7c: PUSH1 0x40
00000a7e: DUP1
00000a7f: DUP4
00000a80: KECCAK256
00000a81: PUSH1 0x0b
00000a83: SLOAD
00000a84: DUP6
00000a85: ADD
00000a86: DUP5
00000a87: MSTORE
00000a88: SWAP1
00000a89: SWAP2
00000a8a: MSTORE
00000a8b: SWAP1
00000a8c: KECCAK256
00000a8d: SLOAD
00000a8e: DUP3
00000a8f: DUP3
00000a90: PUSH1 0x64
00000a92: DUP2
00000a93: LT
00000a94: PUSH2 0x0a99
00000a97: JUMPI
00000a98: INVALID
00000a99: JUMPDEST
00000a9a: PUSH1 0x20
00000a9c: MUL
00000a9d: ADD
00000a9e: MSTORE
00000a9f: PUSH1 0x01
00000aa1: ADD
00000aa2: PUSH2 0x0a5c
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: POP
00000aa8: JUMPDEST
00000aa9: SWAP2
00000aaa: SWAP1
00000aab: POP
00000aac: JUMP
00000aad: JUMPDEST
00000aae: PUSH1 0x0f
00000ab0: PUSH1 0x20
00000ab2: MSTORE
00000ab3: PUSH1 0x00
00000ab5: SWAP1
00000ab6: DUP2
00000ab7: MSTORE
00000ab8: PUSH1 0x40
00000aba: SWAP1
00000abb: KECCAK256
00000abc: DUP1
00000abd: SLOAD
00000abe: PUSH1 0x01
00000ac0: DUP3
00000ac1: ADD
00000ac2: SLOAD
00000ac3: PUSH1 0x02
00000ac5: DUP4
00000ac6: ADD
00000ac7: SLOAD
00000ac8: PUSH1 0x03
00000aca: DUP5
00000acb: ADD
00000acc: SLOAD
00000acd: PUSH1 0x04
00000acf: DUP6
00000ad0: ADD
00000ad1: SLOAD
00000ad2: PUSH1 0x05
00000ad4: DUP7
00000ad5: ADD
00000ad6: SLOAD
00000ad7: PUSH1 0x06
00000ad9: DUP8
00000ada: ADD
00000adb: SLOAD
00000adc: PUSH1 0x07
00000ade: DUP9
00000adf: ADD
00000ae0: SLOAD
00000ae1: PUSH1 0x08
00000ae3: DUP10
00000ae4: ADD
00000ae5: SLOAD
00000ae6: PUSH1 0x09
00000ae8: DUP11
00000ae9: ADD
00000aea: SLOAD
00000aeb: PUSH1 0x0a
00000aed: SWAP1
00000aee: SWAP11
00000aef: ADD
00000af0: SLOAD
00000af1: SWAP9
00000af2: SWAP10
00000af3: SWAP8
00000af4: SWAP9
00000af5: SWAP7
00000af6: SWAP8
00000af7: PUSH1 0xff
00000af9: DUP1
00000afa: DUP9
00000afb: AND
00000afc: SWAP9
00000afd: PUSH2 0x0100
00000b00: SWAP1
00000b01: SWAP9
00000b02: DIV
00000b03: AND
00000b04: SWAP7
00000b05: DUP13
00000b06: JUMP
00000b07: JUMPDEST
00000b08: CALLER
00000b09: ORIGIN
00000b0a: EQ
00000b0b: PUSH2 0x0b4f
00000b0e: JUMPI
00000b0f: PUSH1 0x40
00000b11: DUP1
00000b12: MLOAD
00000b13: PUSH3 0x461bcd
00000b17: PUSH1 0xe5
00000b19: SHL
00000b1a: DUP2
00000b1b: MSTORE
00000b1c: PUSH1 0x20
00000b1e: PUSH1 0x04
00000b20: DUP3
00000b21: ADD
00000b22: MSTORE
00000b23: PUSH1 0x11
00000b25: PUSH1 0x24
00000b27: DUP3
00000b28: ADD
00000b29: MSTORE
00000b2a: PUSH17 0x736f7272792068756d616e73206f6e6c79
00000b3c: PUSH1 0x78
00000b3e: SHL
00000b3f: PUSH1 0x44
00000b41: DUP3
00000b42: ADD
00000b43: MSTORE
00000b44: SWAP1
00000b45: MLOAD
00000b46: SWAP1
00000b47: DUP2
00000b48: SWAP1
00000b49: SUB
00000b4a: PUSH1 0x64
00000b4c: ADD
00000b4d: SWAP1
00000b4e: REVERT
00000b4f: JUMPDEST
00000b50: PUSH2 0x0b57
00000b53: PUSH2 0x12d4
00000b56: JUMP
00000b57: JUMPDEST
00000b58: PUSH2 0x0b92
00000b5b: JUMPI
00000b5c: PUSH1 0x40
00000b5e: DUP1
00000b5f: MLOAD
00000b60: PUSH3 0x461bcd
00000b64: PUSH1 0xe5
00000b66: SHL
00000b67: DUP2
00000b68: MSTORE
00000b69: PUSH1 0x20
00000b6b: PUSH1 0x04
00000b6d: DUP3
00000b6e: ADD
00000b6f: MSTORE
00000b70: PUSH1 0x07
00000b72: PUSH1 0x24
00000b74: DUP3
00000b75: ADD
00000b76: MSTORE
00000b77: PUSH7 0x1b9bdd081e595d
00000b7f: PUSH1 0xca
00000b81: SHL
00000b82: PUSH1 0x44
00000b84: DUP3
00000b85: ADD
00000b86: MSTORE
00000b87: SWAP1
00000b88: MLOAD
00000b89: SWAP1
00000b8a: DUP2
00000b8b: SWAP1
00000b8c: SUB
00000b8d: PUSH1 0x64
00000b8f: ADD
00000b90: SWAP1
00000b91: REVERT
00000b92: JUMPDEST
00000b93: CALLER
00000b94: PUSH1 0x00
00000b96: DUP2
00000b97: DUP2
00000b98: MSTORE
00000b99: PUSH1 0x0f
00000b9b: PUSH1 0x20
00000b9d: MSTORE
00000b9e: PUSH1 0x40
00000ba0: SWAP1
00000ba1: KECCAK256
00000ba2: PUSH1 0x03
00000ba4: ADD
00000ba5: SLOAD
00000ba6: PUSH2 0x0100
00000ba9: SWAP1
00000baa: DIV
00000bab: PUSH1 0xff
00000bad: AND
00000bae: ISZERO
00000baf: PUSH2 0x0bf1
00000bb2: JUMPI
00000bb3: PUSH1 0x40
00000bb5: DUP1
00000bb6: MLOAD
00000bb7: PUSH3 0x461bcd
00000bbb: PUSH1 0xe5
00000bbd: SHL
00000bbe: DUP2
00000bbf: MSTORE
00000bc0: PUSH1 0x20
00000bc2: PUSH1 0x04
00000bc4: DUP3
00000bc5: ADD
00000bc6: MSTORE
00000bc7: PUSH1 0x0f
00000bc9: PUSH1 0x24
00000bcb: DUP3
00000bcc: ADD
00000bcd: MSTORE
00000bce: PUSH15 0x185b1c9958591e4818db185a5b5959
00000bde: PUSH1 0x8a
00000be0: SHL
00000be1: PUSH1 0x44
00000be3: DUP3
00000be4: ADD
00000be5: MSTORE
00000be6: SWAP1
00000be7: MLOAD
00000be8: SWAP1
00000be9: DUP2
00000bea: SWAP1
00000beb: SUB
00000bec: PUSH1 0x64
00000bee: ADD
00000bef: SWAP1
00000bf0: REVERT
00000bf1: JUMPDEST
00000bf2: PUSH2 0x0bfa
00000bf5: DUP2
00000bf6: PUSH2 0x18ea
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: PUSH1 0x07
00000bfd: SLOAD
00000bfe: PUSH1 0x01
00000c00: PUSH1 0x01
00000c02: PUSH1 0xa0
00000c04: SHL
00000c05: SUB
00000c06: DUP3
00000c07: AND
00000c08: PUSH1 0x00
00000c0a: SWAP1
00000c0b: DUP2
00000c0c: MSTORE
00000c0d: PUSH1 0x0f
00000c0f: PUSH1 0x20
00000c11: MSTORE
00000c12: PUSH1 0x40
00000c14: DUP2
00000c15: KECCAK256
00000c16: PUSH1 0x06
00000c18: ADD
00000c19: SLOAD
00000c1a: PUSH1 0x0a
00000c1c: SLOAD
00000c1d: SWAP2
00000c1e: SWAP3
00000c1f: SWAP2
00000c20: PUSH2 0x0c2e
00000c23: SWAP2
00000c24: PUSH4 0xffffffff
00000c29: PUSH2 0x19eb
00000c2c: AND
00000c2d: JUMP
00000c2e: JUMPDEST
00000c2f: DUP2
00000c30: PUSH2 0x0c35
00000c33: JUMPI
00000c34: INVALID
00000c35: JUMPDEST
00000c36: PUSH1 0x01
00000c38: PUSH1 0x01
00000c3a: PUSH1 0xa0
00000c3c: SHL
00000c3d: SUB
00000c3e: DUP5
00000c3f: AND
00000c40: PUSH1 0x00
00000c42: SWAP1
00000c43: DUP2
00000c44: MSTORE
00000c45: PUSH1 0x0f
00000c47: PUSH1 0x20
00000c49: MSTORE
00000c4a: PUSH1 0x40
00000c4c: SWAP1
00000c4d: KECCAK256
00000c4e: PUSH1 0x03
00000c50: ADD
00000c51: DUP1
00000c52: SLOAD
00000c53: PUSH2 0xff00
00000c56: NOT
00000c57: AND
00000c58: PUSH2 0x0100
00000c5b: OR
00000c5c: SWAP1
00000c5d: SSTORE
00000c5e: DIV
00000c5f: SWAP1
00000c60: POP
00000c61: PUSH2 0x0959
00000c64: DUP3
00000c65: DUP3
00000c66: PUSH2 0x13e8
00000c69: JUMP
00000c6a: JUMPDEST
00000c6b: PUSH1 0x0e
00000c6d: SLOAD
00000c6e: DUP2
00000c6f: JUMP
00000c70: JUMPDEST
00000c71: PUSH1 0x04
00000c73: SLOAD
00000c74: PUSH1 0x00
00000c76: SWAP1
00000c77: PUSH1 0xff
00000c79: AND
00000c7a: ISZERO
00000c7b: PUSH2 0x0c86
00000c7e: JUMPI
00000c7f: POP
00000c80: PUSH1 0x00
00000c82: PUSH2 0x0aa8
00000c85: JUMP
00000c86: JUMPDEST
00000c87: POP
00000c88: PUSH1 0x01
00000c8a: PUSH1 0x01
00000c8c: PUSH1 0xa0
00000c8e: SHL
00000c8f: SUB
00000c90: AND
00000c91: PUSH1 0x00
00000c93: SWAP1
00000c94: DUP2
00000c95: MSTORE
00000c96: PUSH1 0x0f
00000c98: PUSH1 0x20
00000c9a: MSTORE
00000c9b: PUSH1 0x40
00000c9d: SWAP1
00000c9e: KECCAK256
00000c9f: PUSH1 0x05
00000ca1: ADD
00000ca2: SLOAD
00000ca3: SWAP1
00000ca4: JUMP
00000ca5: JUMPDEST
00000ca6: PUSH1 0x01
00000ca8: PUSH1 0x01
00000caa: PUSH1 0xa0
00000cac: SHL
00000cad: SUB
00000cae: DUP2
00000caf: AND
00000cb0: PUSH1 0x00
00000cb2: SWAP1
00000cb3: DUP2
00000cb4: MSTORE
00000cb5: PUSH1 0x0f
00000cb7: PUSH1 0x20
00000cb9: MSTORE
00000cba: PUSH1 0x40
00000cbc: DUP2
00000cbd: KECCAK256
00000cbe: PUSH1 0x06
00000cc0: DUP2
00000cc1: ADD
00000cc2: SLOAD
00000cc3: PUSH1 0x07
00000cc5: SWAP1
00000cc6: SWAP2
00000cc7: ADD
00000cc8: SLOAD
00000cc9: DUP3
00000cca: DUP2
00000ccb: ISZERO
00000ccc: PUSH2 0x0d1c
00000ccf: JUMPI
00000cd0: JUMPDEST
00000cd1: PUSH1 0x0b
00000cd3: SLOAD
00000cd4: DUP3
00000cd5: LT
00000cd6: ISZERO
00000cd7: PUSH2 0x0d1c
00000cda: JUMPI
00000cdb: PUSH1 0x01
00000cdd: PUSH1 0x01
00000cdf: PUSH1 0xa0
00000ce1: SHL
00000ce2: SUB
00000ce3: DUP6
00000ce4: AND
00000ce5: PUSH1 0x00
00000ce7: SWAP1
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH1 0x05
00000cec: PUSH1 0x20
00000cee: SWAP1
00000cef: DUP2
00000cf0: MSTORE
00000cf1: PUSH1 0x40
00000cf3: DUP1
00000cf4: DUP4
00000cf5: KECCAK256
00000cf6: DUP6
00000cf7: DUP5
00000cf8: MSTORE
00000cf9: SWAP1
00000cfa: SWAP2
00000cfb: MSTORE
00000cfc: SWAP1
00000cfd: KECCAK256
00000cfe: SLOAD
00000cff: PUSH2 0x0d0f
00000d02: SWAP1
00000d03: DUP3
00000d04: SWAP1
00000d05: PUSH4 0xffffffff
00000d0a: PUSH2 0x183d
00000d0d: AND
00000d0e: JUMP
00000d0f: JUMPDEST
00000d10: SWAP1
00000d11: POP
00000d12: PUSH1 0x01
00000d14: DUP3
00000d15: ADD
00000d16: SWAP2
00000d17: POP
00000d18: PUSH2 0x0cd0
00000d1b: JUMP
00000d1c: JUMPDEST
00000d1d: DUP3
00000d1e: ISZERO
00000d1f: PUSH2 0x0d37
00000d22: JUMPI
00000d23: PUSH2 0x0d32
00000d26: DUP4
00000d27: DUP3
00000d28: PUSH4 0xffffffff
00000d2d: PUSH2 0x1a13
00000d30: AND
00000d31: JUMP
00000d32: JUMPDEST
00000d33: PUSH2 0x0d3a
00000d36: JUMP
00000d37: JUMPDEST
00000d38: PUSH1 0x00
00000d3a: JUMPDEST
00000d3b: SWAP6
00000d3c: SWAP5
00000d3d: POP
00000d3e: POP
00000d3f: POP
00000d40: POP
00000d41: POP
00000d42: JUMP
00000d43: JUMPDEST
00000d44: PUSH1 0x77
00000d46: DUP2
00000d47: PUSH1 0x0a
00000d49: DUP2
00000d4a: LT
00000d4b: PUSH2 0x0d50
00000d4e: JUMPI
00000d4f: INVALID
00000d50: JUMPDEST
00000d51: ADD
00000d52: SLOAD
00000d53: SWAP1
00000d54: POP
00000d55: DUP2
00000d56: JUMP
00000d57: JUMPDEST
00000d58: PUSH1 0x40
00000d5a: MLOAD
00000d5b: DUP1
00000d5c: PUSH1 0x40
00000d5e: ADD
00000d5f: PUSH1 0x40
00000d61: MSTORE
00000d62: DUP1
00000d63: PUSH1 0x03
00000d65: DUP2
00000d66: MSTORE
00000d67: PUSH1 0x20
00000d69: ADD
00000d6a: PUSH3 0x33464d
00000d6e: PUSH1 0xe8
00000d70: SHL
00000d71: DUP2
00000d72: MSTORE
00000d73: POP
00000d74: DUP2
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH1 0x06
00000d79: PUSH1 0x20
00000d7b: MSTORE
00000d7c: PUSH1 0x00
00000d7e: SWAP1
00000d7f: DUP2
00000d80: MSTORE
00000d81: PUSH1 0x40
00000d83: SWAP1
00000d84: KECCAK256
00000d85: SLOAD
00000d86: DUP2
00000d87: JUMP
00000d88: JUMPDEST
00000d89: PUSH1 0x0c
00000d8b: SLOAD
00000d8c: DUP2
00000d8d: JUMP
00000d8e: JUMPDEST
00000d8f: PUSH1 0x0b
00000d91: SLOAD
00000d92: DUP2
00000d93: JUMP
00000d94: JUMPDEST
00000d95: CALLER
00000d96: ORIGIN
00000d97: EQ
00000d98: PUSH2 0x0ddc
00000d9b: JUMPI
00000d9c: PUSH1 0x40
00000d9e: DUP1
00000d9f: MLOAD
00000da0: PUSH3 0x461bcd
00000da4: PUSH1 0xe5
00000da6: SHL
00000da7: DUP2
00000da8: MSTORE
00000da9: PUSH1 0x20
00000dab: PUSH1 0x04
00000dad: DUP3
00000dae: ADD
00000daf: MSTORE
00000db0: PUSH1 0x11
00000db2: PUSH1 0x24
00000db4: DUP3
00000db5: ADD
00000db6: MSTORE
00000db7: PUSH17 0x736f7272792068756d616e73206f6e6c79
00000dc9: PUSH1 0x78
00000dcb: SHL
00000dcc: PUSH1 0x44
00000dce: DUP3
00000dcf: ADD
00000dd0: MSTORE
00000dd1: SWAP1
00000dd2: MLOAD
00000dd3: SWAP1
00000dd4: DUP2
00000dd5: SWAP1
00000dd6: SUB
00000dd7: PUSH1 0x64
00000dd9: ADD
00000dda: SWAP1
00000ddb: REVERT
00000ddc: JUMPDEST
00000ddd: PUSH2 0x0de4
00000de0: PUSH2 0x12d4
00000de3: JUMP
00000de4: JUMPDEST
00000de5: ISZERO
00000de6: PUSH2 0x0df3
00000de9: JUMPI
00000dea: PUSH2 0x092f
00000ded: CALLER
00000dee: CALLVALUE
00000def: PUSH2 0x13e8
00000df2: JUMP
00000df3: JUMPDEST
00000df4: PUSH1 0x01
00000df6: PUSH1 0x01
00000df8: PUSH1 0xa0
00000dfa: SHL
00000dfb: SUB
00000dfc: DUP3
00000dfd: AND
00000dfe: PUSH1 0x00
00000e00: SWAP1
00000e01: DUP2
00000e02: MSTORE
00000e03: PUSH1 0x0f
00000e05: PUSH1 0x20
00000e07: MSTORE
00000e08: PUSH1 0x40
00000e0a: SWAP1
00000e0b: KECCAK256
00000e0c: PUSH1 0x03
00000e0e: ADD
00000e0f: SLOAD
00000e10: PUSH1 0xff
00000e12: AND
00000e13: PUSH2 0x0e1b
00000e16: JUMPI
00000e17: PUSH1 0x00
00000e19: SWAP2
00000e1a: POP
00000e1b: JUMPDEST
00000e1c: PUSH2 0x095b
00000e1f: CALLER
00000e20: CALLVALUE
00000e21: DUP4
00000e22: DUP6
00000e23: PUSH2 0x1494
00000e26: JUMP
00000e27: JUMPDEST
00000e28: CALLER
00000e29: ORIGIN
00000e2a: EQ
00000e2b: PUSH2 0x0e6f
00000e2e: JUMPI
00000e2f: PUSH1 0x40
00000e31: DUP1
00000e32: MLOAD
00000e33: PUSH3 0x461bcd
00000e37: PUSH1 0xe5
00000e39: SHL
00000e3a: DUP2
00000e3b: MSTORE
00000e3c: PUSH1 0x20
00000e3e: PUSH1 0x04
00000e40: DUP3
00000e41: ADD
00000e42: MSTORE
00000e43: PUSH1 0x11
00000e45: PUSH1 0x24
00000e47: DUP3
00000e48: ADD
00000e49: MSTORE
00000e4a: PUSH17 0x736f7272792068756d616e73206f6e6c79
00000e5c: PUSH1 0x78
00000e5e: SHL
00000e5f: PUSH1 0x44
00000e61: DUP3
00000e62: ADD
00000e63: MSTORE
00000e64: SWAP1
00000e65: MLOAD
00000e66: SWAP1
00000e67: DUP2
00000e68: SWAP1
00000e69: SUB
00000e6a: PUSH1 0x64
00000e6c: ADD
00000e6d: SWAP1
00000e6e: REVERT
00000e6f: JUMPDEST
00000e70: CALLER
00000e71: PUSH1 0x00
00000e73: DUP2
00000e74: DUP2
00000e75: MSTORE
00000e76: PUSH1 0x0f
00000e78: PUSH1 0x20
00000e7a: MSTORE
00000e7b: PUSH1 0x40
00000e7d: SWAP1
00000e7e: KECCAK256
00000e7f: PUSH1 0x03
00000e81: ADD
00000e82: SLOAD
00000e83: PUSH1 0xff
00000e85: AND
00000e86: PUSH2 0x0e8e
00000e89: JUMPI
00000e8a: PUSH1 0x00
00000e8c: DUP1
00000e8d: REVERT
00000e8e: JUMPDEST
00000e8f: PUSH1 0x01
00000e91: PUSH1 0x01
00000e93: PUSH1 0xa0
00000e95: SHL
00000e96: SUB
00000e97: DUP2
00000e98: AND
00000e99: PUSH1 0x00
00000e9b: SWAP1
00000e9c: DUP2
00000e9d: MSTORE
00000e9e: PUSH1 0x0f
00000ea0: PUSH1 0x20
00000ea2: MSTORE
00000ea3: PUSH1 0x40
00000ea5: SWAP1
00000ea6: KECCAK256
00000ea7: PUSH1 0x09
00000ea9: ADD
00000eaa: SLOAD
00000eab: PUSH1 0x0a
00000ead: GT
00000eae: PUSH2 0x0eb6
00000eb1: JUMPI
00000eb2: PUSH1 0x00
00000eb4: DUP1
00000eb5: REVERT
00000eb6: JUMPDEST
00000eb7: PUSH1 0x01
00000eb9: PUSH1 0x01
00000ebb: PUSH1 0xa0
00000ebd: SHL
00000ebe: SUB
00000ebf: DUP2
00000ec0: AND
00000ec1: PUSH1 0x00
00000ec3: SWAP1
00000ec4: DUP2
00000ec5: MSTORE
00000ec6: PUSH1 0x0f
00000ec8: PUSH1 0x20
00000eca: MSTORE
00000ecb: PUSH1 0x40
00000ecd: SWAP1
00000ece: KECCAK256
00000ecf: PUSH1 0x09
00000ed1: ADD
00000ed2: SLOAD
00000ed3: PUSH1 0x77
00000ed5: SWAP1
00000ed6: PUSH1 0x0a
00000ed8: DUP2
00000ed9: LT
00000eda: PUSH2 0x0edf
00000edd: JUMPI
00000ede: INVALID
00000edf: JUMPDEST
00000ee0: ADD
00000ee1: SLOAD
00000ee2: PUSH1 0x01
00000ee4: PUSH1 0x01
00000ee6: PUSH1 0xa0
00000ee8: SHL
00000ee9: SUB
00000eea: DUP3
00000eeb: AND
00000eec: PUSH1 0x00
00000eee: SWAP1
00000eef: DUP2
00000ef0: MSTORE
00000ef1: PUSH1 0x0f
00000ef3: PUSH1 0x20
00000ef5: MSTORE
00000ef6: PUSH1 0x40
00000ef8: SWAP1
00000ef9: KECCAK256
00000efa: PUSH1 0x0a
00000efc: ADD
00000efd: SLOAD
00000efe: LT
00000eff: PUSH2 0x0a03
00000f02: JUMPI
00000f03: PUSH1 0x01
00000f05: PUSH1 0x01
00000f07: PUSH1 0xa0
00000f09: SHL
00000f0a: SUB
00000f0b: DUP2
00000f0c: AND
00000f0d: PUSH1 0x00
00000f0f: SWAP1
00000f10: DUP2
00000f11: MSTORE
00000f12: PUSH1 0x0f
00000f14: PUSH1 0x20
00000f16: MSTORE
00000f17: PUSH1 0x40
00000f19: SWAP1
00000f1a: KECCAK256
00000f1b: PUSH1 0x09
00000f1d: ADD
00000f1e: SLOAD
00000f1f: PUSH2 0x0f30
00000f22: SWAP1
00000f23: PUSH1 0x01
00000f25: SWAP1
00000f26: PUSH4 0xffffffff
00000f2b: PUSH2 0x183d
00000f2e: AND
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH1 0x01
00000f33: PUSH1 0x01
00000f35: PUSH1 0xa0
00000f37: SHL
00000f38: SUB
00000f39: DUP3
00000f3a: AND
00000f3b: PUSH1 0x00
00000f3d: DUP2
00000f3e: DUP2
00000f3f: MSTORE
00000f40: PUSH1 0x0f
00000f42: PUSH1 0x20
00000f44: MSTORE
00000f45: PUSH1 0x40
00000f47: DUP1
00000f48: DUP3
00000f49: KECCAK256
00000f4a: PUSH1 0x09
00000f4c: ADD
00000f4d: DUP5
00000f4e: SWAP1
00000f4f: SSTORE
00000f50: MLOAD
00000f51: PUSH32 0x082e58bd2e7f7268b36ef0ce2331f7bfd29c08979529cbe85f06375fcecd4372
00000f72: SWAP2
00000f73: SWAP1
00000f74: LOG3
00000f75: POP
00000f76: JUMP
00000f77: JUMPDEST
00000f78: CALLER
00000f79: ORIGIN
00000f7a: EQ
00000f7b: PUSH2 0x0fbf
00000f7e: JUMPI
00000f7f: PUSH1 0x40
00000f81: DUP1
00000f82: MLOAD
00000f83: PUSH3 0x461bcd
00000f87: PUSH1 0xe5
00000f89: SHL
00000f8a: DUP2
00000f8b: MSTORE
00000f8c: PUSH1 0x20
00000f8e: PUSH1 0x04
00000f90: DUP3
00000f91: ADD
00000f92: MSTORE
00000f93: PUSH1 0x11
00000f95: PUSH1 0x24
00000f97: DUP3
00000f98: ADD
00000f99: MSTORE
00000f9a: PUSH17 0x736f7272792068756d616e73206f6e6c79
00000fac: PUSH1 0x78
00000fae: SHL
00000faf: PUSH1 0x44
00000fb1: DUP3
00000fb2: ADD
00000fb3: MSTORE
00000fb4: SWAP1
00000fb5: MLOAD
00000fb6: SWAP1
00000fb7: DUP2
00000fb8: SWAP1
00000fb9: SUB
00000fba: PUSH1 0x64
00000fbc: ADD
00000fbd: SWAP1
00000fbe: REVERT
00000fbf: JUMPDEST
00000fc0: PUSH2 0x0fc7
00000fc3: PUSH2 0x12d4
00000fc6: JUMP
00000fc7: JUMPDEST
00000fc8: ISZERO
00000fc9: PUSH2 0x0fd6
00000fcc: JUMPI
00000fcd: PUSH2 0x092f
00000fd0: CALLER
00000fd1: CALLVALUE
00000fd2: PUSH2 0x13e8
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: PUSH1 0x00
00000fd9: DUP3
00000fda: DUP2
00000fdb: MSTORE
00000fdc: PUSH1 0x10
00000fde: PUSH1 0x20
00000fe0: MSTORE
00000fe1: PUSH1 0x40
00000fe3: SWAP1
00000fe4: KECCAK256
00000fe5: SLOAD
00000fe6: PUSH1 0x01
00000fe8: PUSH1 0x01
00000fea: PUSH1 0xa0
00000fec: SHL
00000fed: SUB
00000fee: AND
00000fef: PUSH2 0x0959
00000ff2: CALLER
00000ff3: CALLVALUE
00000ff4: DUP5
00000ff5: DUP5
00000ff6: PUSH2 0x1494
00000ff9: JUMP
00000ffa: JUMPDEST
00000ffb: PUSH1 0x10
00000ffd: PUSH1 0x20
00000fff: MSTORE
00001000: PUSH1 0x00
00001002: SWAP1
00001003: DUP2
00001004: MSTORE
00001005: PUSH1 0x40
00001007: SWAP1
00001008: KECCAK256
00001009: SLOAD
0000100a: PUSH1 0x01
0000100c: PUSH1 0x01
0000100e: PUSH1 0xa0
00001010: SHL
00001011: SUB
00001012: AND
00001013: DUP2
00001014: JUMP
00001015: JUMPDEST
00001016: PUSH1 0x12
00001018: DUP2
00001019: PUSH1 0x65
0000101b: DUP2
0000101c: LT
0000101d: PUSH2 0x0d50
00001020: JUMPI
00001021: INVALID
00001022: JUMPDEST
00001023: PUSH1 0x03
00001025: SLOAD
00001026: DUP2
00001027: JUMP
00001028: JUMPDEST
00001029: PUSH1 0x08
0000102b: SLOAD
0000102c: DUP2
0000102d: JUMP
0000102e: JUMPDEST
0000102f: CALLER
00001030: ORIGIN
00001031: EQ
00001032: PUSH2 0x1076
00001035: JUMPI
00001036: PUSH1 0x40
00001038: DUP1
00001039: MLOAD
0000103a: PUSH3 0x461bcd
0000103e: PUSH1 0xe5
00001040: SHL
00001041: DUP2
00001042: MSTORE
00001043: PUSH1 0x20
00001045: PUSH1 0x04
00001047: DUP3
00001048: ADD
00001049: MSTORE
0000104a: PUSH1 0x11
0000104c: PUSH1 0x24
0000104e: DUP3
0000104f: ADD
00001050: MSTORE
00001051: PUSH17 0x736f7272792068756d616e73206f6e6c79
00001063: PUSH1 0x78
00001065: SHL
00001066: PUSH1 0x44
00001068: DUP3
00001069: ADD
0000106a: MSTORE
0000106b: SWAP1
0000106c: MLOAD
0000106d: SWAP1
0000106e: DUP2
0000106f: SWAP1
00001070: SUB
00001071: PUSH1 0x64
00001073: ADD
00001074: SWAP1
00001075: REVERT
00001076: JUMPDEST
00001077: PUSH1 0x02
00001079: SLOAD
0000107a: PUSH1 0x40
0000107c: MLOAD
0000107d: PUSH4 0x79614c5f
00001082: PUSH1 0xe1
00001084: SHL
00001085: DUP2
00001086: MSTORE
00001087: PUSH1 0x20
00001089: PUSH1 0x04
0000108b: DUP3
0000108c: ADD
0000108d: SWAP1
0000108e: DUP2
0000108f: MSTORE
00001090: PUSH1 0x24
00001092: DUP3
00001093: ADD
00001094: DUP5
00001095: SWAP1
00001096: MSTORE
00001097: PUSH1 0x00
00001099: SWAP3
0000109a: PUSH1 0x01
0000109c: PUSH1 0x01
0000109e: PUSH1 0xa0
000010a0: SHL
000010a1: SUB
000010a2: AND
000010a3: SWAP2
000010a4: PUSH4 0xf2c298be
000010a9: SWAP2
000010aa: DUP7
000010ab: SWAP2
000010ac: DUP7
000010ad: SWAP2
000010ae: SWAP1
000010af: DUP2
000010b0: SWAP1
000010b1: PUSH1 0x44
000010b3: ADD
000010b4: DUP5
000010b5: DUP5
000010b6: DUP1
000010b7: DUP3
000010b8: DUP5
000010b9: CALLDATACOPY
000010ba: PUSH1 0x00
000010bc: DUP4
000010bd: DUP3
000010be: ADD
000010bf: MSTORE
000010c0: PUSH1 0x40
000010c2: MLOAD
000010c3: PUSH1 0x1f
000010c5: SWAP1
000010c6: SWAP2
000010c7: ADD
000010c8: PUSH1 0x1f
000010ca: NOT
000010cb: AND
000010cc: SWAP1
000010cd: SWAP3
000010ce: ADD
000010cf: SWAP6
000010d0: POP
000010d1: PUSH1 0x20
000010d3: SWAP5
000010d4: POP
000010d5: SWAP1
000010d6: SWAP3
000010d7: POP
000010d8: POP
000010d9: POP
000010da: DUP1
000010db: DUP4
000010dc: SUB
000010dd: DUP2
000010de: DUP7
000010df: DUP1
000010e0: EXTCODESIZE
000010e1: ISZERO
000010e2: DUP1
000010e3: ISZERO
000010e4: PUSH2 0x10ec
000010e7: JUMPI
000010e8: PUSH1 0x00
000010ea: DUP1
000010eb: REVERT
000010ec: JUMPDEST
000010ed: POP
000010ee: GAS
000010ef: STATICCALL
000010f0: ISZERO
000010f1: DUP1
000010f2: ISZERO
000010f3: PUSH2 0x1100
000010f6: JUMPI
000010f7: RETURNDATASIZE
000010f8: PUSH1 0x00
000010fa: DUP1
000010fb: RETURNDATACOPY
000010fc: RETURNDATASIZE
000010fd: PUSH1 0x00
000010ff: REVERT
00001100: JUMPDEST
00001101: POP
00001102: POP
00001103: POP
00001104: POP
00001105: PUSH1 0x40
00001107: MLOAD
00001108: RETURNDATASIZE
00001109: PUSH1 0x20
0000110b: DUP2
0000110c: LT
0000110d: ISZERO
0000110e: PUSH2 0x1116
00001111: JUMPI
00001112: PUSH1 0x00
00001114: DUP1
00001115: REVERT
00001116: JUMPDEST
00001117: POP
00001118: MLOAD
00001119: SWAP1
0000111a: POP
0000111b: CALLER
0000111c: PUSH7 0x2386f26fc10000
00001124: CALLVALUE
00001125: LT
00001126: ISZERO
00001127: PUSH2 0x116d
0000112a: JUMPI
0000112b: PUSH1 0x40
0000112d: DUP1
0000112e: MLOAD
0000112f: PUSH3 0x461bcd
00001133: PUSH1 0xe5
00001135: SHL
00001136: DUP2
00001137: MSTORE
00001138: PUSH1 0x20
0000113a: PUSH1 0x04
0000113c: DUP3
0000113d: ADD
0000113e: MSTORE
0000113f: PUSH1 0x13
00001141: PUSH1 0x24
00001143: DUP3
00001144: ADD
00001145: MSTORE
00001146: PUSH19 0x1a5b9cdd59999a58da595b9d08185b5bdd5b9d
0000115a: PUSH1 0x6a
0000115c: SHL
0000115d: PUSH1 0x44
0000115f: DUP3
00001160: ADD
00001161: MSTORE
00001162: SWAP1
00001163: MLOAD
00001164: SWAP1
00001165: DUP2
00001166: SWAP1
00001167: SUB
00001168: PUSH1 0x64
0000116a: ADD
0000116b: SWAP1
0000116c: REVERT
0000116d: JUMPDEST
0000116e: PUSH1 0x00
00001170: DUP3
00001171: DUP2
00001172: MSTORE
00001173: PUSH1 0x11
00001175: PUSH1 0x20
00001177: MSTORE
00001178: PUSH1 0x40
0000117a: SWAP1
0000117b: KECCAK256
0000117c: SLOAD
0000117d: PUSH1 0x01
0000117f: PUSH1 0x01
00001181: PUSH1 0xa0
00001183: SHL
00001184: SUB
00001185: AND
00001186: ISZERO
00001187: PUSH2 0x11c9
0000118a: JUMPI
0000118b: PUSH1 0x40
0000118d: DUP1
0000118e: MLOAD
0000118f: PUSH3 0x461bcd
00001193: PUSH1 0xe5
00001195: SHL
00001196: DUP2
00001197: MSTORE
00001198: PUSH1 0x20
0000119a: PUSH1 0x04
0000119c: DUP3
0000119d: ADD
0000119e: MSTORE
0000119f: PUSH1 0x0f
000011a1: PUSH1 0x24
000011a3: DUP3
000011a4: ADD
000011a5: MSTORE
000011a6: PUSH15 0x1b985b59481c9959da5cdd195c9959
000011b6: PUSH1 0x8a
000011b8: SHL
000011b9: PUSH1 0x44
000011bb: DUP3
000011bc: ADD
000011bd: MSTORE
000011be: SWAP1
000011bf: MLOAD
000011c0: SWAP1
000011c1: DUP2
000011c2: SWAP1
000011c3: SUB
000011c4: PUSH1 0x64
000011c6: ADD
000011c7: SWAP1
000011c8: REVERT
000011c9: JUMPDEST
000011ca: PUSH1 0x01
000011cc: PUSH1 0x01
000011ce: PUSH1 0xa0
000011d0: SHL
000011d1: SUB
000011d2: DUP2
000011d3: AND
000011d4: PUSH1 0x00
000011d6: SWAP1
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x0f
000011db: PUSH1 0x20
000011dd: MSTORE
000011de: PUSH1 0x40
000011e0: SWAP1
000011e1: KECCAK256
000011e2: PUSH1 0x03
000011e4: ADD
000011e5: SLOAD
000011e6: PUSH1 0xff
000011e8: AND
000011e9: PUSH2 0x1273
000011ec: JUMPI
000011ed: PUSH1 0x0e
000011ef: DUP1
000011f0: SLOAD
000011f1: PUSH1 0x01
000011f3: SWAP1
000011f4: DUP2
000011f5: ADD
000011f6: DUP3
000011f7: SSTORE
000011f8: PUSH1 0x01
000011fa: PUSH1 0x01
000011fc: PUSH1 0xa0
000011fe: SHL
000011ff: SUB
00001200: DUP4
00001201: AND
00001202: PUSH1 0x00
00001204: DUP2
00001205: DUP2
00001206: MSTORE
00001207: PUSH1 0x0f
00001209: PUSH1 0x20
0000120b: DUP2
0000120c: DUP2
0000120d: MSTORE
0000120e: PUSH1 0x40
00001210: DUP1
00001211: DUP5
00001212: KECCAK256
00001213: PUSH1 0x03
00001215: DUP2
00001216: ADD
00001217: DUP1
00001218: SLOAD
00001219: PUSH1 0xff
0000121b: NOT
0000121c: AND
0000121d: DUP9
0000121e: OR
0000121f: SWAP1
00001220: SSTORE
00001221: DUP8
00001222: SLOAD
00001223: DUP2
00001224: SSTORE
00001225: PUSH1 0x09
00001227: ADD
00001228: SWAP6
00001229: DUP7
0000122a: SSTORE
0000122b: SWAP6
0000122c: SLOAD
0000122d: DUP4
0000122e: MSTORE
0000122f: PUSH1 0x10
00001231: DUP2
00001232: MSTORE
00001233: DUP6
00001234: DUP4
00001235: KECCAK256
00001236: DUP1
00001237: SLOAD
00001238: PUSH1 0x01
0000123a: PUSH1 0x01
0000123c: PUSH1 0xa0
0000123e: SHL
0000123f: SUB
00001240: NOT
00001241: AND
00001242: DUP6
00001243: OR
00001244: SWAP1
00001245: SSTORE
00001246: DUP4
00001247: DUP4
00001248: MSTORE
00001249: MSTORE
0000124a: SWAP2
0000124b: SLOAD
0000124c: SWAP3
0000124d: MLOAD
0000124e: SWAP1
0000124f: SWAP2
00001250: PUSH32 0x082e58bd2e7f7268b36ef0ce2331f7bfd29c08979529cbe85f06375fcecd4372
00001271: SWAP2
00001272: LOG3
00001273: JUMPDEST
00001274: PUSH1 0x01
00001276: PUSH1 0x01
00001278: PUSH1 0xa0
0000127a: SHL
0000127b: SUB
0000127c: DUP2
0000127d: AND
0000127e: PUSH1 0x00
00001280: DUP2
00001281: DUP2
00001282: MSTORE
00001283: PUSH1 0x0f
00001285: PUSH1 0x20
00001287: SWAP1
00001288: DUP2
00001289: MSTORE
0000128a: PUSH1 0x40
0000128c: DUP1
0000128d: DUP4
0000128e: KECCAK256
0000128f: PUSH1 0x01
00001291: ADD
00001292: DUP7
00001293: SWAP1
00001294: SSTORE
00001295: DUP6
00001296: DUP4
00001297: MSTORE
00001298: PUSH1 0x11
0000129a: SWAP1
0000129b: SWAP2
0000129c: MSTORE
0000129d: SWAP1
0000129e: KECCAK256
0000129f: DUP1
000012a0: SLOAD
000012a1: PUSH1 0x01
000012a3: PUSH1 0x01
000012a5: PUSH1 0xa0
000012a7: SHL
000012a8: SUB
000012a9: NOT
000012aa: AND
000012ab: SWAP1
000012ac: SWAP2
000012ad: OR
000012ae: SWAP1
000012af: SSTORE
000012b0: PUSH2 0x12cd
000012b3: PUSH20 0x83d0d842e6db3b020f384a2af11bd14787bec8e7
000012c8: CALLVALUE
000012c9: PUSH2 0x1445
000012cc: JUMP
000012cd: JUMPDEST
000012ce: POP
000012cf: POP
000012d0: POP
000012d1: POP
000012d2: POP
000012d3: JUMP
000012d4: JUMPDEST
000012d5: PUSH1 0x04
000012d7: SLOAD
000012d8: PUSH1 0x00
000012da: SWAP1
000012db: PUSH1 0xff
000012dd: AND
000012de: PUSH2 0x13de
000012e1: JUMPI
000012e2: TIMESTAMP
000012e3: PUSH1 0x0c
000012e5: SLOAD
000012e6: EQ
000012e7: PUSH2 0x13de
000012ea: JUMPI
000012eb: TIMESTAMP
000012ec: PUSH1 0x0c
000012ee: DUP2
000012ef: SWAP1
000012f0: SSTORE
000012f1: PUSH1 0x00
000012f3: SWAP1
000012f4: PUSH3 0x015180
000012f8: SWAP1
000012f9: DIV
000012fa: SWAP1
000012fb: POP
000012fc: PUSH1 0x00
000012fe: DUP1
000012ff: SWAP1
00001300: SLOAD
00001301: SWAP1
00001302: PUSH2 0x0100
00001305: EXP
00001306: SWAP1
00001307: DIV
00001308: PUSH1 0x01
0000130a: PUSH1 0x01
0000130c: PUSH1 0xa0
0000130e: SHL
0000130f: SUB
00001310: AND
00001311: PUSH1 0x01
00001313: PUSH1 0x01
00001315: PUSH1 0xa0
00001317: SHL
00001318: SUB
00001319: AND
0000131a: PUSH4 0x957aa58c
0000131f: PUSH1 0x40
00001321: MLOAD
00001322: DUP2
00001323: PUSH4 0xffffffff
00001328: AND
00001329: PUSH1 0xe0
0000132b: SHL
0000132c: DUP2
0000132d: MSTORE
0000132e: PUSH1 0x04
00001330: ADD
00001331: PUSH1 0x20
00001333: PUSH1 0x40
00001335: MLOAD
00001336: DUP1
00001337: DUP4
00001338: SUB
00001339: DUP2
0000133a: PUSH1 0x00
0000133c: DUP8
0000133d: DUP1
0000133e: EXTCODESIZE
0000133f: ISZERO
00001340: DUP1
00001341: ISZERO
00001342: PUSH2 0x134a
00001345: JUMPI
00001346: PUSH1 0x00
00001348: DUP1
00001349: REVERT
0000134a: JUMPDEST
0000134b: POP
0000134c: GAS
0000134d: CALL
0000134e: ISZERO
0000134f: DUP1
00001350: ISZERO
00001351: PUSH2 0x135e
00001354: JUMPI
00001355: RETURNDATASIZE
00001356: PUSH1 0x00
00001358: DUP1
00001359: RETURNDATACOPY
0000135a: RETURNDATASIZE
0000135b: PUSH1 0x00
0000135d: REVERT
0000135e: JUMPDEST
0000135f: POP
00001360: POP
00001361: POP
00001362: POP
00001363: PUSH1 0x40
00001365: MLOAD
00001366: RETURNDATASIZE
00001367: PUSH1 0x20
00001369: DUP2
0000136a: LT
0000136b: ISZERO
0000136c: PUSH2 0x1374
0000136f: JUMPI
00001370: PUSH1 0x00
00001372: DUP1
00001373: REVERT
00001374: JUMPDEST
00001375: POP
00001376: MLOAD
00001377: PUSH2 0x138c
0000137a: JUMPI
0000137b: PUSH1 0x04
0000137d: DUP1
0000137e: SLOAD
0000137f: PUSH1 0xff
00001381: NOT
00001382: AND
00001383: PUSH1 0x01
00001385: OR
00001386: SWAP1
00001387: SSTORE
00001388: TIMESTAMP
00001389: PUSH1 0x03
0000138b: SSTORE
0000138c: JUMPDEST
0000138d: DUP1
0000138e: PUSH1 0x0b
00001390: SLOAD
00001391: LT
00001392: ISZERO
00001393: PUSH2 0x13dc
00001396: JUMPI
00001397: PUSH1 0x0b
00001399: SLOAD
0000139a: PUSH1 0x00
0000139c: SWAP1
0000139d: DUP2
0000139e: MSTORE
0000139f: PUSH1 0x06
000013a1: PUSH1 0x20
000013a3: MSTORE
000013a4: PUSH1 0x40
000013a6: SWAP1
000013a7: KECCAK256
000013a8: SLOAD
000013a9: PUSH1 0x07
000013ab: SLOAD
000013ac: PUSH2 0x13ba
000013af: SWAP2
000013b0: PUSH4 0xffffffff
000013b5: PUSH2 0x1a13
000013b8: AND
000013b9: JUMP
000013ba: JUMPDEST
000013bb: PUSH1 0x07
000013bd: SSTORE
000013be: PUSH1 0x0b
000013c0: DUP1
000013c1: SLOAD
000013c2: PUSH1 0x00
000013c4: SWAP1
000013c5: DUP2
000013c6: MSTORE
000013c7: PUSH1 0x06
000013c9: PUSH1 0x20
000013cb: MSTORE
000013cc: PUSH1 0x40
000013ce: DUP2
000013cf: KECCAK256
000013d0: SSTORE
000013d1: DUP1
000013d2: SLOAD
000013d3: PUSH1 0x01
000013d5: ADD
000013d6: SWAP1
000013d7: SSTORE
000013d8: PUSH2 0x138c
000013db: JUMP
000013dc: JUMPDEST
000013dd: POP
000013de: JUMPDEST
000013df: POP
000013e0: PUSH1 0x04
000013e2: SLOAD
000013e3: PUSH1 0xff
000013e5: AND
000013e6: SWAP1
000013e7: JUMP
000013e8: JUMPDEST
000013e9: PUSH1 0x40
000013eb: MLOAD
000013ec: PUSH1 0x00
000013ee: SWAP1
000013ef: DUP4
000013f0: SWAP1
000013f1: PUSH1 0x01
000013f3: PUSH1 0x01
000013f5: PUSH1 0xa0
000013f7: SHL
000013f8: SUB
000013f9: DUP3
000013fa: AND
000013fb: SWAP1
000013fc: DUP5
000013fd: SWAP1
000013fe: DUP5
000013ff: DUP2
00001400: DUP2
00001401: DUP2
00001402: DUP6
00001403: DUP8
00001404: GAS
00001405: CALL
00001406: SWAP3
00001407: POP
00001408: POP
00001409: POP
0000140a: RETURNDATASIZE
0000140b: DUP1
0000140c: PUSH1 0x00
0000140e: DUP2
0000140f: EQ
00001410: PUSH2 0x1435
00001413: JUMPI
00001414: PUSH1 0x40
00001416: MLOAD
00001417: SWAP2
00001418: POP
00001419: PUSH1 0x1f
0000141b: NOT
0000141c: PUSH1 0x3f
0000141e: RETURNDATASIZE
0000141f: ADD
00001420: AND
00001421: DUP3
00001422: ADD
00001423: PUSH1 0x40
00001425: MSTORE
00001426: RETURNDATASIZE
00001427: DUP3
00001428: MSTORE
00001429: RETURNDATASIZE
0000142a: PUSH1 0x00
0000142c: PUSH1 0x20
0000142e: DUP5
0000142f: ADD
00001430: RETURNDATACOPY
00001431: PUSH2 0x143a
00001434: JUMP
00001435: JUMPDEST
00001436: PUSH1 0x60
00001438: SWAP2
00001439: POP
0000143a: JUMPDEST
0000143b: POP
0000143c: SWAP1
0000143d: SWAP6
0000143e: SWAP5
0000143f: POP
00001440: POP
00001441: POP
00001442: POP
00001443: POP
00001444: JUMP
00001445: JUMPDEST
00001446: PUSH1 0x00
00001448: DUP1
00001449: DUP4
0000144a: SWAP1
0000144b: POP
0000144c: DUP3
0000144d: DUP2
0000144e: PUSH1 0x40
00001450: MLOAD
00001451: PUSH2 0x1459
00001454: SWAP1
00001455: PUSH2 0x1d7a
00001458: JUMP
00001459: JUMPDEST
0000145a: PUSH1 0x01
0000145c: PUSH1 0x01
0000145e: PUSH1 0xa0
00001460: SHL
00001461: SUB
00001462: SWAP1
00001463: SWAP2
00001464: AND
00001465: DUP2
00001466: MSTORE
00001467: PUSH1 0x40
00001469: MLOAD
0000146a: SWAP1
0000146b: DUP2
0000146c: SWAP1
0000146d: SUB
0000146e: PUSH1 0x20
00001470: ADD
00001471: SWAP1
00001472: DUP3
00001473: CREATE
00001474: DUP1
00001475: ISZERO
00001476: DUP1
00001477: ISZERO
00001478: PUSH2 0x1485
0000147b: JUMPI
0000147c: RETURNDATASIZE
0000147d: PUSH1 0x00
0000147f: DUP1
00001480: RETURNDATACOPY
00001481: RETURNDATASIZE
00001482: PUSH1 0x00
00001484: REVERT
00001485: JUMPDEST
00001486: POP
00001487: PUSH1 0x01
00001489: SWAP4
0000148a: POP
0000148b: POP
0000148c: POP
0000148d: POP
0000148e: JUMPDEST
0000148f: SWAP3
00001490: SWAP2
00001491: POP
00001492: POP
00001493: JUMP
00001494: JUMPDEST
00001495: PUSH2 0x149d
00001498: DUP5
00001499: PUSH2 0x18ea
0000149c: JUMP
0000149d: JUMPDEST
0000149e: PUSH4 0x3b9aca00
000014a3: DUP4
000014a4: LT
000014a5: ISZERO
000014a6: PUSH2 0x14e0
000014a9: JUMPI
000014aa: PUSH1 0x40
000014ac: MLOAD
000014ad: PUSH3 0x461bcd
000014b1: PUSH1 0xe5
000014b3: SHL
000014b4: DUP2
000014b5: MSTORE
000014b6: PUSH1 0x04
000014b8: ADD
000014b9: DUP1
000014ba: DUP1
000014bb: PUSH1 0x20
000014bd: ADD
000014be: DUP3
000014bf: DUP2
000014c0: SUB
000014c1: DUP3
000014c2: MSTORE
000014c3: PUSH1 0x21
000014c5: DUP2
000014c6: MSTORE
000014c7: PUSH1 0x20
000014c9: ADD
000014ca: DUP1
000014cb: PUSH2 0x1db9
000014ce: PUSH1 0x21
000014d0: SWAP2
000014d1: CODECOPY
000014d2: PUSH1 0x40
000014d4: ADD
000014d5: SWAP2
000014d6: POP
000014d7: POP
000014d8: PUSH1 0x40
000014da: MLOAD
000014db: DUP1
000014dc: SWAP2
000014dd: SUB
000014de: SWAP1
000014df: REVERT
000014e0: JUMPDEST
000014e1: PUSH10 0x021e19e0c9bab2400000
000014ec: DUP4
000014ed: GT
000014ee: ISZERO
000014ef: PUSH2 0x1530
000014f2: JUMPI
000014f3: PUSH1 0x40
000014f5: DUP1
000014f6: MLOAD
000014f7: PUSH3 0x461bcd
000014fb: PUSH1 0xe5
000014fd: SHL
000014fe: DUP2
000014ff: MSTORE
00001500: PUSH1 0x20
00001502: PUSH1 0x04
00001504: DUP3
00001505: ADD
00001506: MSTORE
00001507: PUSH1 0x0e
00001509: PUSH1 0x24
0000150b: DUP3
0000150c: ADD
0000150d: MSTORE
0000150e: PUSH14 0x6e6f20766974616c696b2c206e6f
0000151d: PUSH1 0x90
0000151f: SHL
00001520: PUSH1 0x44
00001522: DUP3
00001523: ADD
00001524: MSTORE
00001525: SWAP1
00001526: MLOAD
00001527: SWAP1
00001528: DUP2
00001529: SWAP1
0000152a: SUB
0000152b: PUSH1 0x64
0000152d: ADD
0000152e: SWAP1
0000152f: REVERT
00001530: JUMPDEST
00001531: PUSH1 0x64
00001533: DUP3
00001534: GT
00001535: ISZERO
00001536: PUSH2 0x153e
00001539: JUMPI
0000153a: PUSH1 0x64
0000153c: SWAP2
0000153d: POP
0000153e: JUMPDEST
0000153f: PUSH1 0x00
00001541: PUSH1 0x12
00001543: DUP4
00001544: PUSH1 0x65
00001546: DUP2
00001547: LT
00001548: PUSH2 0x154d
0000154b: JUMPI
0000154c: INVALID
0000154d: JUMPDEST
0000154e: ADD
0000154f: SLOAD
00001550: PUSH8 0x0de0b6b3a7640000
00001559: ADD
0000155a: SWAP1
0000155b: POP
0000155c: PUSH1 0x00
0000155e: DUP2
0000155f: PUSH2 0x1579
00001562: PUSH8 0x0de0b6b3a7640000
0000156b: DUP8
0000156c: PUSH2 0x19eb
0000156f: SWAP1
00001570: SWAP2
00001571: SWAP1
00001572: PUSH4 0xffffffff
00001577: AND
00001578: JUMP
00001579: JUMPDEST
0000157a: DUP2
0000157b: PUSH2 0x1580
0000157e: JUMPI
0000157f: INVALID
00001580: JUMPDEST
00001581: DIV
00001582: SWAP1
00001583: POP
00001584: PUSH1 0x00
00001586: PUSH1 0x01
00001588: PUSH1 0x00
0000158a: SWAP1
0000158b: SLOAD
0000158c: SWAP1
0000158d: PUSH2 0x0100
00001590: EXP
00001591: SWAP1
00001592: DIV
00001593: PUSH1 0x01
00001595: PUSH1 0x01
00001597: PUSH1 0xa0
00001599: SHL
0000159a: SUB
0000159b: AND
0000159c: PUSH1 0x01
0000159e: PUSH1 0x01
000015a0: PUSH1 0xa0
000015a2: SHL
000015a3: SUB
000015a4: AND
000015a5: PUSH4 0x10a76c2e
000015aa: PUSH1 0x08
000015ac: SLOAD
000015ad: DUP5
000015ae: PUSH1 0x40
000015b0: MLOAD
000015b1: DUP4
000015b2: PUSH4 0xffffffff
000015b7: AND
000015b8: PUSH1 0xe0
000015ba: SHL
000015bb: DUP2
000015bc: MSTORE
000015bd: PUSH1 0x04
000015bf: ADD
000015c0: DUP1
000015c1: DUP4
000015c2: DUP2
000015c3: MSTORE
000015c4: PUSH1 0x20
000015c6: ADD
000015c7: DUP3
000015c8: DUP2
000015c9: MSTORE
000015ca: PUSH1 0x20
000015cc: ADD
000015cd: SWAP3
000015ce: POP
000015cf: POP
000015d0: POP
000015d1: PUSH1 0x20
000015d3: PUSH1 0x40
000015d5: MLOAD
000015d6: DUP1
000015d7: DUP4
000015d8: SUB
000015d9: DUP2
000015da: DUP7
000015db: DUP1
000015dc: EXTCODESIZE
000015dd: ISZERO
000015de: DUP1
000015df: ISZERO
000015e0: PUSH2 0x15e8
000015e3: JUMPI
000015e4: PUSH1 0x00
000015e6: DUP1
000015e7: REVERT
000015e8: JUMPDEST
000015e9: POP
000015ea: GAS
000015eb: STATICCALL
000015ec: ISZERO
000015ed: DUP1
000015ee: ISZERO
000015ef: PUSH2 0x15fc
000015f2: JUMPI
000015f3: RETURNDATASIZE
000015f4: PUSH1 0x00
000015f6: DUP1
000015f7: RETURNDATACOPY
000015f8: RETURNDATASIZE
000015f9: PUSH1 0x00
000015fb: REVERT
000015fc: JUMPDEST
000015fd: POP
000015fe: POP
000015ff: POP
00001600: POP
00001601: PUSH1 0x40
00001603: MLOAD
00001604: RETURNDATASIZE
00001605: PUSH1 0x20
00001607: DUP2
00001608: LT
00001609: ISZERO
0000160a: PUSH2 0x1612
0000160d: JUMPI
0000160e: PUSH1 0x00
00001610: DUP1
00001611: REVERT
00001612: JUMPDEST
00001613: POP
00001614: MLOAD
00001615: SWAP1
00001616: POP
00001617: PUSH1 0x00
00001619: DUP6
0000161a: ISZERO
0000161b: PUSH2 0x1624
0000161e: JUMPI
0000161f: DUP2
00001620: PUSH2 0x1627
00001623: JUMP
00001624: JUMPDEST
00001625: PUSH1 0x00
00001627: JUMPDEST
00001628: PUSH1 0x0b
0000162a: SLOAD
0000162b: PUSH1 0x08
0000162d: SLOAD
0000162e: SWAP2
0000162f: SWAP3
00001630: POP
00001631: DUP8
00001632: ADD
00001633: PUSH1 0x00
00001635: NOT
00001636: ADD
00001637: SWAP1
00001638: PUSH2 0x1641
0000163b: SWAP1
0000163c: DUP6
0000163d: PUSH2 0x183d
00001640: JUMP
00001641: JUMPDEST
00001642: PUSH1 0x08
00001644: SSTORE
00001645: PUSH1 0x09
00001647: SLOAD
00001648: PUSH2 0x1657
0000164b: SWAP1
0000164c: DUP5
0000164d: PUSH4 0xffffffff
00001652: PUSH2 0x183d
00001655: AND
00001656: JUMP
00001657: JUMPDEST
00001658: PUSH1 0x09
0000165a: SSTORE
0000165b: PUSH1 0x00
0000165d: DUP2
0000165e: DUP2
0000165f: MSTORE
00001660: PUSH1 0x06
00001662: PUSH1 0x20
00001664: MSTORE
00001665: PUSH1 0x40
00001667: SWAP1
00001668: KECCAK256
00001669: SLOAD
0000166a: PUSH2 0x1679
0000166d: SWAP1
0000166e: DUP4
0000166f: PUSH4 0xffffffff
00001674: PUSH2 0x183d
00001677: AND
00001678: JUMP
00001679: JUMPDEST
0000167a: PUSH1 0x00
0000167c: DUP3
0000167d: DUP2
0000167e: MSTORE
0000167f: PUSH1 0x06
00001681: PUSH1 0x20
00001683: MSTORE
00001684: PUSH1 0x40
00001686: SWAP1
00001687: KECCAK256
00001688: SSTORE
00001689: PUSH1 0x07
0000168b: SLOAD
0000168c: PUSH2 0x169b
0000168f: SWAP1
00001690: DUP4
00001691: PUSH4 0xffffffff
00001696: PUSH2 0x183d
00001699: AND
0000169a: JUMP
0000169b: JUMPDEST
0000169c: PUSH1 0x07
0000169e: SSTORE
0000169f: PUSH1 0x01
000016a1: PUSH1 0x01
000016a3: PUSH1 0xa0
000016a5: SHL
000016a6: SUB
000016a7: DUP10
000016a8: AND
000016a9: PUSH1 0x00
000016ab: SWAP1
000016ac: DUP2
000016ad: MSTORE
000016ae: PUSH1 0x0f
000016b0: PUSH1 0x20
000016b2: MSTORE
000016b3: PUSH1 0x40
000016b5: SWAP1
000016b6: KECCAK256
000016b7: PUSH1 0x04
000016b9: ADD
000016ba: SLOAD
000016bb: PUSH2 0x16ca
000016be: SWAP1
000016bf: DUP10
000016c0: PUSH4 0xffffffff
000016c5: PUSH2 0x183d
000016c8: AND
000016c9: JUMP
000016ca: JUMPDEST
000016cb: PUSH1 0x01
000016cd: PUSH1 0x01
000016cf: PUSH1 0xa0
000016d1: SHL
000016d2: SUB
000016d3: DUP11
000016d4: AND
000016d5: PUSH1 0x00
000016d7: SWAP1
000016d8: DUP2
000016d9: MSTORE
000016da: PUSH1 0x0f
000016dc: PUSH1 0x20
000016de: MSTORE
000016df: PUSH1 0x40
000016e1: SWAP1
000016e2: KECCAK256
000016e3: PUSH1 0x04
000016e5: DUP2
000016e6: ADD
000016e7: SWAP2
000016e8: SWAP1
000016e9: SWAP2
000016ea: SSTORE
000016eb: PUSH1 0x05
000016ed: ADD
000016ee: SLOAD
000016ef: PUSH2 0x16fe
000016f2: SWAP1
000016f3: DUP5
000016f4: PUSH4 0xffffffff
000016f9: PUSH2 0x183d
000016fc: AND
000016fd: JUMP
000016fe: JUMPDEST
000016ff: PUSH1 0x01
00001701: PUSH1 0x01
00001703: PUSH1 0xa0
00001705: SHL
00001706: SUB
00001707: DUP11
00001708: AND
00001709: PUSH1 0x00
0000170b: SWAP1
0000170c: DUP2
0000170d: MSTORE
0000170e: PUSH1 0x0f
00001710: PUSH1 0x20
00001712: MSTORE
00001713: PUSH1 0x40
00001715: SWAP1
00001716: KECCAK256
00001717: PUSH1 0x05
00001719: DUP2
0000171a: ADD
0000171b: SWAP2
0000171c: SWAP1
0000171d: SWAP2
0000171e: SSTORE
0000171f: PUSH1 0x06
00001721: ADD
00001722: SLOAD
00001723: PUSH2 0x1732
00001726: SWAP1
00001727: DUP4
00001728: PUSH4 0xffffffff
0000172d: PUSH2 0x183d
00001730: AND
00001731: JUMP
00001732: JUMPDEST
00001733: PUSH1 0x01
00001735: PUSH1 0x01
00001737: PUSH1 0xa0
00001739: SHL
0000173a: SUB
0000173b: DUP11
0000173c: AND
0000173d: PUSH1 0x00
0000173f: SWAP1
00001740: DUP2
00001741: MSTORE
00001742: PUSH1 0x0f
00001744: PUSH1 0x20
00001746: SWAP1
00001747: DUP2
00001748: MSTORE
00001749: PUSH1 0x40
0000174b: DUP1
0000174c: DUP4
0000174d: KECCAK256
0000174e: PUSH1 0x06
00001750: ADD
00001751: SWAP4
00001752: SWAP1
00001753: SWAP4
00001754: SSTORE
00001755: PUSH1 0x05
00001757: DUP2
00001758: MSTORE
00001759: DUP3
0000175a: DUP3
0000175b: KECCAK256
0000175c: DUP5
0000175d: DUP4
0000175e: MSTORE
0000175f: SWAP1
00001760: MSTORE
00001761: KECCAK256
00001762: SLOAD
00001763: PUSH2 0x1772
00001766: SWAP1
00001767: DUP4
00001768: PUSH4 0xffffffff
0000176d: PUSH2 0x183d
00001770: AND
00001771: JUMP
00001772: JUMPDEST
00001773: PUSH1 0x01
00001775: PUSH1 0x01
00001777: PUSH1 0xa0
00001779: SHL
0000177a: SUB
0000177b: DUP11
0000177c: AND
0000177d: PUSH1 0x00
0000177f: SWAP1
00001780: DUP2
00001781: MSTORE
00001782: PUSH1 0x05
00001784: PUSH1 0x20
00001786: SWAP1
00001787: DUP2
00001788: MSTORE
00001789: PUSH1 0x40
0000178b: DUP1
0000178c: DUP4
0000178d: KECCAK256
0000178e: DUP6
0000178f: DUP5
00001790: MSTORE
00001791: SWAP1
00001792: SWAP2
00001793: MSTORE
00001794: SWAP1
00001795: KECCAK256
00001796: SSTORE
00001797: PUSH2 0x17a0
0000179a: DUP9
0000179b: DUP8
0000179c: PUSH2 0x1a28
0000179f: JUMP
000017a0: JUMPDEST
000017a1: PUSH2 0x17ab
000017a4: DUP10
000017a5: DUP10
000017a6: DUP6
000017a7: PUSH2 0x1b73
000017aa: JUMP
000017ab: JUMPDEST
000017ac: PUSH1 0x0b
000017ae: SLOAD
000017af: PUSH1 0x40
000017b1: DUP1
000017b2: MLOAD
000017b3: DUP5
000017b4: DUP2
000017b5: MSTORE
000017b6: PUSH1 0x20
000017b8: DUP2
000017b9: ADD
000017ba: DUP11
000017bb: SWAP1
000017bc: MSTORE
000017bd: DUP2
000017be: MLOAD
000017bf: PUSH1 0x01
000017c1: PUSH1 0x01
000017c3: PUSH1 0xa0
000017c5: SHL
000017c6: SUB
000017c7: DUP14
000017c8: AND
000017c9: SWAP3
000017ca: PUSH32 0x4b9622a7ffcb20551847f4dd71b5b98c4267e10d7d338a6c7fb7b26d45d854e0
000017eb: SWAP3
000017ec: DUP3
000017ed: SWAP1
000017ee: SUB
000017ef: ADD
000017f0: SWAP1
000017f1: LOG3
000017f2: PUSH1 0x40
000017f4: DUP1
000017f5: MLOAD
000017f6: DUP5
000017f7: DUP2
000017f8: MSTORE
000017f9: SWAP1
000017fa: MLOAD
000017fb: PUSH1 0x01
000017fd: PUSH1 0x01
000017ff: PUSH1 0xa0
00001801: SHL
00001802: SUB
00001803: DUP12
00001804: AND
00001805: SWAP2
00001806: PUSH1 0x00
00001808: SWAP2
00001809: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000182a: SWAP2
0000182b: DUP2
0000182c: SWAP1
0000182d: SUB
0000182e: PUSH1 0x20
00001830: ADD
00001831: SWAP1
00001832: LOG3
00001833: POP
00001834: POP
00001835: POP
00001836: POP
00001837: POP
00001838: POP
00001839: POP
0000183a: POP
0000183b: POP
0000183c: JUMP
0000183d: JUMPDEST
0000183e: DUP2
0000183f: DUP2
00001840: ADD
00001841: DUP3
00001842: DUP2
00001843: LT
00001844: ISZERO
00001845: PUSH2 0x148e
00001848: JUMPI
00001849: PUSH1 0x00
0000184b: DUP1
0000184c: REVERT
0000184d: JUMPDEST
0000184e: PUSH1 0x00
00001850: DUP1
00001851: PUSH2 0x1859
00001854: DUP4
00001855: PUSH2 0x1bf0
00001858: JUMP
00001859: JUMPDEST
0000185a: PUSH1 0x01
0000185c: PUSH1 0x01
0000185e: PUSH1 0xa0
00001860: SHL
00001861: SUB
00001862: DUP5
00001863: AND
00001864: PUSH1 0x00
00001866: SWAP1
00001867: DUP2
00001868: MSTORE
00001869: PUSH1 0x0f
0000186b: PUSH1 0x20
0000186d: MSTORE
0000186e: PUSH1 0x40
00001870: DUP2
00001871: KECCAK256
00001872: PUSH1 0x02
00001874: ADD
00001875: SLOAD
00001876: SWAP2
00001877: SWAP3
00001878: POP
00001879: PUSH2 0x1888
0000187c: DUP4
0000187d: DUP4
0000187e: PUSH4 0xffffffff
00001883: PUSH2 0x183d
00001886: AND
00001887: JUMP
00001888: JUMPDEST
00001889: SWAP1
0000188a: POP
0000188b: DUP1
0000188c: ISZERO
0000188d: PUSH2 0x18e2
00001890: JUMPI
00001891: PUSH1 0x01
00001893: PUSH1 0x01
00001895: PUSH1 0xa0
00001897: SHL
00001898: SUB
00001899: DUP6
0000189a: AND
0000189b: PUSH1 0x00
0000189d: SWAP1
0000189e: DUP2
0000189f: MSTORE
000018a0: PUSH1 0x0f
000018a2: PUSH1 0x20
000018a4: MSTORE
000018a5: PUSH1 0x40
000018a7: DUP2
000018a8: KECCAK256
000018a9: PUSH1 0x02
000018ab: DUP2
000018ac: ADD
000018ad: SWAP2
000018ae: SWAP1
000018af: SWAP2
000018b0: SSTORE
000018b1: PUSH1 0x08
000018b3: ADD
000018b4: SLOAD
000018b5: PUSH2 0x18c5
000018b8: SWAP1
000018b9: DUP5
000018ba: SWAP1
000018bb: PUSH4 0xffffffff
000018c0: PUSH2 0x183d
000018c3: AND
000018c4: JUMP
000018c5: JUMPDEST
000018c6: PUSH1 0x01
000018c8: PUSH1 0x01
000018ca: PUSH1 0xa0
000018cc: SHL
000018cd: SUB
000018ce: DUP7
000018cf: AND
000018d0: PUSH1 0x00
000018d2: SWAP1
000018d3: DUP2
000018d4: MSTORE
000018d5: PUSH1 0x0f
000018d7: PUSH1 0x20
000018d9: MSTORE
000018da: PUSH1 0x40
000018dc: SWAP1
000018dd: KECCAK256
000018de: PUSH1 0x08
000018e0: ADD
000018e1: SSTORE
000018e2: JUMPDEST
000018e3: SWAP5
000018e4: SWAP4
000018e5: POP
000018e6: POP
000018e7: POP
000018e8: POP
000018e9: JUMP
000018ea: JUMPDEST
000018eb: PUSH1 0x01
000018ed: PUSH1 0x01
000018ef: PUSH1 0xa0
000018f1: SHL
000018f2: SUB
000018f3: DUP2
000018f4: AND
000018f5: PUSH1 0x00
000018f7: SWAP1
000018f8: DUP2
000018f9: MSTORE
000018fa: PUSH1 0x0f
000018fc: PUSH1 0x20
000018fe: MSTORE
000018ff: PUSH1 0x40
00001901: DUP2
00001902: KECCAK256
00001903: PUSH1 0x07
00001905: ADD
00001906: SLOAD
00001907: SWAP1
00001908: DUP2
00001909: ISZERO
0000190a: PUSH2 0x19c7
0000190d: JUMPI
0000190e: JUMPDEST
0000190f: PUSH1 0x0b
00001911: SLOAD
00001912: DUP3
00001913: LT
00001914: ISZERO
00001915: PUSH2 0x197e
00001918: JUMPI
00001919: PUSH1 0x01
0000191b: PUSH1 0x01
0000191d: PUSH1 0xa0
0000191f: SHL
00001920: SUB
00001921: DUP4
00001922: AND
00001923: PUSH1 0x00
00001925: SWAP1
00001926: DUP2
00001927: MSTORE
00001928: PUSH1 0x05
0000192a: PUSH1 0x20
0000192c: SWAP1
0000192d: DUP2
0000192e: MSTORE
0000192f: PUSH1 0x40
00001931: DUP1
00001932: DUP4
00001933: KECCAK256
00001934: DUP6
00001935: DUP5
00001936: MSTORE
00001937: SWAP1
00001938: SWAP2
00001939: MSTORE
0000193a: SWAP1
0000193b: KECCAK256
0000193c: SLOAD
0000193d: PUSH2 0x194d
00001940: SWAP1
00001941: DUP3
00001942: SWAP1
00001943: PUSH4 0xffffffff
00001948: PUSH2 0x183d
0000194b: AND
0000194c: JUMP
0000194d: JUMPDEST
0000194e: PUSH1 0x01
00001950: PUSH1 0x01
00001952: PUSH1 0xa0
00001954: SHL
00001955: SUB
00001956: DUP5
00001957: AND
00001958: PUSH1 0x00
0000195a: SWAP1
0000195b: DUP2
0000195c: MSTORE
0000195d: PUSH1 0x05
0000195f: PUSH1 0x20
00001961: SWAP1
00001962: DUP2
00001963: MSTORE
00001964: PUSH1 0x40
00001966: DUP1
00001967: DUP4
00001968: KECCAK256
00001969: DUP7
0000196a: DUP5
0000196b: MSTORE
0000196c: SWAP1
0000196d: SWAP2
0000196e: MSTORE
0000196f: DUP2
00001970: KECCAK256
00001971: SSTORE
00001972: PUSH1 0x01
00001974: SWAP1
00001975: SWAP3
00001976: ADD
00001977: SWAP2
00001978: SWAP1
00001979: POP
0000197a: PUSH2 0x190e
0000197d: JUMP
0000197e: JUMPDEST
0000197f: PUSH1 0x01
00001981: PUSH1 0x01
00001983: PUSH1 0xa0
00001985: SHL
00001986: SUB
00001987: DUP4
00001988: AND
00001989: PUSH1 0x00
0000198b: SWAP1
0000198c: DUP2
0000198d: MSTORE
0000198e: PUSH1 0x0f
00001990: PUSH1 0x20
00001992: MSTORE
00001993: PUSH1 0x40
00001995: SWAP1
00001996: KECCAK256
00001997: PUSH1 0x06
00001999: ADD
0000199a: SLOAD
0000199b: PUSH2 0x19aa
0000199e: SWAP1
0000199f: DUP3
000019a0: PUSH4 0xffffffff
000019a5: PUSH2 0x1a13
000019a8: AND
000019a9: JUMP
000019aa: JUMPDEST
000019ab: PUSH1 0x01
000019ad: PUSH1 0x01
000019af: PUSH1 0xa0
000019b1: SHL
000019b2: SUB
000019b3: DUP5
000019b4: AND
000019b5: PUSH1 0x00
000019b7: SWAP1
000019b8: DUP2
000019b9: MSTORE
000019ba: PUSH1 0x0f
000019bc: PUSH1 0x20
000019be: MSTORE
000019bf: PUSH1 0x40
000019c1: SWAP1
000019c2: KECCAK256
000019c3: PUSH1 0x06
000019c5: ADD
000019c6: SSTORE
000019c7: JUMPDEST
000019c8: POP
000019c9: POP
000019ca: PUSH1 0x0b
000019cc: SLOAD
000019cd: PUSH1 0x01
000019cf: PUSH1 0x01
000019d1: PUSH1 0xa0
000019d3: SHL
000019d4: SUB
000019d5: SWAP1
000019d6: SWAP2
000019d7: AND
000019d8: PUSH1 0x00
000019da: SWAP1
000019db: DUP2
000019dc: MSTORE
000019dd: PUSH1 0x0f
000019df: PUSH1 0x20
000019e1: MSTORE
000019e2: PUSH1 0x40
000019e4: SWAP1
000019e5: KECCAK256
000019e6: PUSH1 0x07
000019e8: ADD
000019e9: SSTORE
000019ea: JUMP
000019eb: JUMPDEST
000019ec: PUSH1 0x00
000019ee: DUP3
000019ef: PUSH2 0x19fa
000019f2: JUMPI
000019f3: POP
000019f4: PUSH1 0x00
000019f6: PUSH2 0x148e
000019f9: JUMP
000019fa: JUMPDEST
000019fb: POP
000019fc: DUP2
000019fd: DUP2
000019fe: MUL
000019ff: DUP2
00001a00: DUP4
00001a01: DUP3
00001a02: DUP2
00001a03: PUSH2 0x1a08
00001a06: JUMPI
00001a07: INVALID
00001a08: JUMPDEST
00001a09: DIV
00001a0a: EQ
00001a0b: PUSH2 0x148e
00001a0e: JUMPI
00001a0f: PUSH1 0x00
00001a11: DUP1
00001a12: REVERT
00001a13: JUMPDEST
00001a14: PUSH1 0x00
00001a16: DUP3
00001a17: DUP3
00001a18: GT
00001a19: ISZERO
00001a1a: PUSH2 0x1a22
00001a1d: JUMPI
00001a1e: PUSH1 0x00
00001a20: DUP1
00001a21: REVERT
00001a22: JUMPDEST
00001a23: POP
00001a24: SWAP1
00001a25: SUB
00001a26: SWAP1
00001a27: JUMP
00001a28: JUMPDEST
00001a29: PUSH1 0x01
00001a2b: PUSH1 0x01
00001a2d: PUSH1 0xa0
00001a2f: SHL
00001a30: SUB
00001a31: DUP2
00001a32: AND
00001a33: PUSH1 0x00
00001a35: SWAP1
00001a36: DUP2
00001a37: MSTORE
00001a38: PUSH1 0x0f
00001a3a: PUSH1 0x20
00001a3c: MSTORE
00001a3d: PUSH1 0x40
00001a3f: SWAP1
00001a40: KECCAK256
00001a41: PUSH1 0x03
00001a43: ADD
00001a44: SLOAD
00001a45: PUSH1 0x05
00001a47: DUP4
00001a48: DIV
00001a49: SWAP1
00001a4a: PUSH1 0x0a
00001a4c: DUP5
00001a4d: DIV
00001a4e: SWAP1
00001a4f: PUSH1 0xff
00001a51: AND
00001a52: ISZERO
00001a53: PUSH2 0x1b36
00001a56: JUMPI
00001a57: PUSH1 0x01
00001a59: PUSH1 0x01
00001a5b: PUSH1 0xa0
00001a5d: SHL
00001a5e: SUB
00001a5f: DUP4
00001a60: AND
00001a61: PUSH1 0x00
00001a63: SWAP1
00001a64: DUP2
00001a65: MSTORE
00001a66: PUSH1 0x0f
00001a68: PUSH1 0x20
00001a6a: MSTORE
00001a6b: PUSH1 0x40
00001a6d: DUP2
00001a6e: KECCAK256
00001a6f: PUSH1 0x09
00001a71: ADD
00001a72: SLOAD
00001a73: PUSH2 0x1a83
00001a76: SWAP1
00001a77: PUSH1 0x06
00001a79: PUSH4 0xffffffff
00001a7e: PUSH2 0x183d
00001a81: AND
00001a82: JUMP
00001a83: JUMPDEST
00001a84: SWAP1
00001a85: POP
00001a86: PUSH1 0x00
00001a88: PUSH1 0x64
00001a8a: PUSH2 0x1a99
00001a8d: DUP8
00001a8e: DUP5
00001a8f: PUSH4 0xffffffff
00001a94: PUSH2 0x19eb
00001a97: AND
00001a98: JUMP
00001a99: JUMPDEST
00001a9a: DUP2
00001a9b: PUSH2 0x1aa0
00001a9e: JUMPI
00001a9f: INVALID
00001aa0: JUMPDEST
00001aa1: PUSH1 0x01
00001aa3: PUSH1 0x01
00001aa5: PUSH1 0xa0
00001aa7: SHL
00001aa8: SUB
00001aa9: DUP8
00001aaa: AND
00001aab: PUSH1 0x00
00001aad: SWAP1
00001aae: DUP2
00001aaf: MSTORE
00001ab0: PUSH1 0x0f
00001ab2: PUSH1 0x20
00001ab4: MSTORE
00001ab5: PUSH1 0x40
00001ab7: SWAP1
00001ab8: KECCAK256
00001ab9: PUSH1 0x02
00001abb: ADD
00001abc: SLOAD
00001abd: SWAP2
00001abe: SWAP1
00001abf: DIV
00001ac0: SWAP2
00001ac1: POP
00001ac2: PUSH2 0x1ad1
00001ac5: SWAP1
00001ac6: DUP3
00001ac7: PUSH4 0xffffffff
00001acc: PUSH2 0x183d
00001acf: AND
00001ad0: JUMP
00001ad1: JUMPDEST
00001ad2: PUSH1 0x01
00001ad4: PUSH1 0x01
00001ad6: PUSH1 0xa0
00001ad8: SHL
00001ad9: SUB
00001ada: DUP7
00001adb: AND
00001adc: PUSH1 0x00
00001ade: SWAP1
00001adf: DUP2
00001ae0: MSTORE
00001ae1: PUSH1 0x0f
00001ae3: PUSH1 0x20
00001ae5: MSTORE
00001ae6: PUSH1 0x40
00001ae8: SWAP1
00001ae9: KECCAK256
00001aea: PUSH1 0x02
00001aec: DUP2
00001aed: ADD
00001aee: SWAP2
00001aef: SWAP1
00001af0: SWAP2
00001af1: SSTORE
00001af2: PUSH1 0x0a
00001af4: ADD
00001af5: SLOAD
00001af6: PUSH2 0x1b05
00001af9: SWAP1
00001afa: DUP3
00001afb: PUSH4 0xffffffff
00001b00: PUSH2 0x183d
00001b03: AND
00001b04: JUMP
00001b05: JUMPDEST
00001b06: PUSH1 0x01
00001b08: PUSH1 0x01
00001b0a: PUSH1 0xa0
00001b0c: SHL
00001b0d: SUB
00001b0e: DUP7
00001b0f: AND
00001b10: PUSH1 0x00
00001b12: SWAP1
00001b13: DUP2
00001b14: MSTORE
00001b15: PUSH1 0x0f
00001b17: PUSH1 0x20
00001b19: MSTORE
00001b1a: PUSH1 0x40
00001b1c: SWAP1
00001b1d: KECCAK256
00001b1e: PUSH1 0x0a
00001b20: ADD
00001b21: SSTORE
00001b22: PUSH2 0x1b31
00001b25: DUP5
00001b26: DUP3
00001b27: PUSH4 0xffffffff
00001b2c: PUSH2 0x1a13
00001b2f: AND
00001b30: JUMP
00001b31: JUMPDEST
00001b32: SWAP4
00001b33: POP
00001b34: POP
00001b35: POP
00001b36: JUMPDEST
00001b37: PUSH2 0x1b54
00001b3a: PUSH20 0x9933ad4d38702cdc28c5db2f421f1f02cf530780
00001b4f: DUP3
00001b50: PUSH2 0x1445
00001b53: JUMP
00001b54: JUMPDEST
00001b55: POP
00001b56: PUSH2 0x12cd
00001b59: PUSH20 0x83d0d842e6db3b020f384a2af11bd14787bec8e7
00001b6e: DUP4
00001b6f: PUSH2 0x1445
00001b72: JUMP
00001b73: JUMPDEST
00001b74: PUSH1 0x00
00001b76: PUSH1 0x14
00001b78: PUSH2 0x1b88
00001b7b: DUP5
00001b7c: PUSH1 0x03
00001b7e: PUSH4 0xffffffff
00001b83: PUSH2 0x19eb
00001b86: AND
00001b87: JUMP
00001b88: JUMPDEST
00001b89: DUP2
00001b8a: PUSH2 0x1b8f
00001b8d: JUMPI
00001b8e: INVALID
00001b8f: JUMPDEST
00001b90: DIV
00001b91: SWAP1
00001b92: POP
00001b93: PUSH1 0x00
00001b95: PUSH1 0x64
00001b97: PUSH2 0x1ba7
00001b9a: DUP6
00001b9b: PUSH1 0x37
00001b9d: PUSH4 0xffffffff
00001ba2: PUSH2 0x19eb
00001ba5: AND
00001ba6: JUMP
00001ba7: JUMPDEST
00001ba8: DUP2
00001ba9: PUSH2 0x1bae
00001bac: JUMPI
00001bad: INVALID
00001bae: JUMPDEST
00001baf: DIV
00001bb0: SWAP1
00001bb1: POP
00001bb2: PUSH1 0x00
00001bb4: PUSH2 0x1bbe
00001bb7: DUP7
00001bb8: DUP5
00001bb9: DUP7
00001bba: PUSH2 0x1c48
00001bbd: JUMP
00001bbe: JUMPDEST
00001bbf: SWAP1
00001bc0: POP
00001bc1: PUSH2 0x1be5
00001bc4: DUP3
00001bc5: PUSH2 0x1bd9
00001bc8: DUP4
00001bc9: PUSH1 0x0a
00001bcb: SLOAD
00001bcc: PUSH2 0x183d
00001bcf: SWAP1
00001bd0: SWAP2
00001bd1: SWAP1
00001bd2: PUSH4 0xffffffff
00001bd7: AND
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: SWAP1
00001bdb: PUSH4 0xffffffff
00001be0: PUSH2 0x183d
00001be3: AND
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH1 0x0a
00001be8: SSTORE
00001be9: POP
00001bea: POP
00001beb: POP
00001bec: POP
00001bed: POP
00001bee: POP
00001bef: JUMP
00001bf0: JUMPDEST
00001bf1: PUSH1 0x01
00001bf3: PUSH1 0x01
00001bf5: PUSH1 0xa0
00001bf7: SHL
00001bf8: SUB
00001bf9: DUP2
00001bfa: AND
00001bfb: PUSH1 0x00
00001bfd: SWAP1
00001bfe: DUP2
00001bff: MSTORE
00001c00: PUSH1 0x0f
00001c02: PUSH1 0x20
00001c04: MSTORE
00001c05: PUSH1 0x40
00001c07: DUP2
00001c08: KECCAK256
00001c09: PUSH1 0x08
00001c0b: DUP2
00001c0c: ADD
00001c0d: SLOAD
00001c0e: PUSH1 0x05
00001c10: SWAP1
00001c11: SWAP2
00001c12: ADD
00001c13: SLOAD
00001c14: PUSH1 0x0d
00001c16: SLOAD
00001c17: PUSH2 0x148e
00001c1a: SWAP3
00001c1b: SWAP2
00001c1c: PUSH8 0x0de0b6b3a7640000
00001c25: SWAP2
00001c26: PUSH2 0x1c34
00001c29: SWAP2
00001c2a: PUSH4 0xffffffff
00001c2f: PUSH2 0x19eb
00001c32: AND
00001c33: JUMP
00001c34: JUMPDEST
00001c35: DUP2
00001c36: PUSH2 0x1c3b
00001c39: JUMPI
00001c3a: INVALID
00001c3b: JUMPDEST
00001c3c: DIV
00001c3d: SWAP1
00001c3e: PUSH4 0xffffffff
00001c43: PUSH2 0x1a13
00001c46: AND
00001c47: JUMP
00001c48: JUMPDEST
00001c49: PUSH1 0x09
00001c4b: SLOAD
00001c4c: PUSH1 0x00
00001c4e: SWAP1
00001c4f: DUP2
00001c50: SWAP1
00001c51: PUSH2 0x1c68
00001c54: DUP6
00001c55: PUSH8 0x0de0b6b3a7640000
00001c5e: PUSH4 0xffffffff
00001c63: PUSH2 0x19eb
00001c66: AND
00001c67: JUMP
00001c68: JUMPDEST
00001c69: DUP2
00001c6a: PUSH2 0x1c6f
00001c6d: JUMPI
00001c6e: INVALID
00001c6f: JUMPDEST
00001c70: DIV
00001c71: SWAP1
00001c72: POP
00001c73: PUSH2 0x1c87
00001c76: DUP2
00001c77: PUSH1 0x0d
00001c79: SLOAD
00001c7a: PUSH2 0x183d
00001c7d: SWAP1
00001c7e: SWAP2
00001c7f: SWAP1
00001c80: PUSH4 0xffffffff
00001c85: AND
00001c86: JUMP
00001c87: JUMPDEST
00001c88: PUSH1 0x0d
00001c8a: SSTORE
00001c8b: PUSH1 0x00
00001c8d: PUSH8 0x0de0b6b3a7640000
00001c96: PUSH2 0x1ca5
00001c99: DUP4
00001c9a: DUP7
00001c9b: PUSH4 0xffffffff
00001ca0: PUSH2 0x19eb
00001ca3: AND
00001ca4: JUMP
00001ca5: JUMPDEST
00001ca6: DUP2
00001ca7: PUSH2 0x1cac
00001caa: JUMPI
00001cab: INVALID
00001cac: JUMPDEST
00001cad: DIV
00001cae: SWAP1
00001caf: POP
00001cb0: PUSH2 0x1cfd
00001cb3: PUSH1 0x0f
00001cb5: PUSH1 0x00
00001cb7: DUP9
00001cb8: PUSH1 0x01
00001cba: PUSH1 0x01
00001cbc: PUSH1 0xa0
00001cbe: SHL
00001cbf: SUB
00001cc0: AND
00001cc1: PUSH1 0x01
00001cc3: PUSH1 0x01
00001cc5: PUSH1 0xa0
00001cc7: SHL
00001cc8: SUB
00001cc9: AND
00001cca: DUP2
00001ccb: MSTORE
00001ccc: PUSH1 0x20
00001cce: ADD
00001ccf: SWAP1
00001cd0: DUP2
00001cd1: MSTORE
00001cd2: PUSH1 0x20
00001cd4: ADD
00001cd5: PUSH1 0x00
00001cd7: KECCAK256
00001cd8: PUSH1 0x08
00001cda: ADD
00001cdb: SLOAD
00001cdc: PUSH2 0x1bd9
00001cdf: DUP4
00001ce0: PUSH8 0x0de0b6b3a7640000
00001ce9: PUSH2 0x1c34
00001cec: DUP10
00001ced: PUSH1 0x0d
00001cef: SLOAD
00001cf0: PUSH2 0x19eb
00001cf3: SWAP1
00001cf4: SWAP2
00001cf5: SWAP1
00001cf6: PUSH4 0xffffffff
00001cfb: AND
00001cfc: JUMP
00001cfd: JUMPDEST
00001cfe: PUSH1 0x01
00001d00: PUSH1 0x01
00001d02: PUSH1 0xa0
00001d04: SHL
00001d05: SUB
00001d06: DUP8
00001d07: AND
00001d08: PUSH1 0x00
00001d0a: SWAP1
00001d0b: DUP2
00001d0c: MSTORE
00001d0d: PUSH1 0x0f
00001d0f: PUSH1 0x20
00001d11: MSTORE
00001d12: PUSH1 0x40
00001d14: SWAP1
00001d15: KECCAK256
00001d16: PUSH1 0x08
00001d18: ADD
00001d19: SSTORE
00001d1a: PUSH1 0x09
00001d1c: SLOAD
00001d1d: PUSH2 0x1d51
00001d20: SWAP1
00001d21: PUSH8 0x0de0b6b3a7640000
00001d2a: SWAP1
00001d2b: PUSH2 0x1d3b
00001d2e: SWAP1
00001d2f: DUP6
00001d30: SWAP1
00001d31: PUSH4 0xffffffff
00001d36: PUSH2 0x19eb
00001d39: AND
00001d3a: JUMP
00001d3b: JUMPDEST
00001d3c: DUP2
00001d3d: PUSH2 0x1d42
00001d40: JUMPI
00001d41: INVALID
00001d42: JUMPDEST
00001d43: DUP8
00001d44: SWAP2
00001d45: SWAP1
00001d46: DIV
00001d47: PUSH4 0xffffffff
00001d4c: PUSH2 0x1a13
00001d4f: AND
00001d50: JUMP
00001d51: JUMPDEST
00001d52: SWAP7
00001d53: SWAP6
00001d54: POP
00001d55: POP
00001d56: POP
00001d57: POP
00001d58: POP
00001d59: POP
00001d5a: JUMP
00001d5b: JUMPDEST
00001d5c: PUSH1 0x40
00001d5e: MLOAD
00001d5f: DUP1
00001d60: PUSH2 0x0c80
00001d63: ADD
00001d64: PUSH1 0x40
00001d66: MSTORE
00001d67: DUP1
00001d68: PUSH1 0x64
00001d6a: SWAP1
00001d6b: PUSH1 0x20
00001d6d: DUP3
00001d6e: MUL
00001d6f: DUP1
00001d70: CODESIZE
00001d71: DUP4
00001d72: CODECOPY
00001d73: POP
00001d74: SWAP2
00001d75: SWAP3
00001d76: SWAP2
00001d77: POP
00001d78: POP
00001d79: JUMP
00001d7a: JUMPDEST
00001d7b: PUSH1 0x32
00001d7d: DUP1
00001d7e: PUSH2 0x1d87
00001d81: DUP4
00001d82: CODECOPY
00001d83: ADD
00001d84: SWAP1
00001d85: JUMP
00001d86: INVALID
00001d87: PUSH1 0x80
00001d89: PUSH1 0x40
00001d8b: MSTORE
00001d8c: PUSH1 0x40
00001d8e: MLOAD
00001d8f: PUSH1 0x32
00001d91: CODESIZE
00001d92: SUB
00001d93: DUP1
00001d94: PUSH1 0x32
00001d96: DUP4
00001d97: CODECOPY
00001d98: DUP2
00001d99: DUP2
00001d9a: ADD
00001d9b: PUSH1 0x40
00001d9d: MSTORE
00001d9e: PUSH1 0x20
00001da0: DUP2
00001da1: LT
00001da2: ISZERO
00001da3: PUSH1 0x23
00001da5: JUMPI
00001da6: PUSH1 0x00
00001da8: DUP1
00001da9: REVERT
00001daa: JUMPDEST
00001dab: POP
00001dac: MLOAD
00001dad: PUSH1 0x01
00001daf: PUSH1 0x01
00001db1: PUSH1 0xa0
00001db3: SHL
00001db4: SUB
00001db5: DUP2
00001db6: AND
00001db7: SELFDESTRUCT
00001db8: INVALID
00001db9: PUSH17 0x6f636b6574206c696e743a206e6f742061
00001dcb: KECCAK256
00001dcc: PUSH23 0x616c69642063757272656e6379a265627a7a7231582078
00001de4: UNKNOWN(0xF7)
00001de5: UNKNOWN(0xDC)
00001de6: MOD
00001de7: PUSH4 0xf1419e97
00001dec: UNKNOWN(0xD7)
00001ded: UNKNOWN(0xFC)
00001dee: UNKNOWN(0x0C)
00001def: SMOD
00001df0: CALLVALUE
00001df1: PUSH13 0x894c816feeb9b5dae00925b35d
00001dff: PUSH9 0x0d542464736f6c6343
00001e09: STOP
00001e0a: SDIV
00001e0b: LT
00001e0c: STOP
00001e0d: ORIGIN

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd93be433", "selector": "0xd93be433", "calldata_variants": [ "0xd93be433", "0xd93be4330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe7ee6ad6", "selector": "0xe7ee6ad6", "calldata_variants": [ "0xe7ee6ad6", "0xe7ee6ad60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefbe1c1c", "selector": "0xefbe1c1c", "calldata_variants": [ "0xefbe1c1c", "0xefbe1c1c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0da9344", "selector": "0xf0da9344", "calldata_variants": [ "0xf0da9344", "0xf0da93440000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2c298be", "selector": "0xf2c298be", "calldata_variants": [ "0xf2c298be", "0xf2c298be0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb74e452b", "selector": "0xb74e452b", "calldata_variants": [ "0xb74e452b", "0xb74e452b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcce7ec13", "selector": "0xcce7ec13", "calldata_variants": [ "0xcce7ec13", "0xcce7ec130000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd55ec697", "selector": "0xd55ec697", "calldata_variants": [ "0xd55ec697", "0xd55ec6970000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 1984, "type": "tx_origin_used" }, { "pc": 2259, "type": "tx_origin_used" }, { "pc": 2532, "type": "tx_origin_used" }, { "pc": 2826, "type": "tx_origin_used" }, { "pc": 3479, "type": "tx_origin_used" }, { "pc": 3626, "type": "tx_origin_used" }, { "pc": 3962, "type": "tx_origin_used" }, { "pc": 4145, "type": "tx_origin_used" }, { "pc": 1983, "type": "tx_origin_used" }, { "pc": 2258, "type": "tx_origin_used" }, { "pc": 2531, "type": "tx_origin_used" }, { "pc": 2825, "type": "tx_origin_used" }, { "pc": 3478, "type": "tx_origin_used" }, { "pc": 3625, "type": "tx_origin_used" }, { "pc": 3961, "type": "tx_origin_used" }, { "pc": 4144, "type": "tx_origin_used" }, { "pc": 7693, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x57073ad911e7b6bef049614d45d66d972a10315754a539e6684b8ad82e416b29 call_targets: 0x66be1bc6c6af47900bbd4f3711801be6c2c6cb32 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x57073ad911e7b6bef049614d45d66d972a10315754a539e6684b8ad82e416b29", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x66be1bc6c6af47900bbd4f3711801be6c2c6cb32" ], "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": "0xd93be433", "selector": "0xd93be433", "calldata_variants": [ "0xd93be433", "0xd93be4330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe7ee6ad6", "selector": "0xe7ee6ad6", "calldata_variants": [ "0xe7ee6ad6", "0xe7ee6ad60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefbe1c1c", "selector": "0xefbe1c1c", "calldata_variants": [ "0xefbe1c1c", "0xefbe1c1c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0da9344", "selector": "0xf0da9344", "calldata_variants": [ "0xf0da9344", "0xf0da93440000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2c298be", "selector": "0xf2c298be", "calldata_variants": [ "0xf2c298be", "0xf2c298be0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb74e452b", "selector": "0xb74e452b", "calldata_variants": [ "0xb74e452b", "0xb74e452b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcce7ec13", "selector": "0xcce7ec13", "calldata_variants": [ "0xcce7ec13", "0xcce7ec130000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd55ec697", "selector": "0xd55ec697", "calldata_variants": [ "0xd55ec697", "0xd55ec6970000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4941, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5125, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 1984, "type": "tx_origin_used" }, { "pc": 2259, "type": "tx_origin_used" }, { "pc": 2532, "type": "tx_origin_used" }, { "pc": 2826, "type": "tx_origin_used" }, { "pc": 3479, "type": "tx_origin_used" }, { "pc": 3626, "type": "tx_origin_used" }, { "pc": 3962, "type": "tx_origin_used" }, { "pc": 4145, "type": "tx_origin_used" }, { "pc": 1983, "type": "tx_origin_used" }, { "pc": 2258, "type": "tx_origin_used" }, { "pc": 2531, "type": "tx_origin_used" }, { "pc": 2825, "type": "tx_origin_used" }, { "pc": 3478, "type": "tx_origin_used" }, { "pc": 3625, "type": "tx_origin_used" }, { "pc": 3961, "type": "tx_origin_used" }, { "pc": 4144, "type": "tx_origin_used" }, { "pc": 7693, "type": "tx_origin_used" } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x57073ad911e7b6bef049614d45d66d972a10315754a539e6684b8ad82e416b29 call_targets: 0x66be1bc6c6af47900bbd4f3711801be6c2c6cb32 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x57073ad911e7b6bef049614d45d66d972a10315754a539e6684b8ad82e416b29", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x66be1bc6c6af47900bbd4f3711801be6c2c6cb32" ], "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": "0xd93be433", "selector": "0xd93be433", "calldata_variants": [ "0xd93be433", "0xd93be4330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe7ee6ad6", "selector": "0xe7ee6ad6", "calldata_variants": [ "0xe7ee6ad6", "0xe7ee6ad60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefbe1c1c", "selector": "0xefbe1c1c", "calldata_variants": [ "0xefbe1c1c", "0xefbe1c1c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0da9344", "selector": "0xf0da9344", "calldata_variants": [ "0xf0da9344", "0xf0da93440000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2c298be", "selector": "0xf2c298be", "calldata_variants": [ "0xf2c298be", "0xf2c298be0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb74e452b", "selector": "0xb74e452b", "calldata_variants": [ "0xb74e452b", "0xb74e452b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcce7ec13", "selector": "0xcce7ec13", "calldata_variants": [ "0xcce7ec13", "0xcce7ec130000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd55ec697", "selector": "0xd55ec697", "calldata_variants": [ "0xd55ec697", "0xd55ec6970000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4941, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5125, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 1984, "type": "tx_origin_used" }, { "pc": 2259, "type": "tx_origin_used" }, { "pc": 2532, "type": "tx_origin_used" }, { "pc": 2826, "type": "tx_origin_used" }, { "pc": 3479, "type": "tx_origin_used" }, { "pc": 3626, "type": "tx_origin_used" }, { "pc": 3962, "type": "tx_origin_used" }, { "pc": 4145, "type": "tx_origin_used" }, { "pc": 1983, "type": "tx_origin_used" }, { "pc": 2258, "type": "tx_origin_used" }, { "pc": 2531, "type": "tx_origin_used" }, { "pc": 2825, "type": "tx_origin_used" }, { "pc": 3478, "type": "tx_origin_used" }, { "pc": 3625, "type": "tx_origin_used" }, { "pc": 3961, "type": "tx_origin_used" }, { "pc": 4144, "type": "tx_origin_used" }, { "pc": 7693, "type": "tx_origin_used" } ] }
medium	other	detector	SELFDESTRUCT reachable	45	no	no	view trace_id: 0xefe304ed61ee8da063280a8f19cd45dfae2bf3311660a87626e26ef689842257 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xefe304ed61ee8da063280a8f19cd45dfae2bf3311660a87626e26ef689842257", "confirmed": false, "trace_mode": "structLogs", "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": "0xd93be433", "selector": "0xd93be433", "calldata_variants": [ "0xd93be433", "0xd93be4330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe7ee6ad6", "selector": "0xe7ee6ad6", "calldata_variants": [ "0xe7ee6ad6", "0xe7ee6ad60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefbe1c1c", "selector": "0xefbe1c1c", "calldata_variants": [ "0xefbe1c1c", "0xefbe1c1c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0da9344", "selector": "0xf0da9344", "calldata_variants": [ "0xf0da9344", "0xf0da93440000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2c298be", "selector": "0xf2c298be", "calldata_variants": [ "0xf2c298be", "0xf2c298be0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb74e452b", "selector": "0xb74e452b", "calldata_variants": [ "0xb74e452b", "0xb74e452b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcce7ec13", "selector": "0xcce7ec13", "calldata_variants": [ "0xcce7ec13", "0xcce7ec130000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd55ec697", "selector": "0xd55ec697", "calldata_variants": [ "0xd55ec697", "0xd55ec6970000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 1984, "type": "tx_origin_used" }, { "pc": 2259, "type": "tx_origin_used" }, { "pc": 2532, "type": "tx_origin_used" }, { "pc": 2826, "type": "tx_origin_used" }, { "pc": 3479, "type": "tx_origin_used" }, { "pc": 3626, "type": "tx_origin_used" }, { "pc": 3962, "type": "tx_origin_used" }, { "pc": 4145, "type": "tx_origin_used" }, { "pc": 1983, "type": "tx_origin_used" }, { "pc": 2258, "type": "tx_origin_used" }, { "pc": 2531, "type": "tx_origin_used" }, { "pc": 2825, "type": "tx_origin_used" }, { "pc": 3478, "type": "tx_origin_used" }, { "pc": 3625, "type": "tx_origin_used" }, { "pc": 3961, "type": "tx_origin_used" }, { "pc": 4144, "type": "tx_origin_used" }, { "pc": 7693, "type": "tx_origin_used" } ], "selfdestruct_count": 1 }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0xefe304ed61ee8da063280a8f19cd45dfae2bf3311660a87626e26ef689842257 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xefe304ed61ee8da063280a8f19cd45dfae2bf3311660a87626e26ef689842257", "confirmed": false, "trace_mode": "structLogs", "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": "0xd93be433", "selector": "0xd93be433", "calldata_variants": [ "0xd93be433", "0xd93be4330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe7ee6ad6", "selector": "0xe7ee6ad6", "calldata_variants": [ "0xe7ee6ad6", "0xe7ee6ad60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefbe1c1c", "selector": "0xefbe1c1c", "calldata_variants": [ "0xefbe1c1c", "0xefbe1c1c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0da9344", "selector": "0xf0da9344", "calldata_variants": [ "0xf0da9344", "0xf0da93440000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2c298be", "selector": "0xf2c298be", "calldata_variants": [ "0xf2c298be", "0xf2c298be0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb74e452b", "selector": "0xb74e452b", "calldata_variants": [ "0xb74e452b", "0xb74e452b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcce7ec13", "selector": "0xcce7ec13", "calldata_variants": [ "0xcce7ec13", "0xcce7ec130000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd55ec697", "selector": "0xd55ec697", "calldata_variants": [ "0xd55ec697", "0xd55ec6970000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 1, "create2_count": 0 }