Analysis Run

019ba928-f77a-709a-9664-00dc1c9c5668

complete

Chain ID

1

Address

0xc935cad589bebd8673104073d5a5eccfe67fb7b1

Block Number

—

Created

Sat, Jan 10, 2026 6:26 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
35214	artifact.fetch	complete	1 / 3	3 months ago
35215	proxy.resolve	complete	1 / 3	3 months ago
35216	tool.cast_disasm	complete	1 / 3	3 months ago
35217	analysis.bundle	complete	1 / 3	3 months ago
35218	capability.graph	complete	1 / 3	3 months ago
35219	detector.run	complete	1 / 3	3 months ago
35220	validation.fork	complete	1 / 3	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

13

EXT*/BALANCE

11

Total opcodes

4944

Flags

heavy_ext_balance_usage call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x014f
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH3 0x99d386
00000020: DUP2
00000021: EQ
00000022: PUSH2 0x01a3
00000025: JUMPI
00000026: DUP1
00000027: PUSH4 0x01a12fd3
0000002c: EQ
0000002d: PUSH2 0x01ca
00000030: JUMPI
00000031: DUP1
00000032: PUSH4 0x26782247
00000037: EQ
00000038: PUSH2 0x01eb
0000003b: JUMPI
0000003c: DUP1
0000003d: PUSH4 0x27a099d8
00000042: EQ
00000043: PUSH2 0x021a
00000046: JUMPI
00000047: DUP1
00000048: PUSH4 0x3ccdbb28
0000004d: EQ
0000004e: PUSH2 0x0280
00000051: JUMPI
00000052: DUP1
00000053: PUSH4 0x408ee7fe
00000058: EQ
00000059: PUSH2 0x02a9
0000005c: JUMPI
0000005d: DUP1
0000005e: PUSH4 0x47e6924f
00000063: EQ
00000064: PUSH2 0x02c8
00000067: JUMPI
00000068: DUP1
00000069: PUSH4 0x546dc71c
0000006e: EQ
0000006f: PUSH2 0x02db
00000072: JUMPI
00000073: DUP1
00000074: PUSH4 0x69328dec
00000079: EQ
0000007a: PUSH2 0x0305
0000007d: JUMPI
0000007e: DUP1
0000007f: PUSH4 0x6940030f
00000084: EQ
00000085: PUSH2 0x032e
00000088: JUMPI
00000089: DUP1
0000008a: PUSH4 0x6cf69811
0000008f: EQ
00000090: PUSH2 0x0341
00000093: JUMPI
00000094: DUP1
00000095: PUSH4 0x75829def
0000009a: EQ
0000009b: PUSH2 0x036d
0000009e: JUMPI
0000009f: DUP1
000000a0: PUSH4 0x77f50f97
000000a5: EQ
000000a6: PUSH2 0x038c
000000a9: JUMPI
000000aa: DUP1
000000ab: PUSH4 0x7acc8678
000000b0: EQ
000000b1: PUSH2 0x039f
000000b4: JUMPI
000000b5: DUP1
000000b6: PUSH4 0x7c423f54
000000bb: EQ
000000bc: PUSH2 0x03be
000000bf: JUMPI
000000c0: DUP1
000000c1: PUSH4 0x7cd44272
000000c6: EQ
000000c7: PUSH2 0x03d1
000000ca: JUMPI
000000cb: DUP1
000000cc: PUSH4 0x9870d7fe
000000d1: EQ
000000d2: PUSH2 0x040e
000000d5: JUMPI
000000d6: DUP1
000000d7: PUSH4 0xa7fca953
000000dc: EQ
000000dd: PUSH2 0x042d
000000e0: JUMPI
000000e1: DUP1
000000e2: PUSH4 0xac8a584a
000000e7: EQ
000000e8: PUSH2 0x0458
000000eb: JUMPI
000000ec: DUP1
000000ed: PUSH4 0xb3066d49
000000f2: EQ
000000f3: PUSH2 0x0477
000000f6: JUMPI
000000f7: DUP1
000000f8: PUSH4 0xb78b842d
000000fd: EQ
000000fe: PUSH2 0x04a2
00000101: JUMPI
00000102: DUP1
00000103: PUSH4 0xce56c454
00000108: EQ
00000109: PUSH2 0x04b5
0000010c: JUMPI
0000010d: DUP1
0000010e: PUSH4 0xd5847d33
00000113: EQ
00000114: PUSH2 0x04d7
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0xd621e813
0000011e: EQ
0000011f: PUSH2 0x04ea
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0xd7b7024d
00000129: EQ
0000012a: PUSH2 0x04fd
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0xf851a440
00000134: EQ
00000135: PUSH2 0x0513
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0xf8b2cb4f
0000013f: EQ
00000140: PUSH2 0x0526
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0xfa64dffa
0000014a: EQ
0000014b: PUSH2 0x0545
0000014e: JUMPI
0000014f: JUMPDEST
00000150: PUSH32 0x2d0c0a8842b9944ece1495eb61121621b5e36bd6af3bba0318c695f525aef79f
00000171: PUSH1 0x00
00000173: DUP1
00000174: MLOAD
00000175: PUSH1 0x20
00000177: PUSH2 0x1d1d
0000017a: DUP4
0000017b: CODECOPY
0000017c: DUP2
0000017d: MLOAD
0000017e: SWAP2
0000017f: MSTORE
00000180: CALLVALUE
00000181: PUSH1 0x40
00000183: MLOAD
00000184: PUSH1 0x01
00000186: PUSH1 0xa0
00000188: PUSH1 0x02
0000018a: EXP
0000018b: SUB
0000018c: SWAP1
0000018d: SWAP3
0000018e: AND
0000018f: DUP3
00000190: MSTORE
00000191: PUSH1 0x20
00000193: DUP3
00000194: ADD
00000195: MSTORE
00000196: PUSH1 0x40
00000198: SWAP1
00000199: DUP2
0000019a: ADD
0000019b: SWAP1
0000019c: MLOAD
0000019d: DUP1
0000019e: SWAP2
0000019f: SUB
000001a0: SWAP1
000001a1: LOG1
000001a2: STOP
000001a3: JUMPDEST
000001a4: CALLVALUE
000001a5: ISZERO
000001a6: PUSH2 0x01ae
000001a9: JUMPI
000001aa: PUSH1 0x00
000001ac: DUP1
000001ad: REVERT
000001ae: JUMPDEST
000001af: PUSH2 0x01b6
000001b2: PUSH2 0x0570
000001b5: JUMP
000001b6: JUMPDEST
000001b7: PUSH1 0x40
000001b9: MLOAD
000001ba: SWAP1
000001bb: ISZERO
000001bc: ISZERO
000001bd: DUP2
000001be: MSTORE
000001bf: PUSH1 0x20
000001c1: ADD
000001c2: PUSH1 0x40
000001c4: MLOAD
000001c5: DUP1
000001c6: SWAP2
000001c7: SUB
000001c8: SWAP1
000001c9: RETURN
000001ca: JUMPDEST
000001cb: CALLVALUE
000001cc: ISZERO
000001cd: PUSH2 0x01d5
000001d0: JUMPI
000001d1: PUSH1 0x00
000001d3: DUP1
000001d4: REVERT
000001d5: JUMPDEST
000001d6: PUSH2 0x01e9
000001d9: PUSH1 0x01
000001db: PUSH1 0xa0
000001dd: PUSH1 0x02
000001df: EXP
000001e0: SUB
000001e1: PUSH1 0x04
000001e3: CALLDATALOAD
000001e4: AND
000001e5: PUSH2 0x05fe
000001e8: JUMP
000001e9: JUMPDEST
000001ea: STOP
000001eb: JUMPDEST
000001ec: CALLVALUE
000001ed: ISZERO
000001ee: PUSH2 0x01f6
000001f1: JUMPI
000001f2: PUSH1 0x00
000001f4: DUP1
000001f5: REVERT
000001f6: JUMPDEST
000001f7: PUSH2 0x01fe
000001fa: PUSH2 0x076e
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH1 0x40
00000201: MLOAD
00000202: PUSH1 0x01
00000204: PUSH1 0xa0
00000206: PUSH1 0x02
00000208: EXP
00000209: SUB
0000020a: SWAP1
0000020b: SWAP2
0000020c: AND
0000020d: DUP2
0000020e: MSTORE
0000020f: PUSH1 0x20
00000211: ADD
00000212: PUSH1 0x40
00000214: MLOAD
00000215: DUP1
00000216: SWAP2
00000217: SUB
00000218: SWAP1
00000219: RETURN
0000021a: JUMPDEST
0000021b: CALLVALUE
0000021c: ISZERO
0000021d: PUSH2 0x0225
00000220: JUMPI
00000221: PUSH1 0x00
00000223: DUP1
00000224: REVERT
00000225: JUMPDEST
00000226: PUSH2 0x022d
00000229: PUSH2 0x077d
0000022c: JUMP
0000022d: JUMPDEST
0000022e: PUSH1 0x40
00000230: MLOAD
00000231: PUSH1 0x20
00000233: DUP1
00000234: DUP3
00000235: MSTORE
00000236: DUP2
00000237: SWAP1
00000238: DUP2
00000239: ADD
0000023a: DUP4
0000023b: DUP2
0000023c: DUP2
0000023d: MLOAD
0000023e: DUP2
0000023f: MSTORE
00000240: PUSH1 0x20
00000242: ADD
00000243: SWAP2
00000244: POP
00000245: DUP1
00000246: MLOAD
00000247: SWAP1
00000248: PUSH1 0x20
0000024a: ADD
0000024b: SWAP1
0000024c: PUSH1 0x20
0000024e: MUL
0000024f: DUP1
00000250: DUP4
00000251: DUP4
00000252: PUSH1 0x00
00000254: JUMPDEST
00000255: DUP4
00000256: DUP2
00000257: LT
00000258: ISZERO
00000259: PUSH2 0x026c
0000025c: JUMPI
0000025d: DUP1
0000025e: DUP3
0000025f: ADD
00000260: MLOAD
00000261: DUP4
00000262: DUP3
00000263: ADD
00000264: MSTORE
00000265: PUSH1 0x20
00000267: ADD
00000268: PUSH2 0x0254
0000026b: JUMP
0000026c: JUMPDEST
0000026d: POP
0000026e: POP
0000026f: POP
00000270: POP
00000271: SWAP1
00000272: POP
00000273: ADD
00000274: SWAP3
00000275: POP
00000276: POP
00000277: POP
00000278: PUSH1 0x40
0000027a: MLOAD
0000027b: DUP1
0000027c: SWAP2
0000027d: SUB
0000027e: SWAP1
0000027f: RETURN
00000280: JUMPDEST
00000281: CALLVALUE
00000282: ISZERO
00000283: PUSH2 0x028b
00000286: JUMPI
00000287: PUSH1 0x00
00000289: DUP1
0000028a: REVERT
0000028b: JUMPDEST
0000028c: PUSH2 0x01e9
0000028f: PUSH1 0x01
00000291: PUSH1 0xa0
00000293: PUSH1 0x02
00000295: EXP
00000296: SUB
00000297: PUSH1 0x04
00000299: CALLDATALOAD
0000029a: DUP2
0000029b: AND
0000029c: SWAP1
0000029d: PUSH1 0x24
0000029f: CALLDATALOAD
000002a0: SWAP1
000002a1: PUSH1 0x44
000002a3: CALLDATALOAD
000002a4: AND
000002a5: PUSH2 0x07e5
000002a8: JUMP
000002a9: JUMPDEST
000002aa: CALLVALUE
000002ab: ISZERO
000002ac: PUSH2 0x02b4
000002af: JUMPI
000002b0: PUSH1 0x00
000002b2: DUP1
000002b3: REVERT
000002b4: JUMPDEST
000002b5: PUSH2 0x01e9
000002b8: PUSH1 0x01
000002ba: PUSH1 0xa0
000002bc: PUSH1 0x02
000002be: EXP
000002bf: SUB
000002c0: PUSH1 0x04
000002c2: CALLDATALOAD
000002c3: AND
000002c4: PUSH2 0x08dc
000002c7: JUMP
000002c8: JUMPDEST
000002c9: CALLVALUE
000002ca: ISZERO
000002cb: PUSH2 0x02d3
000002ce: JUMPI
000002cf: PUSH1 0x00
000002d1: DUP1
000002d2: REVERT
000002d3: JUMPDEST
000002d4: PUSH2 0x01fe
000002d7: PUSH2 0x09d8
000002da: JUMP
000002db: JUMPDEST
000002dc: CALLVALUE
000002dd: ISZERO
000002de: PUSH2 0x02e6
000002e1: JUMPI
000002e2: PUSH1 0x00
000002e4: DUP1
000002e5: REVERT
000002e6: JUMPDEST
000002e7: PUSH2 0x01e9
000002ea: PUSH1 0x01
000002ec: PUSH1 0xa0
000002ee: PUSH1 0x02
000002f0: EXP
000002f1: SUB
000002f2: PUSH1 0x04
000002f4: CALLDATALOAD
000002f5: DUP2
000002f6: AND
000002f7: SWAP1
000002f8: PUSH1 0x24
000002fa: CALLDATALOAD
000002fb: AND
000002fc: PUSH1 0x44
000002fe: CALLDATALOAD
000002ff: ISZERO
00000300: ISZERO
00000301: PUSH2 0x09e7
00000304: JUMP
00000305: JUMPDEST
00000306: CALLVALUE
00000307: ISZERO
00000308: PUSH2 0x0310
0000030b: JUMPI
0000030c: PUSH1 0x00
0000030e: DUP1
0000030f: REVERT
00000310: JUMPDEST
00000311: PUSH2 0x01b6
00000314: PUSH1 0x01
00000316: PUSH1 0xa0
00000318: PUSH1 0x02
0000031a: EXP
0000031b: SUB
0000031c: PUSH1 0x04
0000031e: CALLDATALOAD
0000031f: DUP2
00000320: AND
00000321: SWAP1
00000322: PUSH1 0x24
00000324: CALLDATALOAD
00000325: SWAP1
00000326: PUSH1 0x44
00000328: CALLDATALOAD
00000329: AND
0000032a: PUSH2 0x0ac6
0000032d: JUMP
0000032e: JUMPDEST
0000032f: CALLVALUE
00000330: ISZERO
00000331: PUSH2 0x0339
00000334: JUMPI
00000335: PUSH1 0x00
00000337: DUP1
00000338: REVERT
00000339: JUMPDEST
0000033a: PUSH2 0x01b6
0000033d: PUSH2 0x0c7e
00000340: JUMP
00000341: JUMPDEST
00000342: PUSH2 0x01b6
00000345: PUSH1 0x01
00000347: PUSH1 0xa0
00000349: PUSH1 0x02
0000034b: EXP
0000034c: SUB
0000034d: PUSH1 0x04
0000034f: CALLDATALOAD
00000350: DUP2
00000351: AND
00000352: SWAP1
00000353: PUSH1 0x24
00000355: CALLDATALOAD
00000356: SWAP1
00000357: PUSH1 0x44
00000359: CALLDATALOAD
0000035a: DUP2
0000035b: AND
0000035c: SWAP1
0000035d: PUSH1 0x64
0000035f: CALLDATALOAD
00000360: AND
00000361: PUSH1 0x84
00000363: CALLDATALOAD
00000364: PUSH1 0xa4
00000366: CALLDATALOAD
00000367: ISZERO
00000368: ISZERO
00000369: PUSH2 0x0cff
0000036c: JUMP
0000036d: JUMPDEST
0000036e: CALLVALUE
0000036f: ISZERO
00000370: PUSH2 0x0378
00000373: JUMPI
00000374: PUSH1 0x00
00000376: DUP1
00000377: REVERT
00000378: JUMPDEST
00000379: PUSH2 0x01e9
0000037c: PUSH1 0x01
0000037e: PUSH1 0xa0
00000380: PUSH1 0x02
00000382: EXP
00000383: SUB
00000384: PUSH1 0x04
00000386: CALLDATALOAD
00000387: AND
00000388: PUSH2 0x0d6c
0000038b: JUMP
0000038c: JUMPDEST
0000038d: CALLVALUE
0000038e: ISZERO
0000038f: PUSH2 0x0397
00000392: JUMPI
00000393: PUSH1 0x00
00000395: DUP1
00000396: REVERT
00000397: JUMPDEST
00000398: PUSH2 0x01e9
0000039b: PUSH2 0x0e07
0000039e: JUMP
0000039f: JUMPDEST
000003a0: CALLVALUE
000003a1: ISZERO
000003a2: PUSH2 0x03aa
000003a5: JUMPI
000003a6: PUSH1 0x00
000003a8: DUP1
000003a9: REVERT
000003aa: JUMPDEST
000003ab: PUSH2 0x01e9
000003ae: PUSH1 0x01
000003b0: PUSH1 0xa0
000003b2: PUSH1 0x02
000003b4: EXP
000003b5: SUB
000003b6: PUSH1 0x04
000003b8: CALLDATALOAD
000003b9: AND
000003ba: PUSH2 0x0ea1
000003bd: JUMP
000003be: JUMPDEST
000003bf: CALLVALUE
000003c0: ISZERO
000003c1: PUSH2 0x03c9
000003c4: JUMPI
000003c5: PUSH1 0x00
000003c7: DUP1
000003c8: REVERT
000003c9: JUMPDEST
000003ca: PUSH2 0x022d
000003cd: PUSH2 0x0f83
000003d0: JUMP
000003d1: JUMPDEST
000003d2: CALLVALUE
000003d3: ISZERO
000003d4: PUSH2 0x03dc
000003d7: JUMPI
000003d8: PUSH1 0x00
000003da: DUP1
000003db: REVERT
000003dc: JUMPDEST
000003dd: PUSH2 0x03fc
000003e0: PUSH1 0x01
000003e2: PUSH1 0xa0
000003e4: PUSH1 0x02
000003e6: EXP
000003e7: SUB
000003e8: PUSH1 0x04
000003ea: CALLDATALOAD
000003eb: DUP2
000003ec: AND
000003ed: SWAP1
000003ee: PUSH1 0x24
000003f0: CALLDATALOAD
000003f1: AND
000003f2: PUSH1 0x44
000003f4: CALLDATALOAD
000003f5: PUSH1 0x64
000003f7: CALLDATALOAD
000003f8: PUSH2 0x0fe9
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH1 0x40
000003ff: MLOAD
00000400: SWAP1
00000401: DUP2
00000402: MSTORE
00000403: PUSH1 0x20
00000405: ADD
00000406: PUSH1 0x40
00000408: MLOAD
00000409: DUP1
0000040a: SWAP2
0000040b: SUB
0000040c: SWAP1
0000040d: RETURN
0000040e: JUMPDEST
0000040f: CALLVALUE
00000410: ISZERO
00000411: PUSH2 0x0419
00000414: JUMPI
00000415: PUSH1 0x00
00000417: DUP1
00000418: REVERT
00000419: JUMPDEST
0000041a: PUSH2 0x01e9
0000041d: PUSH1 0x01
0000041f: PUSH1 0xa0
00000421: PUSH1 0x02
00000423: EXP
00000424: SUB
00000425: PUSH1 0x04
00000427: CALLDATALOAD
00000428: AND
00000429: PUSH2 0x11d4
0000042c: JUMP
0000042d: JUMPDEST
0000042e: CALLVALUE
0000042f: ISZERO
00000430: PUSH2 0x0438
00000433: JUMPI
00000434: PUSH1 0x00
00000436: DUP1
00000437: REVERT
00000438: JUMPDEST
00000439: PUSH2 0x03fc
0000043c: PUSH1 0x01
0000043e: PUSH1 0xa0
00000440: PUSH1 0x02
00000442: EXP
00000443: SUB
00000444: PUSH1 0x04
00000446: CALLDATALOAD
00000447: DUP2
00000448: AND
00000449: SWAP1
0000044a: PUSH1 0x24
0000044c: CALLDATALOAD
0000044d: AND
0000044e: PUSH1 0x44
00000450: CALLDATALOAD
00000451: PUSH1 0x64
00000453: CALLDATALOAD
00000454: PUSH2 0x12a4
00000457: JUMP
00000458: JUMPDEST
00000459: CALLVALUE
0000045a: ISZERO
0000045b: PUSH2 0x0463
0000045e: JUMPI
0000045f: PUSH1 0x00
00000461: DUP1
00000462: REVERT
00000463: JUMPDEST
00000464: PUSH2 0x01e9
00000467: PUSH1 0x01
00000469: PUSH1 0xa0
0000046b: PUSH1 0x02
0000046d: EXP
0000046e: SUB
0000046f: PUSH1 0x04
00000471: CALLDATALOAD
00000472: AND
00000473: PUSH2 0x12d6
00000476: JUMP
00000477: JUMPDEST
00000478: CALLVALUE
00000479: ISZERO
0000047a: PUSH2 0x0482
0000047d: JUMPI
0000047e: PUSH1 0x00
00000480: DUP1
00000481: REVERT
00000482: JUMPDEST
00000483: PUSH2 0x01e9
00000486: PUSH1 0x01
00000488: PUSH1 0xa0
0000048a: PUSH1 0x02
0000048c: EXP
0000048d: SUB
0000048e: PUSH1 0x04
00000490: CALLDATALOAD
00000491: DUP2
00000492: AND
00000493: SWAP1
00000494: PUSH1 0x24
00000496: CALLDATALOAD
00000497: DUP2
00000498: AND
00000499: SWAP1
0000049a: PUSH1 0x44
0000049c: CALLDATALOAD
0000049d: AND
0000049e: PUSH2 0x1442
000004a1: JUMP
000004a2: JUMPDEST
000004a3: CALLVALUE
000004a4: ISZERO
000004a5: PUSH2 0x04ad
000004a8: JUMPI
000004a9: PUSH1 0x00
000004ab: DUP1
000004ac: REVERT
000004ad: JUMPDEST
000004ae: PUSH2 0x01fe
000004b1: PUSH2 0x1526
000004b4: JUMP
000004b5: JUMPDEST
000004b6: CALLVALUE
000004b7: ISZERO
000004b8: PUSH2 0x04c0
000004bb: JUMPI
000004bc: PUSH1 0x00
000004be: DUP1
000004bf: REVERT
000004c0: JUMPDEST
000004c1: PUSH2 0x01e9
000004c4: PUSH1 0x04
000004c6: CALLDATALOAD
000004c7: PUSH1 0x01
000004c9: PUSH1 0xa0
000004cb: PUSH1 0x02
000004cd: EXP
000004ce: SUB
000004cf: PUSH1 0x24
000004d1: CALLDATALOAD
000004d2: AND
000004d3: PUSH2 0x1535
000004d6: JUMP
000004d7: JUMPDEST
000004d8: CALLVALUE
000004d9: ISZERO
000004da: PUSH2 0x04e2
000004dd: JUMPI
000004de: PUSH1 0x00
000004e0: DUP1
000004e1: REVERT
000004e2: JUMPDEST
000004e3: PUSH2 0x01fe
000004e6: PUSH2 0x15c8
000004e9: JUMP
000004ea: JUMPDEST
000004eb: CALLVALUE
000004ec: ISZERO
000004ed: PUSH2 0x04f5
000004f0: JUMPI
000004f1: PUSH1 0x00
000004f3: DUP1
000004f4: REVERT
000004f5: JUMPDEST
000004f6: PUSH2 0x01b6
000004f9: PUSH2 0x15d7
000004fc: JUMP
000004fd: JUMPDEST
000004fe: CALLVALUE
000004ff: ISZERO
00000500: PUSH2 0x0508
00000503: JUMPI
00000504: PUSH1 0x00
00000506: DUP1
00000507: REVERT
00000508: JUMPDEST
00000509: PUSH2 0x01b6
0000050c: PUSH1 0x04
0000050e: CALLDATALOAD
0000050f: PUSH2 0x15f8
00000512: JUMP
00000513: JUMPDEST
00000514: CALLVALUE
00000515: ISZERO
00000516: PUSH2 0x051e
00000519: JUMPI
0000051a: PUSH1 0x00
0000051c: DUP1
0000051d: REVERT
0000051e: JUMPDEST
0000051f: PUSH2 0x01fe
00000522: PUSH2 0x160d
00000525: JUMP
00000526: JUMPDEST
00000527: CALLVALUE
00000528: ISZERO
00000529: PUSH2 0x0531
0000052c: JUMPI
0000052d: PUSH1 0x00
0000052f: DUP1
00000530: REVERT
00000531: JUMPDEST
00000532: PUSH2 0x03fc
00000535: PUSH1 0x01
00000537: PUSH1 0xa0
00000539: PUSH1 0x02
0000053b: EXP
0000053c: SUB
0000053d: PUSH1 0x04
0000053f: CALLDATALOAD
00000540: AND
00000541: PUSH2 0x161c
00000544: JUMP
00000545: JUMPDEST
00000546: CALLVALUE
00000547: ISZERO
00000548: PUSH2 0x0550
0000054b: JUMPI
0000054c: PUSH1 0x00
0000054e: DUP1
0000054f: REVERT
00000550: JUMPDEST
00000551: PUSH2 0x03fc
00000554: PUSH1 0x01
00000556: PUSH1 0xa0
00000558: PUSH1 0x02
0000055a: EXP
0000055b: SUB
0000055c: PUSH1 0x04
0000055e: CALLDATALOAD
0000055f: DUP2
00000560: AND
00000561: SWAP1
00000562: PUSH1 0x24
00000564: CALLDATALOAD
00000565: AND
00000566: PUSH1 0x44
00000568: CALLDATALOAD
00000569: PUSH1 0x64
0000056b: CALLDATALOAD
0000056c: PUSH2 0x16c7
0000056f: JUMP
00000570: JUMPDEST
00000571: PUSH1 0x00
00000573: DUP1
00000574: SLOAD
00000575: CALLER
00000576: PUSH1 0x01
00000578: PUSH1 0xa0
0000057a: PUSH1 0x02
0000057c: EXP
0000057d: SUB
0000057e: SWAP1
0000057f: DUP2
00000580: AND
00000581: SWAP2
00000582: AND
00000583: EQ
00000584: PUSH2 0x058c
00000587: JUMPI
00000588: PUSH1 0x00
0000058a: DUP1
0000058b: REVERT
0000058c: JUMPDEST
0000058d: PUSH1 0x07
0000058f: DUP1
00000590: SLOAD
00000591: PUSH21 0xff0000000000000000000000000000000000000000
000005a7: NOT
000005a8: AND
000005a9: PUSH21 0x010000000000000000000000000000000000000000
000005bf: OR
000005c0: SWAP1
000005c1: SSTORE
000005c2: PUSH32 0x7d7f00509dd73ac4449f698ae75ccc797895eff5fa9d446d3df387598a26e735
000005e3: PUSH1 0x01
000005e5: PUSH1 0x40
000005e7: MLOAD
000005e8: SWAP1
000005e9: ISZERO
000005ea: ISZERO
000005eb: DUP2
000005ec: MSTORE
000005ed: PUSH1 0x20
000005ef: ADD
000005f0: PUSH1 0x40
000005f2: MLOAD
000005f3: DUP1
000005f4: SWAP2
000005f5: SUB
000005f6: SWAP1
000005f7: LOG1
000005f8: POP
000005f9: PUSH1 0x01
000005fb: JUMPDEST
000005fc: SWAP1
000005fd: JUMP
000005fe: JUMPDEST
000005ff: PUSH1 0x00
00000601: DUP1
00000602: SLOAD
00000603: CALLER
00000604: PUSH1 0x01
00000606: PUSH1 0xa0
00000608: PUSH1 0x02
0000060a: EXP
0000060b: SUB
0000060c: SWAP1
0000060d: DUP2
0000060e: AND
0000060f: SWAP2
00000610: AND
00000611: EQ
00000612: PUSH2 0x061a
00000615: JUMPI
00000616: PUSH1 0x00
00000618: DUP1
00000619: REVERT
0000061a: JUMPDEST
0000061b: PUSH1 0x01
0000061d: PUSH1 0xa0
0000061f: PUSH1 0x02
00000621: EXP
00000622: SUB
00000623: DUP3
00000624: AND
00000625: PUSH1 0x00
00000627: SWAP1
00000628: DUP2
00000629: MSTORE
0000062a: PUSH1 0x03
0000062c: PUSH1 0x20
0000062e: MSTORE
0000062f: PUSH1 0x40
00000631: SWAP1
00000632: KECCAK256
00000633: SLOAD
00000634: PUSH1 0xff
00000636: AND
00000637: ISZERO
00000638: ISZERO
00000639: PUSH2 0x0641
0000063c: JUMPI
0000063d: PUSH1 0x00
0000063f: DUP1
00000640: REVERT
00000641: JUMPDEST
00000642: POP
00000643: PUSH1 0x01
00000645: PUSH1 0xa0
00000647: PUSH1 0x02
00000649: EXP
0000064a: SUB
0000064b: DUP2
0000064c: AND
0000064d: PUSH1 0x00
0000064f: SWAP1
00000650: DUP2
00000651: MSTORE
00000652: PUSH1 0x03
00000654: PUSH1 0x20
00000656: MSTORE
00000657: PUSH1 0x40
00000659: DUP2
0000065a: KECCAK256
0000065b: DUP1
0000065c: SLOAD
0000065d: PUSH1 0xff
0000065f: NOT
00000660: AND
00000661: SWAP1
00000662: SSTORE
00000663: JUMPDEST
00000664: PUSH1 0x05
00000666: SLOAD
00000667: DUP2
00000668: LT
00000669: ISZERO
0000066a: PUSH2 0x076a
0000066d: JUMPI
0000066e: DUP2
0000066f: PUSH1 0x01
00000671: PUSH1 0xa0
00000673: PUSH1 0x02
00000675: EXP
00000676: SUB
00000677: AND
00000678: PUSH1 0x05
0000067a: DUP3
0000067b: DUP2
0000067c: SLOAD
0000067d: DUP2
0000067e: LT
0000067f: ISZERO
00000680: ISZERO
00000681: PUSH2 0x0686
00000684: JUMPI
00000685: INVALID
00000686: JUMPDEST
00000687: PUSH1 0x00
00000689: SWAP2
0000068a: DUP3
0000068b: MSTORE
0000068c: PUSH1 0x20
0000068e: SWAP1
0000068f: SWAP2
00000690: KECCAK256
00000691: ADD
00000692: SLOAD
00000693: PUSH1 0x01
00000695: PUSH1 0xa0
00000697: PUSH1 0x02
00000699: EXP
0000069a: SUB
0000069b: AND
0000069c: EQ
0000069d: ISZERO
0000069e: PUSH2 0x0762
000006a1: JUMPI
000006a2: PUSH1 0x05
000006a4: DUP1
000006a5: SLOAD
000006a6: PUSH1 0x00
000006a8: NOT
000006a9: DUP2
000006aa: ADD
000006ab: SWAP1
000006ac: DUP2
000006ad: LT
000006ae: PUSH2 0x06b3
000006b1: JUMPI
000006b2: INVALID
000006b3: JUMPDEST
000006b4: PUSH1 0x00
000006b6: SWAP2
000006b7: DUP3
000006b8: MSTORE
000006b9: PUSH1 0x20
000006bb: SWAP1
000006bc: SWAP2
000006bd: KECCAK256
000006be: ADD
000006bf: SLOAD
000006c0: PUSH1 0x05
000006c2: DUP1
000006c3: SLOAD
000006c4: PUSH1 0x01
000006c6: PUSH1 0xa0
000006c8: PUSH1 0x02
000006ca: EXP
000006cb: SUB
000006cc: SWAP1
000006cd: SWAP3
000006ce: AND
000006cf: SWAP2
000006d0: DUP4
000006d1: SWAP1
000006d2: DUP2
000006d3: LT
000006d4: PUSH2 0x06d9
000006d7: JUMPI
000006d8: INVALID
000006d9: JUMPDEST
000006da: PUSH1 0x00
000006dc: SWAP2
000006dd: DUP3
000006de: MSTORE
000006df: PUSH1 0x20
000006e1: SWAP1
000006e2: SWAP2
000006e3: KECCAK256
000006e4: ADD
000006e5: DUP1
000006e6: SLOAD
000006e7: PUSH1 0x01
000006e9: PUSH1 0xa0
000006eb: PUSH1 0x02
000006ed: EXP
000006ee: SUB
000006ef: NOT
000006f0: AND
000006f1: PUSH1 0x01
000006f3: PUSH1 0xa0
000006f5: PUSH1 0x02
000006f7: EXP
000006f8: SUB
000006f9: SWAP3
000006fa: SWAP1
000006fb: SWAP3
000006fc: AND
000006fd: SWAP2
000006fe: SWAP1
000006ff: SWAP2
00000700: OR
00000701: SWAP1
00000702: SSTORE
00000703: PUSH1 0x05
00000705: DUP1
00000706: SLOAD
00000707: SWAP1
00000708: PUSH2 0x0715
0000070b: SWAP1
0000070c: PUSH1 0x00
0000070e: NOT
0000070f: DUP4
00000710: ADD
00000711: PUSH2 0x1cc8
00000714: JUMP
00000715: JUMPDEST
00000716: POP
00000717: PUSH32 0x5611bf3e417d124f97bf2c788843ea8bb502b66079fbee02158ef30b172cb762
00000738: DUP3
00000739: PUSH1 0x00
0000073b: PUSH1 0x40
0000073d: MLOAD
0000073e: PUSH1 0x01
00000740: PUSH1 0xa0
00000742: PUSH1 0x02
00000744: EXP
00000745: SUB
00000746: SWAP1
00000747: SWAP3
00000748: AND
00000749: DUP3
0000074a: MSTORE
0000074b: ISZERO
0000074c: ISZERO
0000074d: PUSH1 0x20
0000074f: DUP3
00000750: ADD
00000751: MSTORE
00000752: PUSH1 0x40
00000754: SWAP1
00000755: DUP2
00000756: ADD
00000757: SWAP1
00000758: MLOAD
00000759: DUP1
0000075a: SWAP2
0000075b: SUB
0000075c: SWAP1
0000075d: LOG1
0000075e: PUSH2 0x076a
00000761: JUMP
00000762: JUMPDEST
00000763: PUSH1 0x01
00000765: ADD
00000766: PUSH2 0x0663
00000769: JUMP
0000076a: JUMPDEST
0000076b: POP
0000076c: POP
0000076d: JUMP
0000076e: JUMPDEST
0000076f: PUSH1 0x01
00000771: SLOAD
00000772: PUSH1 0x01
00000774: PUSH1 0xa0
00000776: PUSH1 0x02
00000778: EXP
00000779: SUB
0000077a: AND
0000077b: DUP2
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH2 0x0785
00000781: PUSH2 0x1cec
00000784: JUMP
00000785: JUMPDEST
00000786: PUSH1 0x04
00000788: DUP1
00000789: SLOAD
0000078a: DUP1
0000078b: PUSH1 0x20
0000078d: MUL
0000078e: PUSH1 0x20
00000790: ADD
00000791: PUSH1 0x40
00000793: MLOAD
00000794: SWAP1
00000795: DUP2
00000796: ADD
00000797: PUSH1 0x40
00000799: MSTORE
0000079a: DUP1
0000079b: SWAP3
0000079c: SWAP2
0000079d: SWAP1
0000079e: DUP2
0000079f: DUP2
000007a0: MSTORE
000007a1: PUSH1 0x20
000007a3: ADD
000007a4: DUP3
000007a5: DUP1
000007a6: SLOAD
000007a7: DUP1
000007a8: ISZERO
000007a9: PUSH2 0x07db
000007ac: JUMPI
000007ad: PUSH1 0x20
000007af: MUL
000007b0: DUP3
000007b1: ADD
000007b2: SWAP2
000007b3: SWAP1
000007b4: PUSH1 0x00
000007b6: MSTORE
000007b7: PUSH1 0x20
000007b9: PUSH1 0x00
000007bb: KECCAK256
000007bc: SWAP1
000007bd: JUMPDEST
000007be: DUP2
000007bf: SLOAD
000007c0: PUSH1 0x01
000007c2: PUSH1 0xa0
000007c4: PUSH1 0x02
000007c6: EXP
000007c7: SUB
000007c8: AND
000007c9: DUP2
000007ca: MSTORE
000007cb: PUSH1 0x01
000007cd: SWAP1
000007ce: SWAP2
000007cf: ADD
000007d0: SWAP1
000007d1: PUSH1 0x20
000007d3: ADD
000007d4: DUP1
000007d5: DUP4
000007d6: GT
000007d7: PUSH2 0x07bd
000007da: JUMPI
000007db: JUMPDEST
000007dc: POP
000007dd: POP
000007de: POP
000007df: POP
000007e0: POP
000007e1: SWAP1
000007e2: POP
000007e3: SWAP1
000007e4: JUMP
000007e5: JUMPDEST
000007e6: PUSH1 0x00
000007e8: SLOAD
000007e9: CALLER
000007ea: PUSH1 0x01
000007ec: PUSH1 0xa0
000007ee: PUSH1 0x02
000007f0: EXP
000007f1: SUB
000007f2: SWAP1
000007f3: DUP2
000007f4: AND
000007f5: SWAP2
000007f6: AND
000007f7: EQ
000007f8: PUSH2 0x0800
000007fb: JUMPI
000007fc: PUSH1 0x00
000007fe: DUP1
000007ff: REVERT
00000800: JUMPDEST
00000801: DUP3
00000802: PUSH1 0x01
00000804: PUSH1 0xa0
00000806: PUSH1 0x02
00000808: EXP
00000809: SUB
0000080a: AND
0000080b: PUSH4 0xa9059cbb
00000810: DUP3
00000811: DUP5
00000812: PUSH1 0x00
00000814: PUSH1 0x40
00000816: MLOAD
00000817: PUSH1 0x20
00000819: ADD
0000081a: MSTORE
0000081b: PUSH1 0x40
0000081d: MLOAD
0000081e: PUSH1 0xe0
00000820: PUSH1 0x02
00000822: EXP
00000823: PUSH4 0xffffffff
00000828: DUP6
00000829: AND
0000082a: MUL
0000082b: DUP2
0000082c: MSTORE
0000082d: PUSH1 0x01
0000082f: PUSH1 0xa0
00000831: PUSH1 0x02
00000833: EXP
00000834: SUB
00000835: SWAP1
00000836: SWAP3
00000837: AND
00000838: PUSH1 0x04
0000083a: DUP4
0000083b: ADD
0000083c: MSTORE
0000083d: PUSH1 0x24
0000083f: DUP3
00000840: ADD
00000841: MSTORE
00000842: PUSH1 0x44
00000844: ADD
00000845: PUSH1 0x20
00000847: PUSH1 0x40
00000849: MLOAD
0000084a: DUP1
0000084b: DUP4
0000084c: SUB
0000084d: DUP2
0000084e: PUSH1 0x00
00000850: DUP8
00000851: DUP1
00000852: EXTCODESIZE
00000853: ISZERO
00000854: ISZERO
00000855: PUSH2 0x085d
00000858: JUMPI
00000859: PUSH1 0x00
0000085b: DUP1
0000085c: REVERT
0000085d: JUMPDEST
0000085e: PUSH2 0x02c6
00000861: GAS
00000862: SUB
00000863: CALL
00000864: ISZERO
00000865: ISZERO
00000866: PUSH2 0x086e
00000869: JUMPI
0000086a: PUSH1 0x00
0000086c: DUP1
0000086d: REVERT
0000086e: JUMPDEST
0000086f: POP
00000870: POP
00000871: POP
00000872: PUSH1 0x40
00000874: MLOAD
00000875: DUP1
00000876: MLOAD
00000877: SWAP1
00000878: POP
00000879: ISZERO
0000087a: ISZERO
0000087b: PUSH2 0x0883
0000087e: JUMPI
0000087f: PUSH1 0x00
00000881: DUP1
00000882: REVERT
00000883: JUMPDEST
00000884: PUSH32 0x72cb8a894ddb372ceec3d2a7648d86f17d5a15caae0e986c53109b8a9a9385e6
000008a5: DUP4
000008a6: DUP4
000008a7: DUP4
000008a8: PUSH1 0x40
000008aa: MLOAD
000008ab: PUSH1 0x01
000008ad: PUSH1 0xa0
000008af: PUSH1 0x02
000008b1: EXP
000008b2: SUB
000008b3: SWAP4
000008b4: DUP5
000008b5: AND
000008b6: DUP2
000008b7: MSTORE
000008b8: PUSH1 0x20
000008ba: DUP2
000008bb: ADD
000008bc: SWAP3
000008bd: SWAP1
000008be: SWAP3
000008bf: MSTORE
000008c0: SWAP1
000008c1: SWAP2
000008c2: AND
000008c3: PUSH1 0x40
000008c5: DUP1
000008c6: DUP4
000008c7: ADD
000008c8: SWAP2
000008c9: SWAP1
000008ca: SWAP2
000008cb: MSTORE
000008cc: PUSH1 0x60
000008ce: SWAP1
000008cf: SWAP2
000008d0: ADD
000008d1: SWAP1
000008d2: MLOAD
000008d3: DUP1
000008d4: SWAP2
000008d5: SUB
000008d6: SWAP1
000008d7: LOG1
000008d8: POP
000008d9: POP
000008da: POP
000008db: JUMP
000008dc: JUMPDEST
000008dd: PUSH1 0x00
000008df: SLOAD
000008e0: CALLER
000008e1: PUSH1 0x01
000008e3: PUSH1 0xa0
000008e5: PUSH1 0x02
000008e7: EXP
000008e8: SUB
000008e9: SWAP1
000008ea: DUP2
000008eb: AND
000008ec: SWAP2
000008ed: AND
000008ee: EQ
000008ef: PUSH2 0x08f7
000008f2: JUMPI
000008f3: PUSH1 0x00
000008f5: DUP1
000008f6: REVERT
000008f7: JUMPDEST
000008f8: PUSH1 0x01
000008fa: PUSH1 0xa0
000008fc: PUSH1 0x02
000008fe: EXP
000008ff: SUB
00000900: DUP2
00000901: AND
00000902: PUSH1 0x00
00000904: SWAP1
00000905: DUP2
00000906: MSTORE
00000907: PUSH1 0x03
00000909: PUSH1 0x20
0000090b: MSTORE
0000090c: PUSH1 0x40
0000090e: SWAP1
0000090f: KECCAK256
00000910: SLOAD
00000911: PUSH1 0xff
00000913: AND
00000914: ISZERO
00000915: PUSH2 0x091d
00000918: JUMPI
00000919: PUSH1 0x00
0000091b: DUP1
0000091c: REVERT
0000091d: JUMPDEST
0000091e: PUSH1 0x05
00000920: SLOAD
00000921: PUSH1 0x32
00000923: SWAP1
00000924: LT
00000925: PUSH2 0x092d
00000928: JUMPI
00000929: PUSH1 0x00
0000092b: DUP1
0000092c: REVERT
0000092d: JUMPDEST
0000092e: PUSH32 0x5611bf3e417d124f97bf2c788843ea8bb502b66079fbee02158ef30b172cb762
0000094f: DUP2
00000950: PUSH1 0x01
00000952: PUSH1 0x40
00000954: MLOAD
00000955: PUSH1 0x01
00000957: PUSH1 0xa0
00000959: PUSH1 0x02
0000095b: EXP
0000095c: SUB
0000095d: SWAP1
0000095e: SWAP3
0000095f: AND
00000960: DUP3
00000961: MSTORE
00000962: ISZERO
00000963: ISZERO
00000964: PUSH1 0x20
00000966: DUP3
00000967: ADD
00000968: MSTORE
00000969: PUSH1 0x40
0000096b: SWAP1
0000096c: DUP2
0000096d: ADD
0000096e: SWAP1
0000096f: MLOAD
00000970: DUP1
00000971: SWAP2
00000972: SUB
00000973: SWAP1
00000974: LOG1
00000975: PUSH1 0x01
00000977: PUSH1 0xa0
00000979: PUSH1 0x02
0000097b: EXP
0000097c: SUB
0000097d: DUP2
0000097e: AND
0000097f: PUSH1 0x00
00000981: SWAP1
00000982: DUP2
00000983: MSTORE
00000984: PUSH1 0x03
00000986: PUSH1 0x20
00000988: MSTORE
00000989: PUSH1 0x40
0000098b: SWAP1
0000098c: KECCAK256
0000098d: DUP1
0000098e: SLOAD
0000098f: PUSH1 0xff
00000991: NOT
00000992: AND
00000993: PUSH1 0x01
00000995: SWAP1
00000996: DUP2
00000997: OR
00000998: SWAP1
00000999: SWAP2
0000099a: SSTORE
0000099b: PUSH1 0x05
0000099d: DUP1
0000099e: SLOAD
0000099f: SWAP1
000009a0: SWAP2
000009a1: DUP2
000009a2: ADD
000009a3: PUSH2 0x09ac
000009a6: DUP4
000009a7: DUP3
000009a8: PUSH2 0x1cc8
000009ab: JUMP
000009ac: JUMPDEST
000009ad: POP
000009ae: PUSH1 0x00
000009b0: SWAP2
000009b1: DUP3
000009b2: MSTORE
000009b3: PUSH1 0x20
000009b5: SWAP1
000009b6: SWAP2
000009b7: KECCAK256
000009b8: ADD
000009b9: DUP1
000009ba: SLOAD
000009bb: PUSH1 0x01
000009bd: PUSH1 0xa0
000009bf: PUSH1 0x02
000009c1: EXP
000009c2: SUB
000009c3: NOT
000009c4: AND
000009c5: PUSH1 0x01
000009c7: PUSH1 0xa0
000009c9: PUSH1 0x02
000009cb: EXP
000009cc: SUB
000009cd: SWAP3
000009ce: SWAP1
000009cf: SWAP3
000009d0: AND
000009d1: SWAP2
000009d2: SWAP1
000009d3: SWAP2
000009d4: OR
000009d5: SWAP1
000009d6: SSTORE
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH1 0x09
000009db: SLOAD
000009dc: PUSH1 0x01
000009de: PUSH1 0xa0
000009e0: PUSH1 0x02
000009e2: EXP
000009e3: SUB
000009e4: AND
000009e5: DUP2
000009e6: JUMP
000009e7: JUMPDEST
000009e8: PUSH1 0x00
000009ea: SLOAD
000009eb: CALLER
000009ec: PUSH1 0x01
000009ee: PUSH1 0xa0
000009f0: PUSH1 0x02
000009f2: EXP
000009f3: SUB
000009f4: SWAP1
000009f5: DUP2
000009f6: AND
000009f7: SWAP2
000009f8: AND
000009f9: EQ
000009fa: PUSH2 0x0a02
000009fd: JUMPI
000009fe: PUSH1 0x00
00000a00: DUP1
00000a01: REVERT
00000a02: JUMPDEST
00000a03: DUP1
00000a04: PUSH1 0x0a
00000a06: PUSH1 0x00
00000a08: DUP6
00000a09: DUP6
00000a0a: PUSH1 0x40
00000a0c: MLOAD
00000a0d: PUSH13 0x01000000000000000000000000
00000a1b: PUSH1 0x01
00000a1d: PUSH1 0xa0
00000a1f: PUSH1 0x02
00000a21: EXP
00000a22: SUB
00000a23: SWAP4
00000a24: DUP5
00000a25: AND
00000a26: DUP2
00000a27: MUL
00000a28: DUP3
00000a29: MSTORE
00000a2a: SWAP2
00000a2b: SWAP1
00000a2c: SWAP3
00000a2d: AND
00000a2e: MUL
00000a2f: PUSH1 0x14
00000a31: DUP3
00000a32: ADD
00000a33: MSTORE
00000a34: PUSH1 0x28
00000a36: ADD
00000a37: PUSH1 0x40
00000a39: MLOAD
00000a3a: SWAP1
00000a3b: DUP2
00000a3c: SWAP1
00000a3d: SUB
00000a3e: SWAP1
00000a3f: KECCAK256
00000a40: DUP2
00000a41: MSTORE
00000a42: PUSH1 0x20
00000a44: DUP2
00000a45: ADD
00000a46: SWAP2
00000a47: SWAP1
00000a48: SWAP2
00000a49: MSTORE
00000a4a: PUSH1 0x40
00000a4c: SWAP1
00000a4d: DUP2
00000a4e: ADD
00000a4f: PUSH1 0x00
00000a51: KECCAK256
00000a52: DUP1
00000a53: SLOAD
00000a54: PUSH1 0xff
00000a56: NOT
00000a57: AND
00000a58: SWAP3
00000a59: ISZERO
00000a5a: ISZERO
00000a5b: SWAP3
00000a5c: SWAP1
00000a5d: SWAP3
00000a5e: OR
00000a5f: SWAP1
00000a60: SWAP2
00000a61: SSTORE
00000a62: PUSH32 0xd5fd5351efae1f4bb760079da9f0ff9589e2c3e216337ca9d39cdff573b245c4
00000a83: SWAP1
00000a84: DUP5
00000a85: SWAP1
00000a86: DUP5
00000a87: SWAP1
00000a88: DUP5
00000a89: SWAP1
00000a8a: MLOAD
00000a8b: PUSH1 0x01
00000a8d: PUSH1 0xa0
00000a8f: PUSH1 0x02
00000a91: EXP
00000a92: SUB
00000a93: SWAP4
00000a94: DUP5
00000a95: AND
00000a96: DUP2
00000a97: MSTORE
00000a98: SWAP2
00000a99: SWAP1
00000a9a: SWAP3
00000a9b: AND
00000a9c: PUSH1 0x20
00000a9e: DUP3
00000a9f: ADD
00000aa0: MSTORE
00000aa1: SWAP1
00000aa2: ISZERO
00000aa3: ISZERO
00000aa4: PUSH1 0x40
00000aa6: DUP1
00000aa7: DUP4
00000aa8: ADD
00000aa9: SWAP2
00000aaa: SWAP1
00000aab: SWAP2
00000aac: MSTORE
00000aad: PUSH1 0x60
00000aaf: SWAP1
00000ab0: SWAP2
00000ab1: ADD
00000ab2: SWAP1
00000ab3: MLOAD
00000ab4: DUP1
00000ab5: SWAP2
00000ab6: SUB
00000ab7: SWAP1
00000ab8: LOG1
00000ab9: PUSH2 0x0ac1
00000abc: DUP4
00000abd: PUSH2 0x16ee
00000ac0: JUMP
00000ac1: JUMPDEST
00000ac2: POP
00000ac3: POP
00000ac4: POP
00000ac5: JUMP
00000ac6: JUMPDEST
00000ac7: PUSH1 0x01
00000ac9: PUSH1 0xa0
00000acb: PUSH1 0x02
00000acd: EXP
00000ace: SUB
00000acf: CALLER
00000ad0: AND
00000ad1: PUSH1 0x00
00000ad3: SWAP1
00000ad4: DUP2
00000ad5: MSTORE
00000ad6: PUSH1 0x02
00000ad8: PUSH1 0x20
00000ada: MSTORE
00000adb: PUSH1 0x40
00000add: DUP2
00000ade: KECCAK256
00000adf: SLOAD
00000ae0: PUSH1 0xff
00000ae2: AND
00000ae3: ISZERO
00000ae4: ISZERO
00000ae5: PUSH2 0x0aed
00000ae8: JUMPI
00000ae9: PUSH1 0x00
00000aeb: DUP1
00000aec: REVERT
00000aed: JUMPDEST
00000aee: PUSH1 0x0a
00000af0: PUSH1 0x00
00000af2: DUP6
00000af3: DUP5
00000af4: PUSH1 0x40
00000af6: MLOAD
00000af7: PUSH13 0x01000000000000000000000000
00000b05: PUSH1 0x01
00000b07: PUSH1 0xa0
00000b09: PUSH1 0x02
00000b0b: EXP
00000b0c: SUB
00000b0d: SWAP4
00000b0e: DUP5
00000b0f: AND
00000b10: DUP2
00000b11: MUL
00000b12: DUP3
00000b13: MSTORE
00000b14: SWAP2
00000b15: SWAP1
00000b16: SWAP3
00000b17: AND
00000b18: MUL
00000b19: PUSH1 0x14
00000b1b: DUP3
00000b1c: ADD
00000b1d: MSTORE
00000b1e: PUSH1 0x28
00000b20: ADD
00000b21: PUSH1 0x40
00000b23: MLOAD
00000b24: SWAP1
00000b25: DUP2
00000b26: SWAP1
00000b27: SUB
00000b28: SWAP1
00000b29: KECCAK256
00000b2a: DUP2
00000b2b: MSTORE
00000b2c: PUSH1 0x20
00000b2e: DUP2
00000b2f: ADD
00000b30: SWAP2
00000b31: SWAP1
00000b32: SWAP2
00000b33: MSTORE
00000b34: PUSH1 0x40
00000b36: ADD
00000b37: PUSH1 0x00
00000b39: KECCAK256
00000b3a: SLOAD
00000b3b: PUSH1 0xff
00000b3d: AND
00000b3e: ISZERO
00000b3f: ISZERO
00000b40: PUSH2 0x0b48
00000b43: JUMPI
00000b44: PUSH1 0x00
00000b46: DUP1
00000b47: REVERT
00000b48: JUMPDEST
00000b49: PUSH1 0x01
00000b4b: PUSH1 0xa0
00000b4d: PUSH1 0x02
00000b4f: EXP
00000b50: SUB
00000b51: DUP5
00000b52: AND
00000b53: PUSH1 0x00
00000b55: DUP1
00000b56: MLOAD
00000b57: PUSH1 0x20
00000b59: PUSH2 0x1d1d
00000b5c: DUP4
00000b5d: CODECOPY
00000b5e: DUP2
00000b5f: MLOAD
00000b60: SWAP2
00000b61: MSTORE
00000b62: EQ
00000b63: ISZERO
00000b64: PUSH2 0x0b9d
00000b67: JUMPI
00000b68: PUSH1 0x01
00000b6a: PUSH1 0xa0
00000b6c: PUSH1 0x02
00000b6e: EXP
00000b6f: SUB
00000b70: DUP3
00000b71: AND
00000b72: DUP4
00000b73: ISZERO
00000b74: PUSH2 0x08fc
00000b77: MUL
00000b78: DUP5
00000b79: PUSH1 0x40
00000b7b: MLOAD
00000b7c: PUSH1 0x00
00000b7e: PUSH1 0x40
00000b80: MLOAD
00000b81: DUP1
00000b82: DUP4
00000b83: SUB
00000b84: DUP2
00000b85: DUP6
00000b86: DUP9
00000b87: DUP9
00000b88: CALL
00000b89: SWAP4
00000b8a: POP
00000b8b: POP
00000b8c: POP
00000b8d: POP
00000b8e: ISZERO
00000b8f: ISZERO
00000b90: PUSH2 0x0b98
00000b93: JUMPI
00000b94: PUSH1 0x00
00000b96: DUP1
00000b97: REVERT
00000b98: JUMPDEST
00000b99: PUSH2 0x0c20
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: DUP4
00000b9f: PUSH1 0x01
00000ba1: PUSH1 0xa0
00000ba3: PUSH1 0x02
00000ba5: EXP
00000ba6: SUB
00000ba7: AND
00000ba8: PUSH4 0xa9059cbb
00000bad: DUP4
00000bae: DUP6
00000baf: PUSH1 0x00
00000bb1: PUSH1 0x40
00000bb3: MLOAD
00000bb4: PUSH1 0x20
00000bb6: ADD
00000bb7: MSTORE
00000bb8: PUSH1 0x40
00000bba: MLOAD
00000bbb: PUSH1 0xe0
00000bbd: PUSH1 0x02
00000bbf: EXP
00000bc0: PUSH4 0xffffffff
00000bc5: DUP6
00000bc6: AND
00000bc7: MUL
00000bc8: DUP2
00000bc9: MSTORE
00000bca: PUSH1 0x01
00000bcc: PUSH1 0xa0
00000bce: PUSH1 0x02
00000bd0: EXP
00000bd1: SUB
00000bd2: SWAP1
00000bd3: SWAP3
00000bd4: AND
00000bd5: PUSH1 0x04
00000bd7: DUP4
00000bd8: ADD
00000bd9: MSTORE
00000bda: PUSH1 0x24
00000bdc: DUP3
00000bdd: ADD
00000bde: MSTORE
00000bdf: PUSH1 0x44
00000be1: ADD
00000be2: PUSH1 0x20
00000be4: PUSH1 0x40
00000be6: MLOAD
00000be7: DUP1
00000be8: DUP4
00000be9: SUB
00000bea: DUP2
00000beb: PUSH1 0x00
00000bed: DUP8
00000bee: DUP1
00000bef: EXTCODESIZE
00000bf0: ISZERO
00000bf1: ISZERO
00000bf2: PUSH2 0x0bfa
00000bf5: JUMPI
00000bf6: PUSH1 0x00
00000bf8: DUP1
00000bf9: REVERT
00000bfa: JUMPDEST
00000bfb: PUSH2 0x02c6
00000bfe: GAS
00000bff: SUB
00000c00: CALL
00000c01: ISZERO
00000c02: ISZERO
00000c03: PUSH2 0x0c0b
00000c06: JUMPI
00000c07: PUSH1 0x00
00000c09: DUP1
00000c0a: REVERT
00000c0b: JUMPDEST
00000c0c: POP
00000c0d: POP
00000c0e: POP
00000c0f: PUSH1 0x40
00000c11: MLOAD
00000c12: DUP1
00000c13: MLOAD
00000c14: SWAP1
00000c15: POP
00000c16: ISZERO
00000c17: ISZERO
00000c18: PUSH2 0x0c20
00000c1b: JUMPI
00000c1c: PUSH1 0x00
00000c1e: DUP1
00000c1f: REVERT
00000c20: JUMPDEST
00000c21: PUSH32 0xb67719fc33c1f17d31bf3a698690d62066b1e0bae28fcd3c56cf2c015c2863d6
00000c42: DUP5
00000c43: DUP5
00000c44: DUP5
00000c45: PUSH1 0x40
00000c47: MLOAD
00000c48: PUSH1 0x01
00000c4a: PUSH1 0xa0
00000c4c: PUSH1 0x02
00000c4e: EXP
00000c4f: SUB
00000c50: SWAP4
00000c51: DUP5
00000c52: AND
00000c53: DUP2
00000c54: MSTORE
00000c55: PUSH1 0x20
00000c57: DUP2
00000c58: ADD
00000c59: SWAP3
00000c5a: SWAP1
00000c5b: SWAP3
00000c5c: MSTORE
00000c5d: SWAP1
00000c5e: SWAP2
00000c5f: AND
00000c60: PUSH1 0x40
00000c62: DUP1
00000c63: DUP4
00000c64: ADD
00000c65: SWAP2
00000c66: SWAP1
00000c67: SWAP2
00000c68: MSTORE
00000c69: PUSH1 0x60
00000c6b: SWAP1
00000c6c: SWAP2
00000c6d: ADD
00000c6e: SWAP1
00000c6f: MLOAD
00000c70: DUP1
00000c71: SWAP2
00000c72: SUB
00000c73: SWAP1
00000c74: LOG1
00000c75: POP
00000c76: PUSH1 0x01
00000c78: SWAP4
00000c79: SWAP3
00000c7a: POP
00000c7b: POP
00000c7c: POP
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: PUSH1 0x01
00000c81: PUSH1 0xa0
00000c83: PUSH1 0x02
00000c85: EXP
00000c86: SUB
00000c87: CALLER
00000c88: AND
00000c89: PUSH1 0x00
00000c8b: SWAP1
00000c8c: DUP2
00000c8d: MSTORE
00000c8e: PUSH1 0x03
00000c90: PUSH1 0x20
00000c92: MSTORE
00000c93: PUSH1 0x40
00000c95: DUP2
00000c96: KECCAK256
00000c97: SLOAD
00000c98: PUSH1 0xff
00000c9a: AND
00000c9b: ISZERO
00000c9c: ISZERO
00000c9d: PUSH2 0x0ca5
00000ca0: JUMPI
00000ca1: PUSH1 0x00
00000ca3: DUP1
00000ca4: REVERT
00000ca5: JUMPDEST
00000ca6: PUSH1 0x07
00000ca8: DUP1
00000ca9: SLOAD
00000caa: PUSH21 0xff0000000000000000000000000000000000000000
00000cc0: NOT
00000cc1: AND
00000cc2: SWAP1
00000cc3: SSTORE
00000cc4: PUSH32 0x7d7f00509dd73ac4449f698ae75ccc797895eff5fa9d446d3df387598a26e735
00000ce5: PUSH1 0x00
00000ce7: PUSH1 0x40
00000ce9: MLOAD
00000cea: SWAP1
00000ceb: ISZERO
00000cec: ISZERO
00000ced: DUP2
00000cee: MSTORE
00000cef: PUSH1 0x20
00000cf1: ADD
00000cf2: PUSH1 0x40
00000cf4: MLOAD
00000cf5: DUP1
00000cf6: SWAP2
00000cf7: SUB
00000cf8: SWAP1
00000cf9: LOG1
00000cfa: POP
00000cfb: PUSH1 0x01
00000cfd: SWAP1
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: PUSH1 0x07
00000d02: SLOAD
00000d03: PUSH1 0x00
00000d05: SWAP1
00000d06: PUSH21 0x010000000000000000000000000000000000000000
00000d1c: SWAP1
00000d1d: DIV
00000d1e: PUSH1 0xff
00000d20: AND
00000d21: ISZERO
00000d22: ISZERO
00000d23: PUSH2 0x0d2b
00000d26: JUMPI
00000d27: PUSH1 0x00
00000d29: DUP1
00000d2a: REVERT
00000d2b: JUMPDEST
00000d2c: PUSH1 0x07
00000d2e: SLOAD
00000d2f: CALLER
00000d30: PUSH1 0x01
00000d32: PUSH1 0xa0
00000d34: PUSH1 0x02
00000d36: EXP
00000d37: SUB
00000d38: SWAP1
00000d39: DUP2
00000d3a: AND
00000d3b: SWAP2
00000d3c: AND
00000d3d: EQ
00000d3e: PUSH2 0x0d46
00000d41: JUMPI
00000d42: PUSH1 0x00
00000d44: DUP1
00000d45: REVERT
00000d46: JUMPDEST
00000d47: PUSH2 0x0d54
00000d4a: DUP8
00000d4b: DUP8
00000d4c: DUP8
00000d4d: DUP8
00000d4e: DUP8
00000d4f: DUP8
00000d50: PUSH2 0x17ab
00000d53: JUMP
00000d54: JUMPDEST
00000d55: ISZERO
00000d56: ISZERO
00000d57: PUSH2 0x0d5f
00000d5a: JUMPI
00000d5b: PUSH1 0x00
00000d5d: DUP1
00000d5e: REVERT
00000d5f: JUMPDEST
00000d60: POP
00000d61: PUSH1 0x01
00000d63: SWAP7
00000d64: SWAP6
00000d65: POP
00000d66: POP
00000d67: POP
00000d68: POP
00000d69: POP
00000d6a: POP
00000d6b: JUMP
00000d6c: JUMPDEST
00000d6d: PUSH1 0x00
00000d6f: SLOAD
00000d70: CALLER
00000d71: PUSH1 0x01
00000d73: PUSH1 0xa0
00000d75: PUSH1 0x02
00000d77: EXP
00000d78: SUB
00000d79: SWAP1
00000d7a: DUP2
00000d7b: AND
00000d7c: SWAP2
00000d7d: AND
00000d7e: EQ
00000d7f: PUSH2 0x0d87
00000d82: JUMPI
00000d83: PUSH1 0x00
00000d85: DUP1
00000d86: REVERT
00000d87: JUMPDEST
00000d88: PUSH1 0x01
00000d8a: PUSH1 0xa0
00000d8c: PUSH1 0x02
00000d8e: EXP
00000d8f: SUB
00000d90: DUP2
00000d91: AND
00000d92: ISZERO
00000d93: ISZERO
00000d94: PUSH2 0x0d9c
00000d97: JUMPI
00000d98: PUSH1 0x00
00000d9a: DUP1
00000d9b: REVERT
00000d9c: JUMPDEST
00000d9d: PUSH1 0x01
00000d9f: SLOAD
00000da0: PUSH32 0x3b81caf78fa51ecbc8acb482fd7012a277b428d9b80f9d156e8a54107496cc40
00000dc1: SWAP1
00000dc2: PUSH1 0x01
00000dc4: PUSH1 0xa0
00000dc6: PUSH1 0x02
00000dc8: EXP
00000dc9: SUB
00000dca: AND
00000dcb: PUSH1 0x40
00000dcd: MLOAD
00000dce: PUSH1 0x01
00000dd0: PUSH1 0xa0
00000dd2: PUSH1 0x02
00000dd4: EXP
00000dd5: SUB
00000dd6: SWAP1
00000dd7: SWAP2
00000dd8: AND
00000dd9: DUP2
00000dda: MSTORE
00000ddb: PUSH1 0x20
00000ddd: ADD
00000dde: PUSH1 0x40
00000de0: MLOAD
00000de1: DUP1
00000de2: SWAP2
00000de3: SUB
00000de4: SWAP1
00000de5: LOG1
00000de6: PUSH1 0x01
00000de8: DUP1
00000de9: SLOAD
00000dea: PUSH1 0x01
00000dec: PUSH1 0xa0
00000dee: PUSH1 0x02
00000df0: EXP
00000df1: SUB
00000df2: NOT
00000df3: AND
00000df4: PUSH1 0x01
00000df6: PUSH1 0xa0
00000df8: PUSH1 0x02
00000dfa: EXP
00000dfb: SUB
00000dfc: SWAP3
00000dfd: SWAP1
00000dfe: SWAP3
00000dff: AND
00000e00: SWAP2
00000e01: SWAP1
00000e02: SWAP2
00000e03: OR
00000e04: SWAP1
00000e05: SSTORE
00000e06: JUMP
00000e07: JUMPDEST
00000e08: PUSH1 0x01
00000e0a: SLOAD
00000e0b: CALLER
00000e0c: PUSH1 0x01
00000e0e: PUSH1 0xa0
00000e10: PUSH1 0x02
00000e12: EXP
00000e13: SUB
00000e14: SWAP1
00000e15: DUP2
00000e16: AND
00000e17: SWAP2
00000e18: AND
00000e19: EQ
00000e1a: PUSH2 0x0e22
00000e1d: JUMPI
00000e1e: PUSH1 0x00
00000e20: DUP1
00000e21: REVERT
00000e22: JUMPDEST
00000e23: PUSH1 0x01
00000e25: SLOAD
00000e26: PUSH1 0x00
00000e28: SLOAD
00000e29: PUSH32 0x65da1cfc2c2e81576ad96afb24a581f8e109b7a403b35cbd3243a1c99efdb9ed
00000e4a: SWAP2
00000e4b: PUSH1 0x01
00000e4d: PUSH1 0xa0
00000e4f: PUSH1 0x02
00000e51: EXP
00000e52: SUB
00000e53: SWAP1
00000e54: DUP2
00000e55: AND
00000e56: SWAP2
00000e57: AND
00000e58: PUSH1 0x40
00000e5a: MLOAD
00000e5b: PUSH1 0x01
00000e5d: PUSH1 0xa0
00000e5f: PUSH1 0x02
00000e61: EXP
00000e62: SUB
00000e63: SWAP3
00000e64: DUP4
00000e65: AND
00000e66: DUP2
00000e67: MSTORE
00000e68: SWAP2
00000e69: AND
00000e6a: PUSH1 0x20
00000e6c: DUP3
00000e6d: ADD
00000e6e: MSTORE
00000e6f: PUSH1 0x40
00000e71: SWAP1
00000e72: DUP2
00000e73: ADD
00000e74: SWAP1
00000e75: MLOAD
00000e76: DUP1
00000e77: SWAP2
00000e78: SUB
00000e79: SWAP1
00000e7a: LOG1
00000e7b: PUSH1 0x01
00000e7d: DUP1
00000e7e: SLOAD
00000e7f: PUSH1 0x00
00000e81: DUP1
00000e82: SLOAD
00000e83: PUSH1 0x01
00000e85: PUSH1 0xa0
00000e87: PUSH1 0x02
00000e89: EXP
00000e8a: SUB
00000e8b: NOT
00000e8c: SWAP1
00000e8d: DUP2
00000e8e: AND
00000e8f: PUSH1 0x01
00000e91: PUSH1 0xa0
00000e93: PUSH1 0x02
00000e95: EXP
00000e96: SUB
00000e97: DUP5
00000e98: AND
00000e99: OR
00000e9a: SWAP1
00000e9b: SWAP2
00000e9c: SSTORE
00000e9d: AND
00000e9e: SWAP1
00000e9f: SSTORE
00000ea0: JUMP
00000ea1: JUMPDEST
00000ea2: PUSH1 0x00
00000ea4: SLOAD
00000ea5: CALLER
00000ea6: PUSH1 0x01
00000ea8: PUSH1 0xa0
00000eaa: PUSH1 0x02
00000eac: EXP
00000ead: SUB
00000eae: SWAP1
00000eaf: DUP2
00000eb0: AND
00000eb1: SWAP2
00000eb2: AND
00000eb3: EQ
00000eb4: PUSH2 0x0ebc
00000eb7: JUMPI
00000eb8: PUSH1 0x00
00000eba: DUP1
00000ebb: REVERT
00000ebc: JUMPDEST
00000ebd: PUSH1 0x01
00000ebf: PUSH1 0xa0
00000ec1: PUSH1 0x02
00000ec3: EXP
00000ec4: SUB
00000ec5: DUP2
00000ec6: AND
00000ec7: ISZERO
00000ec8: ISZERO
00000ec9: PUSH2 0x0ed1
00000ecc: JUMPI
00000ecd: PUSH1 0x00
00000ecf: DUP1
00000ed0: REVERT
00000ed1: JUMPDEST
00000ed2: PUSH32 0x3b81caf78fa51ecbc8acb482fd7012a277b428d9b80f9d156e8a54107496cc40
00000ef3: DUP2
00000ef4: PUSH1 0x40
00000ef6: MLOAD
00000ef7: PUSH1 0x01
00000ef9: PUSH1 0xa0
00000efb: PUSH1 0x02
00000efd: EXP
00000efe: SUB
00000eff: SWAP1
00000f00: SWAP2
00000f01: AND
00000f02: DUP2
00000f03: MSTORE
00000f04: PUSH1 0x20
00000f06: ADD
00000f07: PUSH1 0x40
00000f09: MLOAD
00000f0a: DUP1
00000f0b: SWAP2
00000f0c: SUB
00000f0d: SWAP1
00000f0e: LOG1
00000f0f: PUSH1 0x00
00000f11: SLOAD
00000f12: PUSH32 0x65da1cfc2c2e81576ad96afb24a581f8e109b7a403b35cbd3243a1c99efdb9ed
00000f33: SWAP1
00000f34: DUP3
00000f35: SWAP1
00000f36: PUSH1 0x01
00000f38: PUSH1 0xa0
00000f3a: PUSH1 0x02
00000f3c: EXP
00000f3d: SUB
00000f3e: AND
00000f3f: PUSH1 0x40
00000f41: MLOAD
00000f42: PUSH1 0x01
00000f44: PUSH1 0xa0
00000f46: PUSH1 0x02
00000f48: EXP
00000f49: SUB
00000f4a: SWAP3
00000f4b: DUP4
00000f4c: AND
00000f4d: DUP2
00000f4e: MSTORE
00000f4f: SWAP2
00000f50: AND
00000f51: PUSH1 0x20
00000f53: DUP3
00000f54: ADD
00000f55: MSTORE
00000f56: PUSH1 0x40
00000f58: SWAP1
00000f59: DUP2
00000f5a: ADD
00000f5b: SWAP1
00000f5c: MLOAD
00000f5d: DUP1
00000f5e: SWAP2
00000f5f: SUB
00000f60: SWAP1
00000f61: LOG1
00000f62: PUSH1 0x00
00000f64: DUP1
00000f65: SLOAD
00000f66: PUSH1 0x01
00000f68: PUSH1 0xa0
00000f6a: PUSH1 0x02
00000f6c: EXP
00000f6d: SUB
00000f6e: NOT
00000f6f: AND
00000f70: PUSH1 0x01
00000f72: PUSH1 0xa0
00000f74: PUSH1 0x02
00000f76: EXP
00000f77: SUB
00000f78: SWAP3
00000f79: SWAP1
00000f7a: SWAP3
00000f7b: AND
00000f7c: SWAP2
00000f7d: SWAP1
00000f7e: SWAP2
00000f7f: OR
00000f80: SWAP1
00000f81: SSTORE
00000f82: JUMP
00000f83: JUMPDEST
00000f84: PUSH2 0x0f8b
00000f87: PUSH2 0x1cec
00000f8a: JUMP
00000f8b: JUMPDEST
00000f8c: PUSH1 0x05
00000f8e: DUP1
00000f8f: SLOAD
00000f90: DUP1
00000f91: PUSH1 0x20
00000f93: MUL
00000f94: PUSH1 0x20
00000f96: ADD
00000f97: PUSH1 0x40
00000f99: MLOAD
00000f9a: SWAP1
00000f9b: DUP2
00000f9c: ADD
00000f9d: PUSH1 0x40
00000f9f: MSTORE
00000fa0: DUP1
00000fa1: SWAP3
00000fa2: SWAP2
00000fa3: SWAP1
00000fa4: DUP2
00000fa5: DUP2
00000fa6: MSTORE
00000fa7: PUSH1 0x20
00000fa9: ADD
00000faa: DUP3
00000fab: DUP1
00000fac: SLOAD
00000fad: DUP1
00000fae: ISZERO
00000faf: PUSH2 0x07db
00000fb2: JUMPI
00000fb3: PUSH1 0x20
00000fb5: MUL
00000fb6: DUP3
00000fb7: ADD
00000fb8: SWAP2
00000fb9: SWAP1
00000fba: PUSH1 0x00
00000fbc: MSTORE
00000fbd: PUSH1 0x20
00000fbf: PUSH1 0x00
00000fc1: KECCAK256
00000fc2: SWAP1
00000fc3: DUP2
00000fc4: SLOAD
00000fc5: PUSH1 0x01
00000fc7: PUSH1 0xa0
00000fc9: PUSH1 0x02
00000fcb: EXP
00000fcc: SUB
00000fcd: AND
00000fce: DUP2
00000fcf: MSTORE
00000fd0: PUSH1 0x01
00000fd2: SWAP1
00000fd3: SWAP2
00000fd4: ADD
00000fd5: SWAP1
00000fd6: PUSH1 0x20
00000fd8: ADD
00000fd9: DUP1
00000fda: DUP4
00000fdb: GT
00000fdc: PUSH2 0x07bd
00000fdf: JUMPI
00000fe0: POP
00000fe1: POP
00000fe2: POP
00000fe3: POP
00000fe4: POP
00000fe5: SWAP1
00000fe6: POP
00000fe7: SWAP1
00000fe8: JUMP
00000fe9: JUMPDEST
00000fea: PUSH1 0x00
00000fec: DUP1
00000fed: PUSH1 0x00
00000fef: DUP1
00000ff0: PUSH1 0x00
00000ff2: DUP1
00000ff3: PUSH1 0x07
00000ff5: PUSH1 0x14
00000ff7: SWAP1
00000ff8: SLOAD
00000ff9: SWAP1
00000ffa: PUSH2 0x0100
00000ffd: EXP
00000ffe: SWAP1
00000fff: DIV
00001000: PUSH1 0xff
00001002: AND
00001003: ISZERO
00001004: ISZERO
00001005: PUSH2 0x1011
00001008: JUMPI
00001009: PUSH1 0x00
0000100b: SWAP6
0000100c: POP
0000100d: PUSH2 0x11c7
00001010: JUMP
00001011: JUMPDEST
00001012: PUSH1 0x00
00001014: DUP1
00001015: MLOAD
00001016: PUSH1 0x20
00001018: PUSH2 0x1d1d
0000101b: DUP4
0000101c: CODECOPY
0000101d: DUP2
0000101e: MLOAD
0000101f: SWAP2
00001020: MSTORE
00001021: PUSH1 0x01
00001023: PUSH1 0xa0
00001025: PUSH1 0x02
00001027: EXP
00001028: SUB
00001029: DUP12
0000102a: AND
0000102b: EQ
0000102c: ISZERO
0000102d: PUSH2 0x103c
00001030: JUMPI
00001031: PUSH1 0x01
00001033: SWAP4
00001034: POP
00001035: DUP9
00001036: SWAP5
00001037: POP
00001038: PUSH2 0x1070
0000103b: JUMP
0000103c: JUMPDEST
0000103d: PUSH1 0x00
0000103f: DUP1
00001040: MLOAD
00001041: PUSH1 0x20
00001043: PUSH2 0x1d1d
00001046: DUP4
00001047: CODECOPY
00001048: DUP2
00001049: MLOAD
0000104a: SWAP2
0000104b: MSTORE
0000104c: PUSH1 0x01
0000104e: PUSH1 0xa0
00001050: PUSH1 0x02
00001052: EXP
00001053: SUB
00001054: DUP11
00001055: AND
00001056: EQ
00001057: ISZERO
00001058: PUSH2 0x1067
0000105b: JUMPI
0000105c: PUSH1 0x00
0000105e: SWAP4
0000105f: POP
00001060: DUP10
00001061: SWAP5
00001062: POP
00001063: PUSH2 0x1070
00001066: JUMP
00001067: JUMPDEST
00001068: PUSH1 0x00
0000106a: SWAP6
0000106b: POP
0000106c: PUSH2 0x11c7
0000106f: JUMP
00001070: JUMPDEST
00001071: PUSH1 0x08
00001073: SLOAD
00001074: PUSH1 0x01
00001076: PUSH1 0xa0
00001078: PUSH1 0x02
0000107a: EXP
0000107b: SUB
0000107c: AND
0000107d: PUSH4 0xb8e9c22e
00001082: DUP7
00001083: DUP10
00001084: DUP8
00001085: DUP13
00001086: PUSH1 0x00
00001088: PUSH1 0x40
0000108a: MLOAD
0000108b: PUSH1 0x20
0000108d: ADD
0000108e: MSTORE
0000108f: PUSH1 0x40
00001091: MLOAD
00001092: PUSH1 0xe0
00001094: PUSH1 0x02
00001096: EXP
00001097: PUSH4 0xffffffff
0000109c: DUP8
0000109d: AND
0000109e: MUL
0000109f: DUP2
000010a0: MSTORE
000010a1: PUSH1 0x01
000010a3: PUSH1 0xa0
000010a5: PUSH1 0x02
000010a7: EXP
000010a8: SUB
000010a9: SWAP1
000010aa: SWAP5
000010ab: AND
000010ac: PUSH1 0x04
000010ae: DUP6
000010af: ADD
000010b0: MSTORE
000010b1: PUSH1 0x24
000010b3: DUP5
000010b4: ADD
000010b5: SWAP3
000010b6: SWAP1
000010b7: SWAP3
000010b8: MSTORE
000010b9: ISZERO
000010ba: ISZERO
000010bb: PUSH1 0x44
000010bd: DUP4
000010be: ADD
000010bf: MSTORE
000010c0: PUSH1 0x64
000010c2: DUP3
000010c3: ADD
000010c4: MSTORE
000010c5: PUSH1 0x84
000010c7: ADD
000010c8: PUSH1 0x20
000010ca: PUSH1 0x40
000010cc: MLOAD
000010cd: DUP1
000010ce: DUP4
000010cf: SUB
000010d0: DUP2
000010d1: PUSH1 0x00
000010d3: DUP8
000010d4: DUP1
000010d5: EXTCODESIZE
000010d6: ISZERO
000010d7: ISZERO
000010d8: PUSH2 0x10e0
000010db: JUMPI
000010dc: PUSH1 0x00
000010de: DUP1
000010df: REVERT
000010e0: JUMPDEST
000010e1: PUSH2 0x02c6
000010e4: GAS
000010e5: SUB
000010e6: CALL
000010e7: ISZERO
000010e8: ISZERO
000010e9: PUSH2 0x10f1
000010ec: JUMPI
000010ed: PUSH1 0x00
000010ef: DUP1
000010f0: REVERT
000010f1: JUMPDEST
000010f2: POP
000010f3: POP
000010f4: POP
000010f5: PUSH1 0x40
000010f7: MLOAD
000010f8: DUP1
000010f9: MLOAD
000010fa: SWAP1
000010fb: POP
000010fc: SWAP3
000010fd: POP
000010fe: PUSH2 0x1109
00001101: DUP11
00001102: DUP11
00001103: DUP11
00001104: DUP7
00001105: PUSH2 0x16c7
00001108: JUMP
00001109: JUMPDEST
0000110a: SWAP2
0000110b: POP
0000110c: DUP2
0000110d: PUSH2 0x1115
00001110: DUP11
00001111: PUSH2 0x161c
00001114: JUMP
00001115: JUMPDEST
00001116: LT
00001117: ISZERO
00001118: PUSH2 0x1124
0000111b: JUMPI
0000111c: PUSH1 0x00
0000111e: SWAP6
0000111f: POP
00001120: PUSH2 0x11c7
00001123: JUMP
00001124: JUMPDEST
00001125: PUSH1 0x09
00001127: SLOAD
00001128: PUSH1 0x01
0000112a: PUSH1 0xa0
0000112c: PUSH1 0x02
0000112e: EXP
0000112f: SUB
00001130: AND
00001131: ISZERO
00001132: PUSH2 0x11c3
00001135: JUMPI
00001136: PUSH1 0x09
00001138: SLOAD
00001139: PUSH1 0x01
0000113b: PUSH1 0xa0
0000113d: PUSH1 0x02
0000113f: EXP
00001140: SUB
00001141: AND
00001142: PUSH4 0xa58092b7
00001147: DUP12
00001148: DUP12
00001149: PUSH1 0x00
0000114b: PUSH1 0x40
0000114d: MLOAD
0000114e: PUSH1 0x20
00001150: ADD
00001151: MSTORE
00001152: PUSH1 0x40
00001154: MLOAD
00001155: PUSH1 0xe0
00001157: PUSH1 0x02
00001159: EXP
0000115a: PUSH4 0xffffffff
0000115f: DUP6
00001160: AND
00001161: MUL
00001162: DUP2
00001163: MSTORE
00001164: PUSH1 0x01
00001166: PUSH1 0xa0
00001168: PUSH1 0x02
0000116a: EXP
0000116b: SUB
0000116c: SWAP3
0000116d: DUP4
0000116e: AND
0000116f: PUSH1 0x04
00001171: DUP3
00001172: ADD
00001173: MSTORE
00001174: SWAP2
00001175: AND
00001176: PUSH1 0x24
00001178: DUP3
00001179: ADD
0000117a: MSTORE
0000117b: PUSH1 0x44
0000117d: ADD
0000117e: PUSH1 0x20
00001180: PUSH1 0x40
00001182: MLOAD
00001183: DUP1
00001184: DUP4
00001185: SUB
00001186: DUP2
00001187: PUSH1 0x00
00001189: DUP8
0000118a: DUP1
0000118b: EXTCODESIZE
0000118c: ISZERO
0000118d: ISZERO
0000118e: PUSH2 0x1196
00001191: JUMPI
00001192: PUSH1 0x00
00001194: DUP1
00001195: REVERT
00001196: JUMPDEST
00001197: PUSH2 0x02c6
0000119a: GAS
0000119b: SUB
0000119c: CALL
0000119d: ISZERO
0000119e: ISZERO
0000119f: PUSH2 0x11a7
000011a2: JUMPI
000011a3: PUSH1 0x00
000011a5: DUP1
000011a6: REVERT
000011a7: JUMPDEST
000011a8: POP
000011a9: POP
000011aa: POP
000011ab: PUSH1 0x40
000011ad: MLOAD
000011ae: DUP1
000011af: MLOAD
000011b0: SWAP2
000011b1: POP
000011b2: POP
000011b3: DUP1
000011b4: DUP4
000011b5: GT
000011b6: ISZERO
000011b7: PUSH2 0x11c3
000011ba: JUMPI
000011bb: PUSH1 0x00
000011bd: SWAP6
000011be: POP
000011bf: PUSH2 0x11c7
000011c2: JUMP
000011c3: JUMPDEST
000011c4: DUP3
000011c5: SWAP6
000011c6: POP
000011c7: JUMPDEST
000011c8: POP
000011c9: POP
000011ca: POP
000011cb: POP
000011cc: POP
000011cd: SWAP5
000011ce: SWAP4
000011cf: POP
000011d0: POP
000011d1: POP
000011d2: POP
000011d3: JUMP
000011d4: JUMPDEST
000011d5: PUSH1 0x00
000011d7: SLOAD
000011d8: CALLER
000011d9: PUSH1 0x01
000011db: PUSH1 0xa0
000011dd: PUSH1 0x02
000011df: EXP
000011e0: SUB
000011e1: SWAP1
000011e2: DUP2
000011e3: AND
000011e4: SWAP2
000011e5: AND
000011e6: EQ
000011e7: PUSH2 0x11ef
000011ea: JUMPI
000011eb: PUSH1 0x00
000011ed: DUP1
000011ee: REVERT
000011ef: JUMPDEST
000011f0: PUSH1 0x01
000011f2: PUSH1 0xa0
000011f4: PUSH1 0x02
000011f6: EXP
000011f7: SUB
000011f8: DUP2
000011f9: AND
000011fa: PUSH1 0x00
000011fc: SWAP1
000011fd: DUP2
000011fe: MSTORE
000011ff: PUSH1 0x02
00001201: PUSH1 0x20
00001203: MSTORE
00001204: PUSH1 0x40
00001206: SWAP1
00001207: KECCAK256
00001208: SLOAD
00001209: PUSH1 0xff
0000120b: AND
0000120c: ISZERO
0000120d: PUSH2 0x1215
00001210: JUMPI
00001211: PUSH1 0x00
00001213: DUP1
00001214: REVERT
00001215: JUMPDEST
00001216: PUSH1 0x04
00001218: SLOAD
00001219: PUSH1 0x32
0000121b: SWAP1
0000121c: LT
0000121d: PUSH2 0x1225
00001220: JUMPI
00001221: PUSH1 0x00
00001223: DUP1
00001224: REVERT
00001225: JUMPDEST
00001226: PUSH32 0x091a7a4b85135fdd7e8dbc18b12fabe5cc191ea867aa3c2e1a24a102af61d58b
00001247: DUP2
00001248: PUSH1 0x01
0000124a: PUSH1 0x40
0000124c: MLOAD
0000124d: PUSH1 0x01
0000124f: PUSH1 0xa0
00001251: PUSH1 0x02
00001253: EXP
00001254: SUB
00001255: SWAP1
00001256: SWAP3
00001257: AND
00001258: DUP3
00001259: MSTORE
0000125a: ISZERO
0000125b: ISZERO
0000125c: PUSH1 0x20
0000125e: DUP3
0000125f: ADD
00001260: MSTORE
00001261: PUSH1 0x40
00001263: SWAP1
00001264: DUP2
00001265: ADD
00001266: SWAP1
00001267: MLOAD
00001268: DUP1
00001269: SWAP2
0000126a: SUB
0000126b: SWAP1
0000126c: LOG1
0000126d: PUSH1 0x01
0000126f: PUSH1 0xa0
00001271: PUSH1 0x02
00001273: EXP
00001274: SUB
00001275: DUP2
00001276: AND
00001277: PUSH1 0x00
00001279: SWAP1
0000127a: DUP2
0000127b: MSTORE
0000127c: PUSH1 0x02
0000127e: PUSH1 0x20
00001280: MSTORE
00001281: PUSH1 0x40
00001283: SWAP1
00001284: KECCAK256
00001285: DUP1
00001286: SLOAD
00001287: PUSH1 0xff
00001289: NOT
0000128a: AND
0000128b: PUSH1 0x01
0000128d: SWAP1
0000128e: DUP2
0000128f: OR
00001290: SWAP1
00001291: SWAP2
00001292: SSTORE
00001293: PUSH1 0x04
00001295: DUP1
00001296: SLOAD
00001297: SWAP1
00001298: SWAP2
00001299: DUP2
0000129a: ADD
0000129b: PUSH2 0x09ac
0000129e: DUP4
0000129f: DUP3
000012a0: PUSH2 0x1cc8
000012a3: JUMP
000012a4: JUMPDEST
000012a5: PUSH1 0x00
000012a7: DUP1
000012a8: PUSH1 0x00
000012aa: PUSH2 0x12b2
000012ad: DUP7
000012ae: PUSH2 0x1aca
000012b1: JUMP
000012b2: JUMPDEST
000012b3: SWAP2
000012b4: POP
000012b5: PUSH2 0x12bd
000012b8: DUP8
000012b9: PUSH2 0x1aca
000012bc: JUMP
000012bd: JUMPDEST
000012be: SWAP1
000012bf: POP
000012c0: PUSH2 0x12cb
000012c3: DUP6
000012c4: DUP3
000012c5: DUP5
000012c6: DUP8
000012c7: PUSH2 0x1b88
000012ca: JUMP
000012cb: JUMPDEST
000012cc: SWAP8
000012cd: SWAP7
000012ce: POP
000012cf: POP
000012d0: POP
000012d1: POP
000012d2: POP
000012d3: POP
000012d4: POP
000012d5: JUMP
000012d6: JUMPDEST
000012d7: PUSH1 0x00
000012d9: DUP1
000012da: SLOAD
000012db: CALLER
000012dc: PUSH1 0x01
000012de: PUSH1 0xa0
000012e0: PUSH1 0x02
000012e2: EXP
000012e3: SUB
000012e4: SWAP1
000012e5: DUP2
000012e6: AND
000012e7: SWAP2
000012e8: AND
000012e9: EQ
000012ea: PUSH2 0x12f2
000012ed: JUMPI
000012ee: PUSH1 0x00
000012f0: DUP1
000012f1: REVERT
000012f2: JUMPDEST
000012f3: PUSH1 0x01
000012f5: PUSH1 0xa0
000012f7: PUSH1 0x02
000012f9: EXP
000012fa: SUB
000012fb: DUP3
000012fc: AND
000012fd: PUSH1 0x00
000012ff: SWAP1
00001300: DUP2
00001301: MSTORE
00001302: PUSH1 0x02
00001304: PUSH1 0x20
00001306: MSTORE
00001307: PUSH1 0x40
00001309: SWAP1
0000130a: KECCAK256
0000130b: SLOAD
0000130c: PUSH1 0xff
0000130e: AND
0000130f: ISZERO
00001310: ISZERO
00001311: PUSH2 0x1319
00001314: JUMPI
00001315: PUSH1 0x00
00001317: DUP1
00001318: REVERT
00001319: JUMPDEST
0000131a: POP
0000131b: PUSH1 0x01
0000131d: PUSH1 0xa0
0000131f: PUSH1 0x02
00001321: EXP
00001322: SUB
00001323: DUP2
00001324: AND
00001325: PUSH1 0x00
00001327: SWAP1
00001328: DUP2
00001329: MSTORE
0000132a: PUSH1 0x02
0000132c: PUSH1 0x20
0000132e: MSTORE
0000132f: PUSH1 0x40
00001331: DUP2
00001332: KECCAK256
00001333: DUP1
00001334: SLOAD
00001335: PUSH1 0xff
00001337: NOT
00001338: AND
00001339: SWAP1
0000133a: SSTORE
0000133b: JUMPDEST
0000133c: PUSH1 0x04
0000133e: SLOAD
0000133f: DUP2
00001340: LT
00001341: ISZERO
00001342: PUSH2 0x076a
00001345: JUMPI
00001346: DUP2
00001347: PUSH1 0x01
00001349: PUSH1 0xa0
0000134b: PUSH1 0x02
0000134d: EXP
0000134e: SUB
0000134f: AND
00001350: PUSH1 0x04
00001352: DUP3
00001353: DUP2
00001354: SLOAD
00001355: DUP2
00001356: LT
00001357: ISZERO
00001358: ISZERO
00001359: PUSH2 0x135e
0000135c: JUMPI
0000135d: INVALID
0000135e: JUMPDEST
0000135f: PUSH1 0x00
00001361: SWAP2
00001362: DUP3
00001363: MSTORE
00001364: PUSH1 0x20
00001366: SWAP1
00001367: SWAP2
00001368: KECCAK256
00001369: ADD
0000136a: SLOAD
0000136b: PUSH1 0x01
0000136d: PUSH1 0xa0
0000136f: PUSH1 0x02
00001371: EXP
00001372: SUB
00001373: AND
00001374: EQ
00001375: ISZERO
00001376: PUSH2 0x143a
00001379: JUMPI
0000137a: PUSH1 0x04
0000137c: DUP1
0000137d: SLOAD
0000137e: PUSH1 0x00
00001380: NOT
00001381: DUP2
00001382: ADD
00001383: SWAP1
00001384: DUP2
00001385: LT
00001386: PUSH2 0x138b
00001389: JUMPI
0000138a: INVALID
0000138b: JUMPDEST
0000138c: PUSH1 0x00
0000138e: SWAP2
0000138f: DUP3
00001390: MSTORE
00001391: PUSH1 0x20
00001393: SWAP1
00001394: SWAP2
00001395: KECCAK256
00001396: ADD
00001397: SLOAD
00001398: PUSH1 0x04
0000139a: DUP1
0000139b: SLOAD
0000139c: PUSH1 0x01
0000139e: PUSH1 0xa0
000013a0: PUSH1 0x02
000013a2: EXP
000013a3: SUB
000013a4: SWAP1
000013a5: SWAP3
000013a6: AND
000013a7: SWAP2
000013a8: DUP4
000013a9: SWAP1
000013aa: DUP2
000013ab: LT
000013ac: PUSH2 0x13b1
000013af: JUMPI
000013b0: INVALID
000013b1: JUMPDEST
000013b2: PUSH1 0x00
000013b4: SWAP2
000013b5: DUP3
000013b6: MSTORE
000013b7: PUSH1 0x20
000013b9: SWAP1
000013ba: SWAP2
000013bb: KECCAK256
000013bc: ADD
000013bd: DUP1
000013be: SLOAD
000013bf: PUSH1 0x01
000013c1: PUSH1 0xa0
000013c3: PUSH1 0x02
000013c5: EXP
000013c6: SUB
000013c7: NOT
000013c8: AND
000013c9: PUSH1 0x01
000013cb: PUSH1 0xa0
000013cd: PUSH1 0x02
000013cf: EXP
000013d0: SUB
000013d1: SWAP3
000013d2: SWAP1
000013d3: SWAP3
000013d4: AND
000013d5: SWAP2
000013d6: SWAP1
000013d7: SWAP2
000013d8: OR
000013d9: SWAP1
000013da: SSTORE
000013db: PUSH1 0x04
000013dd: DUP1
000013de: SLOAD
000013df: PUSH1 0x00
000013e1: NOT
000013e2: ADD
000013e3: SWAP1
000013e4: PUSH2 0x13ed
000013e7: SWAP1
000013e8: DUP3
000013e9: PUSH2 0x1cc8
000013ec: JUMP
000013ed: JUMPDEST
000013ee: POP
000013ef: PUSH32 0x091a7a4b85135fdd7e8dbc18b12fabe5cc191ea867aa3c2e1a24a102af61d58b
00001410: DUP3
00001411: PUSH1 0x00
00001413: PUSH1 0x40
00001415: MLOAD
00001416: PUSH1 0x01
00001418: PUSH1 0xa0
0000141a: PUSH1 0x02
0000141c: EXP
0000141d: SUB
0000141e: SWAP1
0000141f: SWAP3
00001420: AND
00001421: DUP3
00001422: MSTORE
00001423: ISZERO
00001424: ISZERO
00001425: PUSH1 0x20
00001427: DUP3
00001428: ADD
00001429: MSTORE
0000142a: PUSH1 0x40
0000142c: SWAP1
0000142d: DUP2
0000142e: ADD
0000142f: SWAP1
00001430: MLOAD
00001431: DUP1
00001432: SWAP2
00001433: SUB
00001434: SWAP1
00001435: LOG1
00001436: PUSH2 0x076a
00001439: JUMP
0000143a: JUMPDEST
0000143b: PUSH1 0x01
0000143d: ADD
0000143e: PUSH2 0x133b
00001441: JUMP
00001442: JUMPDEST
00001443: PUSH1 0x00
00001445: SLOAD
00001446: CALLER
00001447: PUSH1 0x01
00001449: PUSH1 0xa0
0000144b: PUSH1 0x02
0000144d: EXP
0000144e: SUB
0000144f: SWAP1
00001450: DUP2
00001451: AND
00001452: SWAP2
00001453: AND
00001454: EQ
00001455: PUSH2 0x145d
00001458: JUMPI
00001459: PUSH1 0x00
0000145b: DUP1
0000145c: REVERT
0000145d: JUMPDEST
0000145e: PUSH1 0x01
00001460: PUSH1 0xa0
00001462: PUSH1 0x02
00001464: EXP
00001465: SUB
00001466: DUP4
00001467: AND
00001468: ISZERO
00001469: ISZERO
0000146a: PUSH2 0x1472
0000146d: JUMPI
0000146e: PUSH1 0x00
00001470: DUP1
00001471: REVERT
00001472: JUMPDEST
00001473: PUSH1 0x01
00001475: PUSH1 0xa0
00001477: PUSH1 0x02
00001479: EXP
0000147a: SUB
0000147b: DUP3
0000147c: AND
0000147d: ISZERO
0000147e: ISZERO
0000147f: PUSH2 0x1487
00001482: JUMPI
00001483: PUSH1 0x00
00001485: DUP1
00001486: REVERT
00001487: JUMPDEST
00001488: PUSH1 0x07
0000148a: DUP1
0000148b: SLOAD
0000148c: PUSH1 0x01
0000148e: PUSH1 0xa0
00001490: PUSH1 0x02
00001492: EXP
00001493: SUB
00001494: DUP1
00001495: DUP7
00001496: AND
00001497: PUSH1 0x01
00001499: PUSH1 0xa0
0000149b: PUSH1 0x02
0000149d: EXP
0000149e: SUB
0000149f: NOT
000014a0: SWAP3
000014a1: DUP4
000014a2: AND
000014a3: OR
000014a4: SWAP3
000014a5: DUP4
000014a6: SWAP1
000014a7: SSTORE
000014a8: PUSH1 0x08
000014aa: DUP1
000014ab: SLOAD
000014ac: DUP7
000014ad: DUP4
000014ae: AND
000014af: SWAP1
000014b0: DUP5
000014b1: AND
000014b2: OR
000014b3: SWAP1
000014b4: DUP2
000014b5: SWAP1
000014b6: SSTORE
000014b7: PUSH1 0x09
000014b9: DUP1
000014ba: SLOAD
000014bb: DUP7
000014bc: DUP5
000014bd: AND
000014be: SWAP5
000014bf: AND
000014c0: SWAP4
000014c1: SWAP1
000014c2: SWAP4
000014c3: OR
000014c4: SWAP3
000014c5: DUP4
000014c6: SWAP1
000014c7: SSTORE
000014c8: PUSH32 0x7a85322644a4462d8ff5482d2a841a4d231f8cfb3c9f4a50f66f8b2bd568c31c
000014e9: SWAP4
000014ea: DUP3
000014eb: AND
000014ec: SWAP3
000014ed: SWAP1
000014ee: DUP3
000014ef: AND
000014f0: SWAP2
000014f1: AND
000014f2: PUSH1 0x40
000014f4: MLOAD
000014f5: PUSH1 0x01
000014f7: PUSH1 0xa0
000014f9: PUSH1 0x02
000014fb: EXP
000014fc: SUB
000014fd: SWAP4
000014fe: DUP5
000014ff: AND
00001500: DUP2
00001501: MSTORE
00001502: SWAP2
00001503: DUP4
00001504: AND
00001505: PUSH1 0x20
00001507: DUP4
00001508: ADD
00001509: MSTORE
0000150a: SWAP1
0000150b: SWAP2
0000150c: AND
0000150d: PUSH1 0x40
0000150f: DUP1
00001510: DUP4
00001511: ADD
00001512: SWAP2
00001513: SWAP1
00001514: SWAP2
00001515: MSTORE
00001516: PUSH1 0x60
00001518: SWAP1
00001519: SWAP2
0000151a: ADD
0000151b: SWAP1
0000151c: MLOAD
0000151d: DUP1
0000151e: SWAP2
0000151f: SUB
00001520: SWAP1
00001521: LOG1
00001522: POP
00001523: POP
00001524: POP
00001525: JUMP
00001526: JUMPDEST
00001527: PUSH1 0x07
00001529: SLOAD
0000152a: PUSH1 0x01
0000152c: PUSH1 0xa0
0000152e: PUSH1 0x02
00001530: EXP
00001531: SUB
00001532: AND
00001533: DUP2
00001534: JUMP
00001535: JUMPDEST
00001536: PUSH1 0x00
00001538: SLOAD
00001539: CALLER
0000153a: PUSH1 0x01
0000153c: PUSH1 0xa0
0000153e: PUSH1 0x02
00001540: EXP
00001541: SUB
00001542: SWAP1
00001543: DUP2
00001544: AND
00001545: SWAP2
00001546: AND
00001547: EQ
00001548: PUSH2 0x1550
0000154b: JUMPI
0000154c: PUSH1 0x00
0000154e: DUP1
0000154f: REVERT
00001550: JUMPDEST
00001551: PUSH1 0x01
00001553: PUSH1 0xa0
00001555: PUSH1 0x02
00001557: EXP
00001558: SUB
00001559: DUP2
0000155a: AND
0000155b: DUP3
0000155c: ISZERO
0000155d: PUSH2 0x08fc
00001560: MUL
00001561: DUP4
00001562: PUSH1 0x40
00001564: MLOAD
00001565: PUSH1 0x00
00001567: PUSH1 0x40
00001569: MLOAD
0000156a: DUP1
0000156b: DUP4
0000156c: SUB
0000156d: DUP2
0000156e: DUP6
0000156f: DUP9
00001570: DUP9
00001571: CALL
00001572: SWAP4
00001573: POP
00001574: POP
00001575: POP
00001576: POP
00001577: ISZERO
00001578: ISZERO
00001579: PUSH2 0x1581
0000157c: JUMPI
0000157d: PUSH1 0x00
0000157f: DUP1
00001580: REVERT
00001581: JUMPDEST
00001582: PUSH32 0xec47e7ed86c86774d1a72c19f35c639911393fe7c1a34031fdbd260890da90de
000015a3: DUP3
000015a4: DUP3
000015a5: PUSH1 0x40
000015a7: MLOAD
000015a8: SWAP2
000015a9: DUP3
000015aa: MSTORE
000015ab: PUSH1 0x01
000015ad: PUSH1 0xa0
000015af: PUSH1 0x02
000015b1: EXP
000015b2: SUB
000015b3: AND
000015b4: PUSH1 0x20
000015b6: DUP3
000015b7: ADD
000015b8: MSTORE
000015b9: PUSH1 0x40
000015bb: SWAP1
000015bc: DUP2
000015bd: ADD
000015be: SWAP1
000015bf: MLOAD
000015c0: DUP1
000015c1: SWAP2
000015c2: SUB
000015c3: SWAP1
000015c4: LOG1
000015c5: POP
000015c6: POP
000015c7: JUMP
000015c8: JUMPDEST
000015c9: PUSH1 0x08
000015cb: SLOAD
000015cc: PUSH1 0x01
000015ce: PUSH1 0xa0
000015d0: PUSH1 0x02
000015d2: EXP
000015d3: SUB
000015d4: AND
000015d5: DUP2
000015d6: JUMP
000015d7: JUMPDEST
000015d8: PUSH1 0x07
000015da: SLOAD
000015db: PUSH21 0x010000000000000000000000000000000000000000
000015f1: SWAP1
000015f2: DIV
000015f3: PUSH1 0xff
000015f5: AND
000015f6: DUP2
000015f7: JUMP
000015f8: JUMPDEST
000015f9: PUSH1 0x0a
000015fb: PUSH1 0x20
000015fd: MSTORE
000015fe: PUSH1 0x00
00001600: SWAP1
00001601: DUP2
00001602: MSTORE
00001603: PUSH1 0x40
00001605: SWAP1
00001606: KECCAK256
00001607: SLOAD
00001608: PUSH1 0xff
0000160a: AND
0000160b: DUP2
0000160c: JUMP
0000160d: JUMPDEST
0000160e: PUSH1 0x00
00001610: SLOAD
00001611: PUSH1 0x01
00001613: PUSH1 0xa0
00001615: PUSH1 0x02
00001617: EXP
00001618: SUB
00001619: AND
0000161a: DUP2
0000161b: JUMP
0000161c: JUMPDEST
0000161d: PUSH1 0x00
0000161f: PUSH1 0x01
00001621: PUSH1 0xa0
00001623: PUSH1 0x02
00001625: EXP
00001626: SUB
00001627: DUP3
00001628: AND
00001629: PUSH1 0x00
0000162b: DUP1
0000162c: MLOAD
0000162d: PUSH1 0x20
0000162f: PUSH2 0x1d1d
00001632: DUP4
00001633: CODECOPY
00001634: DUP2
00001635: MLOAD
00001636: SWAP2
00001637: MSTORE
00001638: EQ
00001639: ISZERO
0000163a: PUSH2 0x164e
0000163d: JUMPI
0000163e: POP
0000163f: PUSH1 0x01
00001641: PUSH1 0xa0
00001643: PUSH1 0x02
00001645: EXP
00001646: SUB
00001647: ADDRESS
00001648: AND
00001649: BALANCE
0000164a: PUSH2 0x16c2
0000164d: JUMP
0000164e: JUMPDEST
0000164f: DUP2
00001650: PUSH1 0x01
00001652: PUSH1 0xa0
00001654: PUSH1 0x02
00001656: EXP
00001657: SUB
00001658: AND
00001659: PUSH4 0x70a08231
0000165e: ADDRESS
0000165f: PUSH1 0x00
00001661: PUSH1 0x40
00001663: MLOAD
00001664: PUSH1 0x20
00001666: ADD
00001667: MSTORE
00001668: PUSH1 0x40
0000166a: MLOAD
0000166b: PUSH1 0xe0
0000166d: PUSH1 0x02
0000166f: EXP
00001670: PUSH4 0xffffffff
00001675: DUP5
00001676: AND
00001677: MUL
00001678: DUP2
00001679: MSTORE
0000167a: PUSH1 0x01
0000167c: PUSH1 0xa0
0000167e: PUSH1 0x02
00001680: EXP
00001681: SUB
00001682: SWAP1
00001683: SWAP2
00001684: AND
00001685: PUSH1 0x04
00001687: DUP3
00001688: ADD
00001689: MSTORE
0000168a: PUSH1 0x24
0000168c: ADD
0000168d: PUSH1 0x20
0000168f: PUSH1 0x40
00001691: MLOAD
00001692: DUP1
00001693: DUP4
00001694: SUB
00001695: DUP2
00001696: PUSH1 0x00
00001698: DUP8
00001699: DUP1
0000169a: EXTCODESIZE
0000169b: ISZERO
0000169c: ISZERO
0000169d: PUSH2 0x16a5
000016a0: JUMPI
000016a1: PUSH1 0x00
000016a3: DUP1
000016a4: REVERT
000016a5: JUMPDEST
000016a6: PUSH2 0x02c6
000016a9: GAS
000016aa: SUB
000016ab: CALL
000016ac: ISZERO
000016ad: ISZERO
000016ae: PUSH2 0x16b6
000016b1: JUMPI
000016b2: PUSH1 0x00
000016b4: DUP1
000016b5: REVERT
000016b6: JUMPDEST
000016b7: POP
000016b8: POP
000016b9: POP
000016ba: PUSH1 0x40
000016bc: MLOAD
000016bd: DUP1
000016be: MLOAD
000016bf: SWAP2
000016c0: POP
000016c1: POP
000016c2: JUMPDEST
000016c3: SWAP2
000016c4: SWAP1
000016c5: POP
000016c6: JUMP
000016c7: JUMPDEST
000016c8: PUSH1 0x00
000016ca: DUP1
000016cb: PUSH1 0x00
000016cd: PUSH2 0x16d5
000016d0: DUP7
000016d1: PUSH2 0x1aca
000016d4: JUMP
000016d5: JUMPDEST
000016d6: SWAP2
000016d7: POP
000016d8: PUSH2 0x16e0
000016db: DUP8
000016dc: PUSH2 0x1aca
000016df: JUMP
000016e0: JUMPDEST
000016e1: SWAP1
000016e2: POP
000016e3: PUSH2 0x12cb
000016e6: DUP6
000016e7: DUP3
000016e8: DUP5
000016e9: DUP8
000016ea: PUSH2 0x1c2f
000016ed: JUMP
000016ee: JUMPDEST
000016ef: PUSH1 0x01
000016f1: PUSH1 0xa0
000016f3: PUSH1 0x02
000016f5: EXP
000016f6: SUB
000016f7: DUP2
000016f8: AND
000016f9: PUSH1 0x00
000016fb: DUP1
000016fc: MLOAD
000016fd: PUSH1 0x20
000016ff: PUSH2 0x1d1d
00001702: DUP4
00001703: CODECOPY
00001704: DUP2
00001705: MLOAD
00001706: SWAP2
00001707: MSTORE
00001708: EQ
00001709: ISZERO
0000170a: PUSH2 0x172e
0000170d: JUMPI
0000170e: PUSH1 0x01
00001710: PUSH1 0xa0
00001712: PUSH1 0x02
00001714: EXP
00001715: SUB
00001716: DUP2
00001717: AND
00001718: PUSH1 0x00
0000171a: SWAP1
0000171b: DUP2
0000171c: MSTORE
0000171d: PUSH1 0x06
0000171f: PUSH1 0x20
00001721: MSTORE
00001722: PUSH1 0x40
00001724: SWAP1
00001725: KECCAK256
00001726: PUSH1 0x12
00001728: SWAP1
00001729: SSTORE
0000172a: PUSH2 0x17a8
0000172d: JUMP
0000172e: JUMPDEST
0000172f: DUP1
00001730: PUSH1 0x01
00001732: PUSH1 0xa0
00001734: PUSH1 0x02
00001736: EXP
00001737: SUB
00001738: AND
00001739: PUSH4 0x313ce567
0000173e: PUSH1 0x00
00001740: PUSH1 0x40
00001742: MLOAD
00001743: PUSH1 0x20
00001745: ADD
00001746: MSTORE
00001747: PUSH1 0x40
00001749: MLOAD
0000174a: DUP2
0000174b: PUSH4 0xffffffff
00001750: AND
00001751: PUSH1 0xe0
00001753: PUSH1 0x02
00001755: EXP
00001756: MUL
00001757: DUP2
00001758: MSTORE
00001759: PUSH1 0x04
0000175b: ADD
0000175c: PUSH1 0x20
0000175e: PUSH1 0x40
00001760: MLOAD
00001761: DUP1
00001762: DUP4
00001763: SUB
00001764: DUP2
00001765: PUSH1 0x00
00001767: DUP8
00001768: DUP1
00001769: EXTCODESIZE
0000176a: ISZERO
0000176b: ISZERO
0000176c: PUSH2 0x1774
0000176f: JUMPI
00001770: PUSH1 0x00
00001772: DUP1
00001773: REVERT
00001774: JUMPDEST
00001775: PUSH2 0x02c6
00001778: GAS
00001779: SUB
0000177a: CALL
0000177b: ISZERO
0000177c: ISZERO
0000177d: PUSH2 0x1785
00001780: JUMPI
00001781: PUSH1 0x00
00001783: DUP1
00001784: REVERT
00001785: JUMPDEST
00001786: POP
00001787: POP
00001788: POP
00001789: PUSH1 0x40
0000178b: MLOAD
0000178c: DUP1
0000178d: MLOAD
0000178e: PUSH1 0x01
00001790: PUSH1 0xa0
00001792: PUSH1 0x02
00001794: EXP
00001795: SUB
00001796: DUP4
00001797: AND
00001798: PUSH1 0x00
0000179a: SWAP1
0000179b: DUP2
0000179c: MSTORE
0000179d: PUSH1 0x06
0000179f: PUSH1 0x20
000017a1: MSTORE
000017a2: PUSH1 0x40
000017a4: SWAP1
000017a5: KECCAK256
000017a6: SSTORE
000017a7: POP
000017a8: JUMPDEST
000017a9: POP
000017aa: JUMP
000017ab: JUMPDEST
000017ac: PUSH1 0x00
000017ae: DUP1
000017af: PUSH1 0x00
000017b1: DUP1
000017b2: DUP5
000017b3: ISZERO
000017b4: PUSH2 0x17ff
000017b7: JUMPI
000017b8: PUSH1 0x00
000017ba: DUP7
000017bb: GT
000017bc: PUSH2 0x17c4
000017bf: JUMPI
000017c0: PUSH1 0x00
000017c2: DUP1
000017c3: REVERT
000017c4: JUMPDEST
000017c5: PUSH1 0x01
000017c7: PUSH1 0xa0
000017c9: PUSH1 0x02
000017cb: EXP
000017cc: SUB
000017cd: DUP11
000017ce: AND
000017cf: PUSH1 0x00
000017d1: DUP1
000017d2: MLOAD
000017d3: PUSH1 0x20
000017d5: PUSH2 0x1d1d
000017d8: DUP4
000017d9: CODECOPY
000017da: DUP2
000017db: MLOAD
000017dc: SWAP2
000017dd: MSTORE
000017de: EQ
000017df: ISZERO
000017e0: PUSH2 0x17f4
000017e3: JUMPI
000017e4: CALLVALUE
000017e5: DUP10
000017e6: EQ
000017e7: PUSH2 0x17ef
000017ea: JUMPI
000017eb: PUSH1 0x00
000017ed: DUP1
000017ee: REVERT
000017ef: JUMPDEST
000017f0: PUSH2 0x17ff
000017f3: JUMP
000017f4: JUMPDEST
000017f5: CALLVALUE
000017f6: ISZERO
000017f7: PUSH2 0x17ff
000017fa: JUMPI
000017fb: PUSH1 0x00
000017fd: DUP1
000017fe: REVERT
000017ff: JUMPDEST
00001800: PUSH2 0x180b
00001803: DUP11
00001804: DUP10
00001805: DUP12
00001806: DUP10
00001807: PUSH2 0x16c7
0000180a: JUMP
0000180b: JUMPDEST
0000180c: SWAP3
0000180d: POP
0000180e: PUSH1 0x00
00001810: DUP4
00001811: GT
00001812: PUSH2 0x181a
00001815: JUMPI
00001816: PUSH1 0x00
00001818: DUP1
00001819: REVERT
0000181a: JUMPDEST
0000181b: PUSH1 0x01
0000181d: PUSH1 0xa0
0000181f: PUSH1 0x02
00001821: EXP
00001822: SUB
00001823: DUP11
00001824: AND
00001825: PUSH1 0x00
00001827: DUP1
00001828: MLOAD
00001829: PUSH1 0x20
0000182b: PUSH2 0x1d1d
0000182e: DUP4
0000182f: CODECOPY
00001830: DUP2
00001831: MLOAD
00001832: SWAP2
00001833: MSTORE
00001834: EQ
00001835: ISZERO
00001836: PUSH2 0x1843
00001839: JUMPI
0000183a: POP
0000183b: DUP7
0000183c: SWAP1
0000183d: POP
0000183e: DUP2
0000183f: PUSH2 0x184d
00001842: JUMP
00001843: JUMPDEST
00001844: POP
00001845: DUP9
00001846: SWAP1
00001847: POP
00001848: PUSH1 0x00
0000184a: NOT
0000184b: DUP9
0000184c: MUL
0000184d: JUMPDEST
0000184e: PUSH1 0x08
00001850: SLOAD
00001851: PUSH1 0x01
00001853: PUSH1 0xa0
00001855: PUSH1 0x02
00001857: EXP
00001858: SUB
00001859: AND
0000185a: PUSH4 0xc6fd2103
0000185f: DUP4
00001860: DUP4
00001861: PUSH1 0x00
00001863: NUMBER
00001864: PUSH1 0x40
00001866: MLOAD
00001867: PUSH1 0xe0
00001869: PUSH1 0x02
0000186b: EXP
0000186c: PUSH4 0xffffffff
00001871: DUP8
00001872: AND
00001873: MUL
00001874: DUP2
00001875: MSTORE
00001876: PUSH1 0x01
00001878: PUSH1 0xa0
0000187a: PUSH1 0x02
0000187c: EXP
0000187d: SUB
0000187e: SWAP1
0000187f: SWAP5
00001880: AND
00001881: PUSH1 0x04
00001883: DUP6
00001884: ADD
00001885: MSTORE
00001886: PUSH1 0x24
00001888: DUP5
00001889: ADD
0000188a: SWAP3
0000188b: SWAP1
0000188c: SWAP3
0000188d: MSTORE
0000188e: PUSH1 0x44
00001890: DUP4
00001891: ADD
00001892: MSTORE
00001893: PUSH1 0x64
00001895: DUP3
00001896: ADD
00001897: MSTORE
00001898: PUSH1 0x84
0000189a: ADD
0000189b: PUSH1 0x00
0000189d: PUSH1 0x40
0000189f: MLOAD
000018a0: DUP1
000018a1: DUP4
000018a2: SUB
000018a3: DUP2
000018a4: PUSH1 0x00
000018a6: DUP8
000018a7: DUP1
000018a8: EXTCODESIZE
000018a9: ISZERO
000018aa: ISZERO
000018ab: PUSH2 0x18b3
000018ae: JUMPI
000018af: PUSH1 0x00
000018b1: DUP1
000018b2: REVERT
000018b3: JUMPDEST
000018b4: PUSH2 0x02c6
000018b7: GAS
000018b8: SUB
000018b9: CALL
000018ba: ISZERO
000018bb: ISZERO
000018bc: PUSH2 0x18c4
000018bf: JUMPI
000018c0: PUSH1 0x00
000018c2: DUP1
000018c3: REVERT
000018c4: JUMPDEST
000018c5: POP
000018c6: POP
000018c7: POP
000018c8: PUSH1 0x01
000018ca: PUSH1 0xa0
000018cc: PUSH1 0x02
000018ce: EXP
000018cf: SUB
000018d0: DUP11
000018d1: AND
000018d2: PUSH1 0x00
000018d4: DUP1
000018d5: MLOAD
000018d6: PUSH1 0x20
000018d8: PUSH2 0x1d1d
000018db: DUP4
000018dc: CODECOPY
000018dd: DUP2
000018de: MLOAD
000018df: SWAP2
000018e0: MSTORE
000018e1: EQ
000018e2: PUSH2 0x1975
000018e5: JUMPI
000018e6: DUP10
000018e7: PUSH1 0x01
000018e9: PUSH1 0xa0
000018eb: PUSH1 0x02
000018ed: EXP
000018ee: SUB
000018ef: AND
000018f0: PUSH4 0x23b872dd
000018f5: CALLER
000018f6: ADDRESS
000018f7: DUP13
000018f8: PUSH1 0x00
000018fa: PUSH1 0x40
000018fc: MLOAD
000018fd: PUSH1 0x20
000018ff: ADD
00001900: MSTORE
00001901: PUSH1 0x40
00001903: MLOAD
00001904: PUSH1 0xe0
00001906: PUSH1 0x02
00001908: EXP
00001909: PUSH4 0xffffffff
0000190e: DUP7
0000190f: AND
00001910: MUL
00001911: DUP2
00001912: MSTORE
00001913: PUSH1 0x01
00001915: PUSH1 0xa0
00001917: PUSH1 0x02
00001919: EXP
0000191a: SUB
0000191b: SWAP4
0000191c: DUP5
0000191d: AND
0000191e: PUSH1 0x04
00001920: DUP3
00001921: ADD
00001922: MSTORE
00001923: SWAP2
00001924: SWAP1
00001925: SWAP3
00001926: AND
00001927: PUSH1 0x24
00001929: DUP3
0000192a: ADD
0000192b: MSTORE
0000192c: PUSH1 0x44
0000192e: DUP2
0000192f: ADD
00001930: SWAP2
00001931: SWAP1
00001932: SWAP2
00001933: MSTORE
00001934: PUSH1 0x64
00001936: ADD
00001937: PUSH1 0x20
00001939: PUSH1 0x40
0000193b: MLOAD
0000193c: DUP1
0000193d: DUP4
0000193e: SUB
0000193f: DUP2
00001940: PUSH1 0x00
00001942: DUP8
00001943: DUP1
00001944: EXTCODESIZE
00001945: ISZERO
00001946: ISZERO
00001947: PUSH2 0x194f
0000194a: JUMPI
0000194b: PUSH1 0x00
0000194d: DUP1
0000194e: REVERT
0000194f: JUMPDEST
00001950: PUSH2 0x02c6
00001953: GAS
00001954: SUB
00001955: CALL
00001956: ISZERO
00001957: ISZERO
00001958: PUSH2 0x1960
0000195b: JUMPI
0000195c: PUSH1 0x00
0000195e: DUP1
0000195f: REVERT
00001960: JUMPDEST
00001961: POP
00001962: POP
00001963: POP
00001964: PUSH1 0x40
00001966: MLOAD
00001967: DUP1
00001968: MLOAD
00001969: SWAP1
0000196a: POP
0000196b: ISZERO
0000196c: ISZERO
0000196d: PUSH2 0x1975
00001970: JUMPI
00001971: PUSH1 0x00
00001973: DUP1
00001974: REVERT
00001975: JUMPDEST
00001976: PUSH1 0x01
00001978: PUSH1 0xa0
0000197a: PUSH1 0x02
0000197c: EXP
0000197d: SUB
0000197e: DUP9
0000197f: AND
00001980: PUSH1 0x00
00001982: DUP1
00001983: MLOAD
00001984: PUSH1 0x20
00001986: PUSH2 0x1d1d
00001989: DUP4
0000198a: CODECOPY
0000198b: DUP2
0000198c: MLOAD
0000198d: SWAP2
0000198e: MSTORE
0000198f: EQ
00001990: ISZERO
00001991: PUSH2 0x19ca
00001994: JUMPI
00001995: PUSH1 0x01
00001997: PUSH1 0xa0
00001999: PUSH1 0x02
0000199b: EXP
0000199c: SUB
0000199d: DUP8
0000199e: AND
0000199f: DUP4
000019a0: ISZERO
000019a1: PUSH2 0x08fc
000019a4: MUL
000019a5: DUP5
000019a6: PUSH1 0x40
000019a8: MLOAD
000019a9: PUSH1 0x00
000019ab: PUSH1 0x40
000019ad: MLOAD
000019ae: DUP1
000019af: DUP4
000019b0: SUB
000019b1: DUP2
000019b2: DUP6
000019b3: DUP9
000019b4: DUP9
000019b5: CALL
000019b6: SWAP4
000019b7: POP
000019b8: POP
000019b9: POP
000019ba: POP
000019bb: ISZERO
000019bc: ISZERO
000019bd: PUSH2 0x19c5
000019c0: JUMPI
000019c1: PUSH1 0x00
000019c3: DUP1
000019c4: REVERT
000019c5: JUMPDEST
000019c6: PUSH2 0x1a4d
000019c9: JUMP
000019ca: JUMPDEST
000019cb: DUP8
000019cc: PUSH1 0x01
000019ce: PUSH1 0xa0
000019d0: PUSH1 0x02
000019d2: EXP
000019d3: SUB
000019d4: AND
000019d5: PUSH4 0xa9059cbb
000019da: DUP9
000019db: DUP6
000019dc: PUSH1 0x00
000019de: PUSH1 0x40
000019e0: MLOAD
000019e1: PUSH1 0x20
000019e3: ADD
000019e4: MSTORE
000019e5: PUSH1 0x40
000019e7: MLOAD
000019e8: PUSH1 0xe0
000019ea: PUSH1 0x02
000019ec: EXP
000019ed: PUSH4 0xffffffff
000019f2: DUP6
000019f3: AND
000019f4: MUL
000019f5: DUP2
000019f6: MSTORE
000019f7: PUSH1 0x01
000019f9: PUSH1 0xa0
000019fb: PUSH1 0x02
000019fd: EXP
000019fe: SUB
000019ff: SWAP1
00001a00: SWAP3
00001a01: AND
00001a02: PUSH1 0x04
00001a04: DUP4
00001a05: ADD
00001a06: MSTORE
00001a07: PUSH1 0x24
00001a09: DUP3
00001a0a: ADD
00001a0b: MSTORE
00001a0c: PUSH1 0x44
00001a0e: ADD
00001a0f: PUSH1 0x20
00001a11: PUSH1 0x40
00001a13: MLOAD
00001a14: DUP1
00001a15: DUP4
00001a16: SUB
00001a17: DUP2
00001a18: PUSH1 0x00
00001a1a: DUP8
00001a1b: DUP1
00001a1c: EXTCODESIZE
00001a1d: ISZERO
00001a1e: ISZERO
00001a1f: PUSH2 0x1a27
00001a22: JUMPI
00001a23: PUSH1 0x00
00001a25: DUP1
00001a26: REVERT
00001a27: JUMPDEST
00001a28: PUSH2 0x02c6
00001a2b: GAS
00001a2c: SUB
00001a2d: CALL
00001a2e: ISZERO
00001a2f: ISZERO
00001a30: PUSH2 0x1a38
00001a33: JUMPI
00001a34: PUSH1 0x00
00001a36: DUP1
00001a37: REVERT
00001a38: JUMPDEST
00001a39: POP
00001a3a: POP
00001a3b: POP
00001a3c: PUSH1 0x40
00001a3e: MLOAD
00001a3f: DUP1
00001a40: MLOAD
00001a41: SWAP1
00001a42: POP
00001a43: ISZERO
00001a44: ISZERO
00001a45: PUSH2 0x1a4d
00001a48: JUMPI
00001a49: PUSH1 0x00
00001a4b: DUP1
00001a4c: REVERT
00001a4d: JUMPDEST
00001a4e: CALLER
00001a4f: PUSH1 0x01
00001a51: PUSH1 0xa0
00001a53: PUSH1 0x02
00001a55: EXP
00001a56: SUB
00001a57: AND
00001a58: PUSH32 0xea9415385bae08fe9f6dc457b02577166790cde83bb18cc340aac6cb81b824de
00001a79: DUP12
00001a7a: DUP12
00001a7b: DUP12
00001a7c: DUP8
00001a7d: DUP13
00001a7e: PUSH1 0x40
00001a80: MLOAD
00001a81: PUSH1 0x01
00001a83: PUSH1 0xa0
00001a85: PUSH1 0x02
00001a87: EXP
00001a88: SUB
00001a89: SWAP6
00001a8a: DUP7
00001a8b: AND
00001a8c: DUP2
00001a8d: MSTORE
00001a8e: PUSH1 0x20
00001a90: DUP2
00001a91: ADD
00001a92: SWAP5
00001a93: SWAP1
00001a94: SWAP5
00001a95: MSTORE
00001a96: SWAP2
00001a97: DUP5
00001a98: AND
00001a99: PUSH1 0x40
00001a9b: DUP1
00001a9c: DUP6
00001a9d: ADD
00001a9e: SWAP2
00001a9f: SWAP1
00001aa0: SWAP2
00001aa1: MSTORE
00001aa2: PUSH1 0x60
00001aa4: DUP5
00001aa5: ADD
00001aa6: SWAP2
00001aa7: SWAP1
00001aa8: SWAP2
00001aa9: MSTORE
00001aaa: SWAP3
00001aab: AND
00001aac: PUSH1 0x80
00001aae: DUP3
00001aaf: ADD
00001ab0: MSTORE
00001ab1: PUSH1 0xa0
00001ab3: ADD
00001ab4: SWAP1
00001ab5: MLOAD
00001ab6: DUP1
00001ab7: SWAP2
00001ab8: SUB
00001ab9: SWAP1
00001aba: LOG2
00001abb: POP
00001abc: PUSH1 0x01
00001abe: SWAP10
00001abf: SWAP9
00001ac0: POP
00001ac1: POP
00001ac2: POP
00001ac3: POP
00001ac4: POP
00001ac5: POP
00001ac6: POP
00001ac7: POP
00001ac8: POP
00001ac9: JUMP
00001aca: JUMPDEST
00001acb: PUSH1 0x00
00001acd: DUP1
00001ace: PUSH1 0x01
00001ad0: PUSH1 0xa0
00001ad2: PUSH1 0x02
00001ad4: EXP
00001ad5: SUB
00001ad6: DUP4
00001ad7: AND
00001ad8: PUSH1 0x00
00001ada: DUP1
00001adb: MLOAD
00001adc: PUSH1 0x20
00001ade: PUSH2 0x1d1d
00001ae1: DUP4
00001ae2: CODECOPY
00001ae3: DUP2
00001ae4: MLOAD
00001ae5: SWAP2
00001ae6: MSTORE
00001ae7: EQ
00001ae8: ISZERO
00001ae9: PUSH2 0x1af5
00001aec: JUMPI
00001aed: PUSH1 0x12
00001aef: SWAP2
00001af0: POP
00001af1: PUSH2 0x1b82
00001af4: JUMP
00001af5: JUMPDEST
00001af6: POP
00001af7: PUSH1 0x01
00001af9: PUSH1 0xa0
00001afb: PUSH1 0x02
00001afd: EXP
00001afe: SUB
00001aff: DUP3
00001b00: AND
00001b01: PUSH1 0x00
00001b03: SWAP1
00001b04: DUP2
00001b05: MSTORE
00001b06: PUSH1 0x06
00001b08: PUSH1 0x20
00001b0a: MSTORE
00001b0b: PUSH1 0x40
00001b0d: SWAP1
00001b0e: KECCAK256
00001b0f: SLOAD
00001b10: DUP1
00001b11: ISZERO
00001b12: ISZERO
00001b13: PUSH2 0x1b7e
00001b16: JUMPI
00001b17: DUP3
00001b18: PUSH1 0x01
00001b1a: PUSH1 0xa0
00001b1c: PUSH1 0x02
00001b1e: EXP
00001b1f: SUB
00001b20: AND
00001b21: PUSH4 0x313ce567
00001b26: PUSH1 0x00
00001b28: PUSH1 0x40
00001b2a: MLOAD
00001b2b: PUSH1 0x20
00001b2d: ADD
00001b2e: MSTORE
00001b2f: PUSH1 0x40
00001b31: MLOAD
00001b32: DUP2
00001b33: PUSH4 0xffffffff
00001b38: AND
00001b39: PUSH1 0xe0
00001b3b: PUSH1 0x02
00001b3d: EXP
00001b3e: MUL
00001b3f: DUP2
00001b40: MSTORE
00001b41: PUSH1 0x04
00001b43: ADD
00001b44: PUSH1 0x20
00001b46: PUSH1 0x40
00001b48: MLOAD
00001b49: DUP1
00001b4a: DUP4
00001b4b: SUB
00001b4c: DUP2
00001b4d: PUSH1 0x00
00001b4f: DUP8
00001b50: DUP1
00001b51: EXTCODESIZE
00001b52: ISZERO
00001b53: ISZERO
00001b54: PUSH2 0x1b5c
00001b57: JUMPI
00001b58: PUSH1 0x00
00001b5a: DUP1
00001b5b: REVERT
00001b5c: JUMPDEST
00001b5d: PUSH2 0x02c6
00001b60: GAS
00001b61: SUB
00001b62: CALL
00001b63: ISZERO
00001b64: ISZERO
00001b65: PUSH2 0x1b6d
00001b68: JUMPI
00001b69: PUSH1 0x00
00001b6b: DUP1
00001b6c: REVERT
00001b6d: JUMPDEST
00001b6e: POP
00001b6f: POP
00001b70: POP
00001b71: PUSH1 0x40
00001b73: MLOAD
00001b74: DUP1
00001b75: MLOAD
00001b76: SWAP1
00001b77: POP
00001b78: SWAP2
00001b79: POP
00001b7a: PUSH2 0x1b82
00001b7d: JUMP
00001b7e: JUMPDEST
00001b7f: DUP1
00001b80: SWAP2
00001b81: POP
00001b82: JUMPDEST
00001b83: POP
00001b84: SWAP2
00001b85: SWAP1
00001b86: POP
00001b87: JUMP
00001b88: JUMPDEST
00001b89: PUSH1 0x00
00001b8b: DUP1
00001b8c: DUP1
00001b8d: PUSH12 0x204fce5e3e25026110000000
00001b9a: DUP8
00001b9b: GT
00001b9c: ISZERO
00001b9d: PUSH2 0x1ba5
00001ba0: JUMPI
00001ba1: PUSH1 0x00
00001ba3: DUP1
00001ba4: REVERT
00001ba5: JUMPDEST
00001ba6: PUSH10 0xd3c21bcecceda1000000
00001bb1: DUP5
00001bb2: GT
00001bb3: ISZERO
00001bb4: PUSH2 0x1bbc
00001bb7: JUMPI
00001bb8: PUSH1 0x00
00001bba: DUP1
00001bbb: REVERT
00001bbc: JUMPDEST
00001bbd: DUP5
00001bbe: DUP7
00001bbf: LT
00001bc0: PUSH2 0x1bed
00001bc3: JUMPI
00001bc4: PUSH1 0x12
00001bc6: DUP6
00001bc7: DUP8
00001bc8: SUB
00001bc9: GT
00001bca: ISZERO
00001bcb: PUSH2 0x1bd3
00001bce: JUMPI
00001bcf: PUSH1 0x00
00001bd1: DUP1
00001bd2: REVERT
00001bd3: JUMPDEST
00001bd4: POP
00001bd5: POP
00001bd6: DUP3
00001bd7: DUP5
00001bd8: SUB
00001bd9: PUSH1 0x0a
00001bdb: EXP
00001bdc: DUP6
00001bdd: MUL
00001bde: PUSH8 0x0de0b6b3a7640000
00001be7: MUL
00001be8: DUP3
00001be9: PUSH2 0x1c13
00001bec: JUMP
00001bed: JUMPDEST
00001bee: PUSH1 0x12
00001bf0: DUP7
00001bf1: DUP7
00001bf2: SUB
00001bf3: GT
00001bf4: ISZERO
00001bf5: PUSH2 0x1bfd
00001bf8: JUMPI
00001bf9: PUSH1 0x00
00001bfb: DUP1
00001bfc: REVERT
00001bfd: JUMPDEST
00001bfe: POP
00001bff: POP
00001c00: PUSH8 0x0de0b6b3a7640000
00001c09: DUP6
00001c0a: MUL
00001c0b: DUP5
00001c0c: DUP5
00001c0d: SUB
00001c0e: PUSH1 0x0a
00001c10: EXP
00001c11: DUP4
00001c12: MUL
00001c13: JUMPDEST
00001c14: DUP1
00001c15: PUSH1 0x01
00001c17: DUP3
00001c18: DUP5
00001c19: ADD
00001c1a: SUB
00001c1b: DUP2
00001c1c: ISZERO
00001c1d: ISZERO
00001c1e: PUSH2 0x1c23
00001c21: JUMPI
00001c22: INVALID
00001c23: JUMPDEST
00001c24: DIV
00001c25: SWAP8
00001c26: SWAP7
00001c27: POP
00001c28: POP
00001c29: POP
00001c2a: POP
00001c2b: POP
00001c2c: POP
00001c2d: POP
00001c2e: JUMP
00001c2f: JUMPDEST
00001c30: PUSH1 0x00
00001c32: PUSH12 0x204fce5e3e25026110000000
00001c3f: DUP6
00001c40: GT
00001c41: ISZERO
00001c42: PUSH2 0x1c4a
00001c45: JUMPI
00001c46: PUSH1 0x00
00001c48: DUP1
00001c49: REVERT
00001c4a: JUMPDEST
00001c4b: PUSH10 0xd3c21bcecceda1000000
00001c56: DUP3
00001c57: GT
00001c58: ISZERO
00001c59: PUSH2 0x1c61
00001c5c: JUMPI
00001c5d: PUSH1 0x00
00001c5f: DUP1
00001c60: REVERT
00001c61: JUMPDEST
00001c62: DUP4
00001c63: DUP4
00001c64: LT
00001c65: PUSH2 0x1c94
00001c68: JUMPI
00001c69: PUSH1 0x12
00001c6b: DUP5
00001c6c: DUP5
00001c6d: SUB
00001c6e: GT
00001c6f: ISZERO
00001c70: PUSH2 0x1c78
00001c73: JUMPI
00001c74: PUSH1 0x00
00001c76: DUP1
00001c77: REVERT
00001c78: JUMPDEST
00001c79: PUSH8 0x0de0b6b3a7640000
00001c82: DUP6
00001c83: DUP4
00001c84: MUL
00001c85: DUP6
00001c86: DUP6
00001c87: SUB
00001c88: PUSH1 0x0a
00001c8a: EXP
00001c8b: MUL
00001c8c: JUMPDEST
00001c8d: DIV
00001c8e: SWAP1
00001c8f: POP
00001c90: PUSH2 0x1cc0
00001c93: JUMP
00001c94: JUMPDEST
00001c95: PUSH1 0x12
00001c97: DUP4
00001c98: DUP6
00001c99: SUB
00001c9a: GT
00001c9b: ISZERO
00001c9c: PUSH2 0x1ca4
00001c9f: JUMPI
00001ca0: PUSH1 0x00
00001ca2: DUP1
00001ca3: REVERT
00001ca4: JUMPDEST
00001ca5: DUP3
00001ca6: DUP5
00001ca7: SUB
00001ca8: PUSH1 0x0a
00001caa: EXP
00001cab: PUSH8 0x0de0b6b3a7640000
00001cb4: MUL
00001cb5: DUP3
00001cb6: DUP7
00001cb7: MUL
00001cb8: DUP2
00001cb9: ISZERO
00001cba: ISZERO
00001cbb: PUSH2 0x1c8c
00001cbe: JUMPI
00001cbf: INVALID
00001cc0: JUMPDEST
00001cc1: SWAP5
00001cc2: SWAP4
00001cc3: POP
00001cc4: POP
00001cc5: POP
00001cc6: POP
00001cc7: JUMP
00001cc8: JUMPDEST
00001cc9: DUP2
00001cca: SLOAD
00001ccb: DUP2
00001ccc: DUP4
00001ccd: SSTORE
00001cce: DUP2
00001ccf: DUP2
00001cd0: ISZERO
00001cd1: GT
00001cd2: PUSH2 0x0ac1
00001cd5: JUMPI
00001cd6: PUSH1 0x00
00001cd8: DUP4
00001cd9: DUP2
00001cda: MSTORE
00001cdb: PUSH1 0x20
00001cdd: SWAP1
00001cde: KECCAK256
00001cdf: PUSH2 0x0ac1
00001ce2: SWAP2
00001ce3: DUP2
00001ce4: ADD
00001ce5: SWAP1
00001ce6: DUP4
00001ce7: ADD
00001ce8: PUSH2 0x1cfe
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: PUSH1 0x20
00001cef: PUSH1 0x40
00001cf1: MLOAD
00001cf2: SWAP1
00001cf3: DUP2
00001cf4: ADD
00001cf5: PUSH1 0x40
00001cf7: MSTORE
00001cf8: PUSH1 0x00
00001cfa: DUP2
00001cfb: MSTORE
00001cfc: SWAP1
00001cfd: JUMP
00001cfe: JUMPDEST
00001cff: PUSH2 0x05fb
00001d02: SWAP2
00001d03: SWAP1
00001d04: JUMPDEST
00001d05: DUP1
00001d06: DUP3
00001d07: GT
00001d08: ISZERO
00001d09: PUSH2 0x1d18
00001d0c: JUMPI
00001d0d: PUSH1 0x00
00001d0f: DUP2
00001d10: SSTORE
00001d11: PUSH1 0x01
00001d13: ADD
00001d14: PUSH2 0x1d04
00001d17: JUMP
00001d18: JUMPDEST
00001d19: POP
00001d1a: SWAP1
00001d1b: JUMP
00001d1c: STOP
00001d1d: STOP
00001d1e: STOP
00001d1f: STOP
00001d20: STOP
00001d21: STOP
00001d22: STOP
00001d23: STOP
00001d24: STOP
00001d25: STOP
00001d26: STOP
00001d27: STOP
00001d28: STOP
00001d29: UNKNOWN(0xEE)
00001d2a: UNKNOWN(0xEE)
00001d2b: UNKNOWN(0xEE)
00001d2c: UNKNOWN(0xEE)
00001d2d: UNKNOWN(0xEE)
00001d2e: UNKNOWN(0xEE)
00001d2f: UNKNOWN(0xEE)
00001d30: UNKNOWN(0xEE)
00001d31: UNKNOWN(0xEE)
00001d32: UNKNOWN(0xEE)
00001d33: UNKNOWN(0xEE)
00001d34: UNKNOWN(0xEE)
00001d35: UNKNOWN(0xEE)
00001d36: UNKNOWN(0xEE)
00001d37: UNKNOWN(0xEE)
00001d38: UNKNOWN(0xEE)
00001d39: UNKNOWN(0xEE)
00001d3a: UNKNOWN(0xEE)
00001d3b: UNKNOWN(0xEE)
00001d3c: UNKNOWN(0xEE)
00001d3d: LOG1
00001d3e: PUSH6 0x627a7a723058
00001d45: KECCAK256
00001d46: PUSH23 0x94399fad3d193542e132b7c6621c3a63e22a08cad0e583
00001d5e: PUSH27

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x4b5bbc092abbe6086d9702f6bf2cc79cfc70c8082e9d5b17d92563d114329ceb call_targets: 0xc935cad589bebd8673104073d5a5eccfe67fb7b1 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4b5bbc092abbe6086d9702f6bf2cc79cfc70c8082e9d5b17d92563d114329ceb", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc935cad589bebd8673104073d5a5eccfe67fb7b1" ], "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": "0x01a12fd3", "selector": "0x01a12fd3", "calldata_variants": [ "0x01a12fd3", "0x01a12fd30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x26782247", "selector": "0x26782247", "calldata_variants": [ "0x26782247", "0x267822470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27a099d8", "selector": "0x27a099d8", "calldata_variants": [ "0x27a099d8", "0x27a099d80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccdbb28", "selector": "0x3ccdbb28", "calldata_variants": [ "0x3ccdbb28", "0x3ccdbb280000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x408ee7fe", "selector": "0x408ee7fe", "calldata_variants": [ "0x408ee7fe", "0x408ee7fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x47e6924f", "selector": "0x47e6924f", "calldata_variants": [ "0x47e6924f", "0x47e6924f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x546dc71c", "selector": "0x546dc71c", "calldata_variants": [ "0x546dc71c", "0x546dc71c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x69328dec", "selector": "0x69328dec", "calldata_variants": [ "0x69328dec", "0x69328dec0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2147, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2952, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3072, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 13, "guards_detected": [], "untrusted_call_count": 13 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x4b5bbc092abbe6086d9702f6bf2cc79cfc70c8082e9d5b17d92563d114329ceb call_targets: 0xc935cad589bebd8673104073d5a5eccfe67fb7b1 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4b5bbc092abbe6086d9702f6bf2cc79cfc70c8082e9d5b17d92563d114329ceb", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc935cad589bebd8673104073d5a5eccfe67fb7b1" ], "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": "0x01a12fd3", "selector": "0x01a12fd3", "calldata_variants": [ "0x01a12fd3", "0x01a12fd30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x26782247", "selector": "0x26782247", "calldata_variants": [ "0x26782247", "0x267822470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27a099d8", "selector": "0x27a099d8", "calldata_variants": [ "0x27a099d8", "0x27a099d80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccdbb28", "selector": "0x3ccdbb28", "calldata_variants": [ "0x3ccdbb28", "0x3ccdbb280000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x408ee7fe", "selector": "0x408ee7fe", "calldata_variants": [ "0x408ee7fe", "0x408ee7fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x47e6924f", "selector": "0x47e6924f", "calldata_variants": [ "0x47e6924f", "0x47e6924f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x546dc71c", "selector": "0x546dc71c", "calldata_variants": [ "0x546dc71c", "0x546dc71c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x69328dec", "selector": "0x69328dec", "calldata_variants": [ "0x69328dec", "0x69328dec0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2147, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2952, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3072, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 13, "guards_detected": [] }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 11 }
info	other	cast	Heavy CALL-family usage	55	no	—	view evidence_json { "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns", "call_family_count": 13 }