Analysis Run

019b3836-3f37-7278-998b-9d55fcf1a304

complete

Chain ID

1

Address

0x1b2805cb4d45eed354ec0b4d925a745de0cd020b

Block Number

—

Created

Fri, Dec 19, 2025 8:03 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

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
5013	artifact.fetch	complete	1 / 3	4 months ago
5014	tool.cast_disasm	complete	1 / 3	4 months ago
80499	analysis.bundle	complete	1 / 3	2 weeks ago
80500	capability.graph	complete	1 / 3	2 weeks ago
80501	detector.run	complete	1 / 3	2 weeks ago
80502	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

14

EXT*/BALANCE

4

Total opcodes

3256

Flags

call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0111
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x058aace1
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x011c
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x0d1fce42
00000025: EQ
00000026: PUSH2 0x012d
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x11610c25
00000030: EQ
00000031: PUSH2 0x013f
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x132ae5e9
0000003b: EQ
0000003c: PUSH2 0x01b5
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x16d190e3
00000046: EQ
00000047: PUSH2 0x01be
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x337b68ba
00000051: EQ
00000052: PUSH2 0x01c7
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x38bbfa50
0000005c: EQ
0000005d: PUSH2 0x01d0
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x3a6c54fb
00000067: EQ
00000068: PUSH2 0x02f6
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x4e69d560
00000072: EQ
00000073: PUSH2 0x0302
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x66d16cc3
0000007d: EQ
0000007e: PUSH2 0x031f
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x724ae9d0
00000088: EQ
00000089: PUSH2 0x0328
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x8ca17995
00000093: EQ
00000094: PUSH2 0x0349
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x9619367d
0000009e: EQ
0000009f: PUSH2 0x035d
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xa39ce9ca
000000a9: EQ
000000aa: PUSH2 0x0366
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xa96a5a5b
000000b4: EQ
000000b5: PUSH2 0x036f
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xadc2c98a
000000bf: EQ
000000c0: PUSH2 0x0378
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xbc99cc37
000000ca: EQ
000000cb: PUSH2 0x0381
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xcafb2202
000000d5: EQ
000000d6: PUSH2 0x038a
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xcff2bcfe
000000e0: EQ
000000e1: PUSH2 0x0393
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xd4c80edf
000000eb: EQ
000000ec: PUSH2 0x039c
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xdf06f906
000000f6: EQ
000000f7: PUSH2 0x03a5
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xe8b5e51f
00000101: EQ
00000102: PUSH2 0x03ae
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xf8b2cb4f
0000010c: EQ
0000010d: PUSH2 0x03dc
00000110: JUMPI
00000111: JUMPDEST
00000112: PUSH2 0x041d
00000115: PUSH2 0x0441
00000118: PUSH2 0x0143
0000011b: JUMP
0000011c: JUMPDEST
0000011d: PUSH2 0x041d
00000120: PUSH1 0x00
00000122: CALLVALUE
00000123: GT
00000124: ISZERO
00000125: PUSH2 0x0a5d
00000128: JUMPI
00000129: PUSH2 0x0002
0000012c: JUMP
0000012d: JUMPDEST
0000012e: PUSH2 0x0443
00000131: JUMPDEST
00000132: PUSH1 0x12
00000134: SLOAD
00000135: PUSH1 0x11
00000137: SLOAD
00000138: PUSH1 0x0c
0000013a: SLOAD
0000013b: ADD
0000013c: SUB
0000013d: SWAP1
0000013e: JUMP
0000013f: JUMPDEST
00000140: PUSH2 0x041d
00000143: JUMPDEST
00000144: PUSH1 0x00
00000146: PUSH1 0x00
00000148: SWAP1
00000149: SLOAD
0000014a: SWAP1
0000014b: PUSH2 0x0100
0000014e: EXP
0000014f: SWAP1
00000150: DIV
00000151: PUSH1 0x01
00000153: PUSH1 0xa0
00000155: PUSH1 0x02
00000157: EXP
00000158: SUB
00000159: AND
0000015a: PUSH1 0x01
0000015c: PUSH1 0xa0
0000015e: PUSH1 0x02
00000160: EXP
00000161: SUB
00000162: AND
00000163: PUSH4 0x38cc4831
00000168: PUSH1 0x40
0000016a: MLOAD
0000016b: DUP2
0000016c: PUSH1 0xe0
0000016e: PUSH1 0x02
00000170: EXP
00000171: MUL
00000172: DUP2
00000173: MSTORE
00000174: PUSH1 0x04
00000176: ADD
00000177: DUP1
00000178: SWAP1
00000179: POP
0000017a: PUSH1 0x20
0000017c: PUSH1 0x40
0000017e: MLOAD
0000017f: DUP1
00000180: DUP4
00000181: SUB
00000182: DUP2
00000183: PUSH1 0x00
00000185: DUP8
00000186: PUSH2 0x61da
00000189: GAS
0000018a: SUB
0000018b: CALL
0000018c: ISZERO
0000018d: PUSH2 0x0002
00000190: JUMPI
00000191: POP
00000192: POP
00000193: PUSH1 0x40
00000195: MLOAD
00000196: MLOAD
00000197: PUSH1 0x01
00000199: DUP1
0000019a: SLOAD
0000019b: PUSH1 0x01
0000019d: PUSH1 0xa0
0000019f: PUSH1 0x02
000001a1: EXP
000001a2: SUB
000001a3: NOT
000001a4: AND
000001a5: SWAP1
000001a6: SWAP2
000001a7: OR
000001a8: SWAP1
000001a9: SSTORE
000001aa: POP
000001ab: PUSH2 0x2710
000001ae: PUSH2 0x049c
000001b1: PUSH2 0x0131
000001b4: JUMP
000001b5: JUMPDEST
000001b6: PUSH2 0x0443
000001b9: PUSH1 0x0a
000001bb: SLOAD
000001bc: DUP2
000001bd: JUMP
000001be: JUMPDEST
000001bf: PUSH2 0x0443
000001c2: PUSH1 0x04
000001c4: SLOAD
000001c5: DUP2
000001c6: JUMP
000001c7: JUMPDEST
000001c8: PUSH2 0x0443
000001cb: PUSH1 0x12
000001cd: SLOAD
000001ce: DUP2
000001cf: JUMP
000001d0: JUMPDEST
000001d1: PUSH1 0x40
000001d3: DUP1
000001d4: MLOAD
000001d5: PUSH1 0x20
000001d7: PUSH1 0x24
000001d9: DUP1
000001da: CALLDATALOAD
000001db: PUSH1 0x04
000001dd: DUP2
000001de: DUP2
000001df: ADD
000001e0: CALLDATALOAD
000001e1: PUSH1 0x1f
000001e3: DUP2
000001e4: ADD
000001e5: DUP6
000001e6: SWAP1
000001e7: DIV
000001e8: DUP6
000001e9: MUL
000001ea: DUP7
000001eb: ADD
000001ec: DUP6
000001ed: ADD
000001ee: SWAP1
000001ef: SWAP7
000001f0: MSTORE
000001f1: DUP6
000001f2: DUP6
000001f3: MSTORE
000001f4: PUSH2 0x041d
000001f7: SWAP6
000001f8: DUP2
000001f9: CALLDATALOAD
000001fa: SWAP6
000001fb: SWAP2
000001fc: SWAP5
000001fd: PUSH1 0x44
000001ff: SWAP5
00000200: SWAP3
00000201: SWAP4
00000202: SWAP1
00000203: SWAP3
00000204: ADD
00000205: SWAP2
00000206: DUP2
00000207: SWAP1
00000208: DUP5
00000209: ADD
0000020a: DUP4
0000020b: DUP3
0000020c: DUP1
0000020d: DUP3
0000020e: DUP5
0000020f: CALLDATACOPY
00000210: POP
00000211: POP
00000212: PUSH1 0x40
00000214: DUP1
00000215: MLOAD
00000216: PUSH1 0x20
00000218: SWAP8
00000219: CALLDATALOAD
0000021a: DUP1
0000021b: DUP11
0000021c: ADD
0000021d: CALLDATALOAD
0000021e: PUSH1 0x1f
00000220: DUP2
00000221: ADD
00000222: DUP11
00000223: SWAP1
00000224: DIV
00000225: DUP11
00000226: MUL
00000227: DUP4
00000228: ADD
00000229: DUP11
0000022a: ADD
0000022b: SWAP1
0000022c: SWAP4
0000022d: MSTORE
0000022e: DUP3
0000022f: DUP3
00000230: MSTORE
00000231: SWAP7
00000232: SWAP9
00000233: SWAP8
00000234: PUSH1 0x64
00000236: SWAP8
00000237: SWAP2
00000238: SWAP7
00000239: POP
0000023a: PUSH1 0x24
0000023c: SWAP2
0000023d: SWAP1
0000023e: SWAP2
0000023f: ADD
00000240: SWAP5
00000241: POP
00000242: SWAP1
00000243: SWAP3
00000244: POP
00000245: DUP3
00000246: SWAP2
00000247: POP
00000248: DUP5
00000249: ADD
0000024a: DUP4
0000024b: DUP3
0000024c: DUP1
0000024d: DUP3
0000024e: DUP5
0000024f: CALLDATACOPY
00000250: POP
00000251: SWAP5
00000252: SWAP7
00000253: POP
00000254: POP
00000255: POP
00000256: POP
00000257: POP
00000258: POP
00000259: POP
0000025a: PUSH1 0x00
0000025c: PUSH2 0x081d
0000025f: DUP4
00000260: PUSH1 0x00
00000262: PUSH1 0x00
00000264: PUSH1 0x00
00000266: PUSH2 0x0d1e
00000269: DUP5
0000026a: PUSH1 0x40
0000026c: PUSH1 0x40
0000026e: MLOAD
0000026f: SWAP1
00000270: DUP2
00000271: ADD
00000272: PUSH1 0x40
00000274: MSTORE
00000275: DUP1
00000276: PUSH1 0x08
00000278: DUP2
00000279: MSTORE
0000027a: PUSH1 0x20
0000027c: ADD
0000027d: PUSH32 0x2264617461223a5b000000000000000000000000000000000000000000000000
0000029e: DUP2
0000029f: MSTORE
000002a0: PUSH1 0x20
000002a2: ADD
000002a3: POP
000002a4: JUMPDEST
000002a5: PUSH1 0x40
000002a7: DUP1
000002a8: MLOAD
000002a9: PUSH1 0x20
000002ab: DUP2
000002ac: DUP2
000002ad: ADD
000002ae: DUP4
000002af: MSTORE
000002b0: PUSH1 0x00
000002b2: SWAP2
000002b3: DUP3
000002b4: SWAP1
000002b5: MSTORE
000002b6: DUP3
000002b7: MLOAD
000002b8: SWAP1
000002b9: DUP2
000002ba: ADD
000002bb: SWAP1
000002bc: SWAP3
000002bd: MSTORE
000002be: SWAP1
000002bf: DUP2
000002c0: SWAP1
000002c1: MSTORE
000002c2: DUP3
000002c3: MLOAD
000002c4: DUP4
000002c5: SWAP1
000002c6: DUP4
000002c7: SWAP1
000002c8: DUP4
000002c9: SWAP1
000002ca: DUP2
000002cb: SWAP1
000002cc: PUSH1 0x01
000002ce: SWAP1
000002cf: LT
000002d0: DUP1
000002d1: PUSH2 0x02db
000002d4: JUMPI
000002d5: POP
000002d6: PUSH1 0x01
000002d8: DUP4
000002d9: MLOAD
000002da: LT
000002db: JUMPDEST
000002dc: DUP1
000002dd: PUSH2 0x02e7
000002e0: JUMPI
000002e1: POP
000002e2: DUP4
000002e3: MLOAD
000002e4: DUP4
000002e5: MLOAD
000002e6: GT
000002e7: JUMPDEST
000002e8: ISZERO
000002e9: PUSH2 0x1032
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: NOT
000002f0: SWAP5
000002f1: POP
000002f2: PUSH2 0x111d
000002f5: JUMP
000002f6: JUMPDEST
000002f7: PUSH2 0x0443
000002fa: PUSH1 0x08
000002fc: SLOAD
000002fd: PUSH1 0xff
000002ff: AND
00000300: DUP2
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH2 0x0455
00000306: PUSH1 0x00
00000308: PUSH1 0x00
0000030a: PUSH1 0x00
0000030c: PUSH1 0x00
0000030e: PUSH1 0x00
00000310: PUSH1 0x00
00000312: PUSH1 0x00
00000314: PUSH1 0x00
00000316: PUSH1 0x00
00000318: PUSH2 0x0b43
0000031b: PUSH2 0x0131
0000031e: JUMP
0000031f: JUMPDEST
00000320: PUSH2 0x0443
00000323: PUSH1 0x11
00000325: SLOAD
00000326: DUP2
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH2 0x0443
0000032c: JUMPDEST
0000032d: PUSH1 0x00
0000032f: PUSH1 0x00
00000331: PUSH1 0x00
00000333: PUSH1 0x06
00000335: PUSH1 0x00
00000337: POP
00000338: SLOAD
00000339: PUSH1 0x0a
0000033b: PUSH1 0x00
0000033d: POP
0000033e: SLOAD
0000033f: LT
00000340: ISZERO
00000341: PUSH2 0x0aaa
00000344: JUMPI
00000345: PUSH2 0x0ae9
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH2 0x041d
0000034d: PUSH1 0x04
0000034f: CALLDATALOAD
00000350: PUSH1 0x00
00000352: CALLVALUE
00000353: GT
00000354: ISZERO
00000355: PUSH2 0x0a28
00000358: JUMPI
00000359: PUSH2 0x0002
0000035c: JUMP
0000035d: JUMPDEST
0000035e: PUSH2 0x0443
00000361: PUSH1 0x05
00000363: SLOAD
00000364: DUP2
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH2 0x0443
0000036a: PUSH1 0x07
0000036c: SLOAD
0000036d: DUP2
0000036e: JUMP
0000036f: JUMPDEST
00000370: PUSH2 0x0443
00000373: PUSH1 0x02
00000375: SLOAD
00000376: DUP2
00000377: JUMP
00000378: JUMPDEST
00000379: PUSH2 0x0443
0000037c: PUSH1 0x03
0000037e: SLOAD
0000037f: DUP2
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH2 0x0443
00000385: PUSH1 0x06
00000387: SLOAD
00000388: DUP2
00000389: JUMP
0000038a: JUMPDEST
0000038b: PUSH2 0x0443
0000038e: PUSH1 0x0c
00000390: SLOAD
00000391: DUP2
00000392: JUMP
00000393: JUMPDEST
00000394: PUSH2 0x0443
00000397: PUSH1 0x0e
00000399: SLOAD
0000039a: DUP2
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH2 0x0443
000003a0: PUSH1 0x10
000003a2: SLOAD
000003a3: DUP2
000003a4: JUMP
000003a5: JUMPDEST
000003a6: PUSH2 0x0443
000003a9: PUSH1 0x0f
000003ab: SLOAD
000003ac: DUP2
000003ad: JUMP
000003ae: JUMPDEST
000003af: PUSH2 0x041d
000003b2: CALLER
000003b3: PUSH1 0x01
000003b5: PUSH1 0xa0
000003b7: PUSH1 0x02
000003b9: EXP
000003ba: SUB
000003bb: AND
000003bc: PUSH1 0x00
000003be: SWAP1
000003bf: DUP2
000003c0: MSTORE
000003c1: PUSH1 0x0b
000003c3: PUSH1 0x20
000003c5: MSTORE
000003c6: PUSH1 0x40
000003c8: DUP2
000003c9: KECCAK256
000003ca: SLOAD
000003cb: DUP2
000003cc: SWAP1
000003cd: DUP2
000003ce: SWAP1
000003cf: GT
000003d0: ISZERO
000003d1: PUSH2 0x0857
000003d4: JUMPI
000003d5: PUSH2 0x0875
000003d8: PUSH2 0x085b
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH2 0x0443
000003e0: PUSH1 0x04
000003e2: CALLDATALOAD
000003e3: JUMPDEST
000003e4: PUSH1 0x01
000003e6: PUSH1 0xa0
000003e8: PUSH1 0x02
000003ea: EXP
000003eb: SUB
000003ec: DUP2
000003ed: AND
000003ee: PUSH1 0x00
000003f0: SWAP1
000003f1: DUP2
000003f2: MSTORE
000003f3: PUSH1 0x0b
000003f5: PUSH1 0x20
000003f7: MSTORE
000003f8: PUSH1 0x40
000003fa: DUP2
000003fb: KECCAK256
000003fc: SLOAD
000003fd: DUP2
000003fe: SWAP1
000003ff: GT
00000400: DUP1
00000401: ISZERO
00000402: PUSH2 0x040d
00000405: JUMPI
00000406: POP
00000407: PUSH1 0x0c
00000409: SLOAD
0000040a: DUP2
0000040b: SWAP1
0000040c: GT
0000040d: JUMPDEST
0000040e: ISZERO
0000040f: PUSH2 0x0a6f
00000412: JUMPI
00000413: PUSH1 0x0c
00000415: SLOAD
00000416: PUSH2 0x0a78
00000419: PUSH2 0x0131
0000041c: JUMP
0000041d: JUMPDEST
0000041e: STOP
0000041f: JUMPDEST
00000420: PUSH1 0x40
00000422: MLOAD
00000423: CALLER
00000424: PUSH1 0x01
00000426: PUSH1 0xa0
00000428: PUSH1 0x02
0000042a: EXP
0000042b: SUB
0000042c: AND
0000042d: SWAP1
0000042e: PUSH1 0x00
00000430: SWAP1
00000431: PUSH1 0x03
00000433: SWAP1
00000434: DUP3
00000435: DUP2
00000436: DUP2
00000437: DUP2
00000438: DUP6
00000439: DUP9
0000043a: DUP4
0000043b: CALL
0000043c: POP
0000043d: POP
0000043e: POP
0000043f: POP
00000440: POP
00000441: JUMPDEST
00000442: JUMP
00000443: JUMPDEST
00000444: PUSH1 0x40
00000446: DUP1
00000447: MLOAD
00000448: SWAP2
00000449: DUP3
0000044a: MSTORE
0000044b: MLOAD
0000044c: SWAP1
0000044d: DUP2
0000044e: SWAP1
0000044f: SUB
00000450: PUSH1 0x20
00000452: ADD
00000453: SWAP1
00000454: RETURN
00000455: JUMPDEST
00000456: PUSH1 0x40
00000458: DUP1
00000459: MLOAD
0000045a: SWAP10
0000045b: DUP11
0000045c: MSTORE
0000045d: PUSH1 0x20
0000045f: DUP11
00000460: ADD
00000461: SWAP9
00000462: SWAP1
00000463: SWAP9
00000464: MSTORE
00000465: DUP9
00000466: DUP9
00000467: ADD
00000468: SWAP7
00000469: SWAP1
0000046a: SWAP7
0000046b: MSTORE
0000046c: PUSH1 0x60
0000046e: DUP9
0000046f: ADD
00000470: SWAP5
00000471: SWAP1
00000472: SWAP5
00000473: MSTORE
00000474: PUSH1 0x80
00000476: DUP8
00000477: ADD
00000478: SWAP3
00000479: SWAP1
0000047a: SWAP3
0000047b: MSTORE
0000047c: PUSH1 0xa0
0000047e: DUP7
0000047f: ADD
00000480: MSTORE
00000481: PUSH1 0xc0
00000483: DUP6
00000484: ADD
00000485: MSTORE
00000486: PUSH1 0xe0
00000488: DUP5
00000489: ADD
0000048a: MSTORE
0000048b: PUSH2 0x0100
0000048e: DUP4
0000048f: ADD
00000490: MSTORE
00000491: MLOAD
00000492: SWAP1
00000493: DUP2
00000494: SWAP1
00000495: SUB
00000496: PUSH2 0x0120
00000499: ADD
0000049a: SWAP1
0000049b: RETURN
0000049c: JUMPDEST
0000049d: PUSH1 0x04
0000049f: PUSH1 0x00
000004a1: POP
000004a2: SLOAD
000004a3: MUL
000004a4: DIV
000004a5: CALLVALUE
000004a6: PUSH1 0x02
000004a8: PUSH1 0x00
000004aa: POP
000004ab: SLOAD
000004ac: CALLVALUE
000004ad: PUSH2 0x2710
000004b0: MUL
000004b1: DIV
000004b2: SUB
000004b3: GT
000004b4: ISZERO
000004b5: DUP1
000004b6: ISZERO
000004b7: PUSH2 0x04c2
000004ba: JUMPI
000004bb: POP
000004bc: PUSH1 0x05
000004be: SLOAD
000004bf: CALLVALUE
000004c0: LT
000004c1: ISZERO
000004c2: JUMPDEST
000004c3: ISZERO
000004c4: PUSH2 0x07b1
000004c7: JUMPI
000004c8: PUSH1 0x01
000004ca: SLOAD
000004cb: PUSH1 0x40
000004cd: DUP1
000004ce: MLOAD
000004cf: PUSH1 0xe2
000004d1: PUSH1 0x02
000004d3: EXP
000004d4: PUSH4 0x0bbceb33
000004d9: MUL
000004da: DUP2
000004db: MSTORE
000004dc: PUSH3 0x0493e0
000004e0: PUSH1 0x24
000004e2: DUP3
000004e3: ADD
000004e4: MSTORE
000004e5: PUSH1 0x04
000004e7: DUP2
000004e8: ADD
000004e9: DUP3
000004ea: SWAP1
000004eb: MSTORE
000004ec: PUSH1 0x03
000004ee: PUSH1 0x44
000004f0: DUP3
000004f1: ADD
000004f2: MSTORE
000004f3: PUSH1 0xea
000004f5: PUSH1 0x02
000004f7: EXP
000004f8: PUSH3 0x155493
000004fc: MUL
000004fd: PUSH1 0x64
000004ff: DUP3
00000500: ADD
00000501: MSTORE
00000502: SWAP1
00000503: MLOAD
00000504: PUSH8 0x0de0b6b3a7640000
0000050d: SWAP3
0000050e: PUSH1 0x01
00000510: PUSH1 0xa0
00000512: PUSH1 0x02
00000514: EXP
00000515: SUB
00000516: AND
00000517: SWAP2
00000518: PUSH4 0x2ef3accc
0000051d: SWAP2
0000051e: PUSH1 0x84
00000520: DUP3
00000521: DUP2
00000522: ADD
00000523: SWAP3
00000524: PUSH1 0x20
00000526: SWAP3
00000527: SWAP2
00000528: SWAP1
00000529: DUP3
0000052a: SWAP1
0000052b: SUB
0000052c: ADD
0000052d: DUP2
0000052e: PUSH1 0x00
00000530: DUP8
00000531: PUSH2 0x61da
00000534: GAS
00000535: SUB
00000536: CALL
00000537: ISZERO
00000538: PUSH2 0x0002
0000053b: JUMPI
0000053c: POP
0000053d: POP
0000053e: PUSH1 0x40
00000540: MLOAD
00000541: MLOAD
00000542: SWAP2
00000543: SWAP1
00000544: SWAP2
00000545: LT
00000546: ISZERO
00000547: SWAP1
00000548: POP
00000549: PUSH2 0x041f
0000054c: JUMPI
0000054d: PUSH1 0x40
0000054f: DUP1
00000550: MLOAD
00000551: PUSH1 0x01
00000553: SLOAD
00000554: PUSH1 0xe2
00000556: PUSH1 0x02
00000558: EXP
00000559: PUSH4 0x0bbceb33
0000055e: MUL
0000055f: DUP3
00000560: MSTORE
00000561: PUSH3 0x0493e0
00000565: PUSH1 0x24
00000567: DUP4
00000568: ADD
00000569: MSTORE
0000056a: PUSH1 0x04
0000056c: DUP3
0000056d: ADD
0000056e: DUP4
0000056f: SWAP1
00000570: MSTORE
00000571: PUSH1 0x03
00000573: PUSH1 0x44
00000575: DUP4
00000576: ADD
00000577: MSTORE
00000578: PUSH1 0xea
0000057a: PUSH1 0x02
0000057c: EXP
0000057d: PUSH3 0x155493
00000581: MUL
00000582: PUSH1 0x64
00000584: DUP4
00000585: ADD
00000586: MSTORE
00000587: SWAP2
00000588: MLOAD
00000589: PUSH1 0x01
0000058b: PUSH1 0xa0
0000058d: PUSH1 0x02
0000058f: EXP
00000590: SUB
00000591: SWAP3
00000592: SWAP1
00000593: SWAP3
00000594: AND
00000595: SWAP2
00000596: PUSH4 0x2ef3accc
0000059b: SWAP2
0000059c: PUSH1 0x84
0000059e: DUP2
0000059f: DUP2
000005a0: ADD
000005a1: SWAP3
000005a2: PUSH1 0x20
000005a4: SWAP3
000005a5: SWAP1
000005a6: SWAP2
000005a7: SWAP1
000005a8: DUP3
000005a9: SWAP1
000005aa: SUB
000005ab: ADD
000005ac: DUP2
000005ad: PUSH1 0x00
000005af: DUP8
000005b0: PUSH2 0x61da
000005b3: GAS
000005b4: SUB
000005b5: CALL
000005b6: ISZERO
000005b7: PUSH2 0x0002
000005ba: JUMPI
000005bb: POP
000005bc: POP
000005bd: PUSH1 0x40
000005bf: DUP1
000005c0: MLOAD
000005c1: DUP1
000005c2: MLOAD
000005c3: PUSH1 0x11
000005c5: DUP1
000005c6: SLOAD
000005c7: SWAP2
000005c8: SWAP1
000005c9: SWAP2
000005ca: SUB
000005cb: SWAP1
000005cc: SSTORE
000005cd: DUP1
000005ce: DUP3
000005cf: ADD
000005d0: DUP3
000005d1: MSTORE
000005d2: PUSH1 0x03
000005d4: DUP2
000005d5: MSTORE
000005d6: PUSH1 0xea
000005d8: PUSH1 0x02
000005da: EXP
000005db: PUSH3 0x155493
000005df: MUL
000005e0: PUSH1 0x20
000005e2: DUP3
000005e3: DUP2
000005e4: ADD
000005e5: SWAP2
000005e6: SWAP1
000005e7: SWAP2
000005e8: MSTORE
000005e9: DUP3
000005ea: MLOAD
000005eb: PUSH1 0x60
000005ed: DUP2
000005ee: ADD
000005ef: DUP5
000005f0: MSTORE
000005f1: PUSH1 0x28
000005f3: DUP2
000005f4: MSTORE
000005f5: PUSH32 0x68747470733a2f2f6170692e72616e646f6d2e6f72672f6a736f6e2d7270632f
00000616: DUP2
00000617: DUP4
00000618: ADD
00000619: MSTORE
0000061a: PUSH32 0x312f696e766f6b65000000000000000000000000000000000000000000000000
0000063b: DUP2
0000063c: DUP6
0000063d: ADD
0000063e: MSTORE
0000063f: DUP4
00000640: MLOAD
00000641: PUSH1 0xc0
00000643: DUP2
00000644: ADD
00000645: SWAP1
00000646: SWAP5
00000647: MSTORE
00000648: PUSH1 0x90
0000064a: DUP1
0000064b: DUP6
0000064c: MSTORE
0000064d: PUSH2 0x07d4
00000650: SWAP6
00000651: POP
00000652: SWAP3
00000653: SWAP4
00000654: SWAP1
00000655: SWAP3
00000656: SWAP1
00000657: SWAP2
00000658: PUSH2 0x11e3
0000065b: SWAP1
0000065c: DUP4
0000065d: ADD
0000065e: CODECOPY
0000065f: PUSH3 0x0493e0
00000663: PUSH1 0x00
00000665: DUP1
00000666: SLOAD
00000667: PUSH1 0x40
00000669: DUP1
0000066a: MLOAD
0000066b: PUSH32 0x38cc483100000000000000000000000000000000000000000000000000000000
0000068c: DUP2
0000068d: MSTORE
0000068e: SWAP1
0000068f: MLOAD
00000690: DUP4
00000691: SWAP3
00000692: PUSH1 0x01
00000694: PUSH1 0xa0
00000696: PUSH1 0x02
00000698: EXP
00000699: SUB
0000069a: AND
0000069b: SWAP2
0000069c: PUSH4 0x38cc4831
000006a1: SWAP2
000006a2: PUSH1 0x04
000006a4: DUP3
000006a5: DUP2
000006a6: ADD
000006a7: SWAP3
000006a8: PUSH1 0x20
000006aa: SWAP3
000006ab: SWAP2
000006ac: SWAP1
000006ad: DUP3
000006ae: SWAP1
000006af: SUB
000006b0: ADD
000006b1: DUP2
000006b2: DUP8
000006b3: DUP8
000006b4: PUSH2 0x61da
000006b7: GAS
000006b8: SUB
000006b9: CALL
000006ba: ISZERO
000006bb: PUSH2 0x0002
000006be: JUMPI
000006bf: POP
000006c0: POP
000006c1: PUSH1 0x40
000006c3: DUP1
000006c4: MLOAD
000006c5: DUP1
000006c6: MLOAD
000006c7: PUSH1 0x01
000006c9: DUP1
000006ca: SLOAD
000006cb: PUSH1 0x01
000006cd: PUSH1 0xa0
000006cf: PUSH1 0x02
000006d1: EXP
000006d2: SUB
000006d3: NOT
000006d4: AND
000006d5: SWAP1
000006d6: SWAP2
000006d7: OR
000006d8: SWAP1
000006d9: DUP2
000006da: SWAP1
000006db: SSTORE
000006dc: PUSH1 0xe2
000006de: PUSH1 0x02
000006e0: EXP
000006e1: PUSH4 0x0bbceb33
000006e6: MUL
000006e7: DUP3
000006e8: MSTORE
000006e9: PUSH1 0x24
000006eb: DUP3
000006ec: ADD
000006ed: DUP8
000006ee: SWAP1
000006ef: MSTORE
000006f0: PUSH1 0x04
000006f2: DUP3
000006f3: DUP2
000006f4: ADD
000006f5: SWAP4
000006f6: DUP5
000006f7: MSTORE
000006f8: DUP11
000006f9: MLOAD
000006fa: PUSH1 0x44
000006fc: DUP5
000006fd: ADD
000006fe: MSTORE
000006ff: DUP11
00000700: MLOAD
00000701: PUSH1 0x01
00000703: PUSH1 0xa0
00000705: PUSH1 0x02
00000707: EXP
00000708: SUB
00000709: SWAP3
0000070a: SWAP1
0000070b: SWAP3
0000070c: AND
0000070d: SWAP5
0000070e: POP
0000070f: PUSH4 0x2ef3accc
00000714: SWAP4
00000715: DUP12
00000716: SWAP4
00000717: DUP10
00000718: SWAP4
00000719: SWAP2
0000071a: SWAP3
0000071b: DUP4
0000071c: SWAP3
0000071d: PUSH1 0x64
0000071f: SWAP3
00000720: SWAP1
00000721: SWAP3
00000722: ADD
00000723: SWAP2
00000724: PUSH1 0x20
00000726: DUP8
00000727: DUP2
00000728: ADD
00000729: SWAP3
0000072a: DUP3
0000072b: SWAP2
0000072c: DUP6
0000072d: SWAP2
0000072e: DUP4
0000072f: SWAP2
00000730: DUP7
00000731: SWAP2
00000732: DUP16
00000733: SWAP2
00000734: PUSH1 0x1f
00000736: DUP6
00000737: ADD
00000738: DIV
00000739: PUSH1 0x0f
0000073b: MUL
0000073c: PUSH1 0x03
0000073e: ADD
0000073f: CALL
00000740: POP
00000741: SWAP1
00000742: POP
00000743: SWAP1
00000744: DUP2
00000745: ADD
00000746: SWAP1
00000747: PUSH1 0x1f
00000749: AND
0000074a: DUP1
0000074b: ISZERO
0000074c: PUSH2 0x0769
0000074f: JUMPI
00000750: DUP1
00000751: DUP3
00000752: SUB
00000753: DUP1
00000754: MLOAD
00000755: PUSH1 0x01
00000757: DUP4
00000758: PUSH1 0x20
0000075a: SUB
0000075b: PUSH2 0x0100
0000075e: EXP
0000075f: SUB
00000760: NOT
00000761: AND
00000762: DUP2
00000763: MSTORE
00000764: PUSH1 0x20
00000766: ADD
00000767: SWAP2
00000768: POP
00000769: JUMPDEST
0000076a: POP
0000076b: SWAP4
0000076c: POP
0000076d: POP
0000076e: POP
0000076f: POP
00000770: PUSH1 0x20
00000772: PUSH1 0x40
00000774: MLOAD
00000775: DUP1
00000776: DUP4
00000777: SUB
00000778: DUP2
00000779: PUSH1 0x00
0000077b: DUP8
0000077c: PUSH2 0x61da
0000077f: GAS
00000780: SUB
00000781: CALL
00000782: ISZERO
00000783: PUSH2 0x0002
00000786: JUMPI
00000787: POP
00000788: POP
00000789: PUSH1 0x40
0000078b: MLOAD
0000078c: MLOAD
0000078d: SWAP2
0000078e: POP
0000078f: POP
00000790: GASPRICE
00000791: DUP4
00000792: MUL
00000793: PUSH8 0x0de0b6b3a7640000
0000079c: ADD
0000079d: DUP2
0000079e: GT
0000079f: ISZERO
000007a0: PUSH2 0x0b90
000007a3: JUMPI
000007a4: PUSH1 0x00
000007a6: SWAP2
000007a7: POP
000007a8: JUMPDEST
000007a9: POP
000007aa: SWAP5
000007ab: SWAP4
000007ac: POP
000007ad: POP
000007ae: POP
000007af: POP
000007b0: JUMP
000007b1: JUMPDEST
000007b2: PUSH1 0x40
000007b4: MLOAD
000007b5: CALLER
000007b6: PUSH1 0x01
000007b8: PUSH1 0xa0
000007ba: PUSH1 0x02
000007bc: EXP
000007bd: SUB
000007be: AND
000007bf: SWAP1
000007c0: PUSH1 0x00
000007c2: SWAP1
000007c3: PUSH1 0x02
000007c5: SWAP1
000007c6: DUP3
000007c7: DUP2
000007c8: DUP2
000007c9: DUP2
000007ca: DUP6
000007cb: DUP9
000007cc: DUP4
000007cd: CALL
000007ce: POP
000007cf: POP
000007d0: POP
000007d1: POP
000007d2: POP
000007d3: JUMP
000007d4: JUMPDEST
000007d5: POP
000007d6: PUSH1 0x40
000007d8: DUP1
000007d9: MLOAD
000007da: DUP1
000007db: DUP3
000007dc: ADD
000007dd: DUP3
000007de: MSTORE
000007df: CALLER
000007e0: DUP2
000007e1: MSTORE
000007e2: CALLVALUE
000007e3: PUSH1 0x20
000007e5: DUP3
000007e6: DUP2
000007e7: ADD
000007e8: SWAP2
000007e9: DUP3
000007ea: MSTORE
000007eb: PUSH1 0x0f
000007ed: DUP1
000007ee: SLOAD
000007ef: PUSH1 0x01
000007f1: DUP2
000007f2: DUP2
000007f3: ADD
000007f4: SWAP1
000007f5: SWAP3
000007f6: SSTORE
000007f7: PUSH1 0x00
000007f9: SWAP1
000007fa: DUP2
000007fb: MSTORE
000007fc: PUSH1 0x0d
000007fe: SWAP1
000007ff: SWAP3
00000800: MSTORE
00000801: SWAP4
00000802: SWAP1
00000803: KECCAK256
00000804: SWAP2
00000805: MLOAD
00000806: DUP3
00000807: SLOAD
00000808: PUSH1 0x01
0000080a: PUSH1 0xa0
0000080c: PUSH1 0x02
0000080e: EXP
0000080f: SUB
00000810: NOT
00000811: AND
00000812: OR
00000813: DUP3
00000814: SSTORE
00000815: MLOAD
00000816: SWAP2
00000817: ADD
00000818: SSTORE
00000819: PUSH2 0x0441
0000081c: JUMP
0000081d: JUMPDEST
0000081e: PUSH1 0x0e
00000820: SLOAD
00000821: PUSH1 0x00
00000823: SWAP1
00000824: DUP2
00000825: MSTORE
00000826: PUSH1 0x0d
00000828: PUSH1 0x20
0000082a: MSTORE
0000082b: PUSH1 0x40
0000082d: DUP1
0000082e: MLOAD
0000082f: SWAP1
00000830: DUP3
00000831: KECCAK256
00000832: SLOAD
00000833: SWAP3
00000834: SWAP4
00000835: POP
00000836: PUSH1 0x01
00000838: PUSH1 0xa0
0000083a: PUSH1 0x02
0000083c: EXP
0000083d: SUB
0000083e: SWAP3
0000083f: SWAP1
00000840: SWAP3
00000841: AND
00000842: SWAP2
00000843: DUP4
00000844: SWAP1
00000845: DUP3
00000846: DUP2
00000847: DUP2
00000848: DUP2
00000849: DUP6
0000084a: DUP9
0000084b: DUP4
0000084c: CALL
0000084d: POP
0000084e: POP
0000084f: POP
00000850: POP
00000851: POP
00000852: POP
00000853: POP
00000854: POP
00000855: POP
00000856: JUMP
00000857: JUMPDEST
00000858: PUSH2 0x08b4
0000085b: JUMPDEST
0000085c: PUSH1 0x11
0000085e: SLOAD
0000085f: PUSH1 0x12
00000861: SLOAD
00000862: PUSH1 0x00
00000864: SWAP2
00000865: DUP3
00000866: SWAP2
00000867: DUP3
00000868: SWAP2
00000869: EQ
0000086a: PUSH2 0x0f44
0000086d: JUMPI
0000086e: PUSH2 0x0f49
00000871: PUSH2 0x0131
00000874: JUMP
00000875: JUMPDEST
00000876: CALLER
00000877: PUSH1 0x01
00000879: PUSH1 0xa0
0000087b: PUSH1 0x02
0000087d: EXP
0000087e: SUB
0000087f: AND
00000880: PUSH1 0x00
00000882: SWAP1
00000883: DUP2
00000884: MSTORE
00000885: PUSH1 0x0b
00000887: PUSH1 0x20
00000889: SWAP1
0000088a: DUP2
0000088b: MSTORE
0000088c: PUSH1 0x40
0000088e: DUP1
0000088f: DUP4
00000890: KECCAK256
00000891: SLOAD
00000892: DUP4
00000893: MSTORE
00000894: PUSH1 0x09
00000896: SWAP1
00000897: SWAP2
00000898: MSTORE
00000899: SWAP1
0000089a: KECCAK256
0000089b: PUSH1 0x01
0000089d: ADD
0000089e: DUP1
0000089f: SLOAD
000008a0: CALLVALUE
000008a1: SWAP1
000008a2: DUP2
000008a3: ADD
000008a4: SWAP1
000008a5: SWAP2
000008a6: SSTORE
000008a7: PUSH1 0x0c
000008a9: DUP1
000008aa: SLOAD
000008ab: SWAP1
000008ac: SWAP2
000008ad: ADD
000008ae: SWAP1
000008af: SSTORE
000008b0: JUMPDEST
000008b1: POP
000008b2: POP
000008b3: JUMP
000008b4: JUMPDEST
000008b5: PUSH1 0x06
000008b7: SLOAD
000008b8: PUSH1 0x0a
000008ba: SLOAD
000008bb: PUSH1 0x00
000008bd: SWAP4
000008be: POP
000008bf: LT
000008c0: ISZERO
000008c1: PUSH2 0x0914
000008c4: JUMPI
000008c5: PUSH1 0x0a
000008c7: DUP1
000008c8: SLOAD
000008c9: PUSH1 0x01
000008cb: ADD
000008cc: SWAP1
000008cd: DUP2
000008ce: SWAP1
000008cf: SSTORE
000008d0: SWAP2
000008d1: POP
000008d2: JUMPDEST
000008d3: PUSH1 0x00
000008d5: DUP3
000008d6: GT
000008d7: ISZERO
000008d8: PUSH2 0x0a55
000008db: JUMPI
000008dc: PUSH1 0x00
000008de: DUP3
000008df: DUP2
000008e0: MSTORE
000008e1: PUSH1 0x09
000008e3: PUSH1 0x20
000008e5: MSTORE
000008e6: PUSH1 0x40
000008e8: DUP2
000008e9: KECCAK256
000008ea: PUSH1 0x01
000008ec: ADD
000008ed: SLOAD
000008ee: GT
000008ef: ISZERO
000008f0: PUSH2 0x099a
000008f3: JUMPI
000008f4: PUSH1 0x40
000008f6: PUSH1 0x00
000008f8: KECCAK256
000008f9: DUP1
000008fa: SLOAD
000008fb: PUSH1 0x01
000008fd: SWAP2
000008fe: SWAP1
000008ff: SWAP2
00000900: ADD
00000901: SLOAD
00000902: PUSH2 0x0974
00000905: SWAP2
00000906: PUSH1 0x01
00000908: PUSH1 0xa0
0000090a: PUSH1 0x02
0000090c: EXP
0000090d: SUB
0000090e: AND
0000090f: SWAP1
00000910: PUSH2 0x0a2e
00000913: JUMP
00000914: JUMPDEST
00000915: POP
00000916: PUSH1 0x02
00000918: JUMPDEST
00000919: PUSH1 0x0a
0000091b: SLOAD
0000091c: DUP2
0000091d: GT
0000091e: PUSH2 0x08d2
00000921: JUMPI
00000922: PUSH1 0x00
00000924: DUP2
00000925: DUP2
00000926: MSTORE
00000927: PUSH1 0x09
00000929: PUSH1 0x20
0000092b: MSTORE
0000092c: PUSH1 0x40
0000092e: SWAP1
0000092f: KECCAK256
00000930: PUSH1 0x01
00000932: ADD
00000933: SLOAD
00000934: CALLVALUE
00000935: SWAP1
00000936: LT
00000937: DUP1
00000938: ISZERO
00000939: PUSH2 0x0963
0000093c: JUMPI
0000093d: POP
0000093e: DUP2
0000093f: PUSH1 0x00
00000941: EQ
00000942: DUP1
00000943: PUSH2 0x0963
00000946: JUMPI
00000947: POP
00000948: PUSH1 0x40
0000094a: PUSH1 0x00
0000094c: DUP2
0000094d: DUP2
0000094e: KECCAK256
0000094f: PUSH1 0x01
00000951: SWAP1
00000952: DUP2
00000953: ADD
00000954: SLOAD
00000955: DUP6
00000956: DUP4
00000957: MSTORE
00000958: SWAP3
00000959: DUP3
0000095a: KECCAK256
0000095b: ADD
0000095c: SLOAD
0000095d: SWAP1
0000095e: DUP4
0000095f: SWAP1
00000960: MSTORE
00000961: SWAP1
00000962: LT
00000963: JUMPDEST
00000964: ISZERO
00000965: PUSH2 0x096c
00000968: JUMPI
00000969: SWAP1
0000096a: POP
0000096b: DUP1
0000096c: JUMPDEST
0000096d: PUSH1 0x01
0000096f: ADD
00000970: PUSH2 0x0918
00000973: JUMP
00000974: JUMPDEST
00000975: PUSH1 0x00
00000977: DUP3
00000978: DUP2
00000979: MSTORE
0000097a: PUSH1 0x09
0000097c: PUSH1 0x20
0000097e: SWAP1
0000097f: DUP2
00000980: MSTORE
00000981: PUSH1 0x40
00000983: DUP1
00000984: DUP4
00000985: KECCAK256
00000986: SLOAD
00000987: PUSH1 0x01
00000989: PUSH1 0xa0
0000098b: PUSH1 0x02
0000098d: EXP
0000098e: SUB
0000098f: AND
00000990: DUP4
00000991: MSTORE
00000992: PUSH1 0x0b
00000994: SWAP1
00000995: SWAP2
00000996: MSTORE
00000997: DUP2
00000998: KECCAK256
00000999: SSTORE
0000099a: JUMPDEST
0000099b: PUSH1 0x00
0000099d: DUP3
0000099e: DUP2
0000099f: MSTORE
000009a0: PUSH1 0x09
000009a2: PUSH1 0x20
000009a4: MSTORE
000009a5: PUSH1 0x40
000009a7: DUP2
000009a8: KECCAK256
000009a9: PUSH1 0x01
000009ab: ADD
000009ac: SLOAD
000009ad: EQ
000009ae: DUP1
000009af: ISZERO
000009b0: PUSH2 0x09d2
000009b3: JUMPI
000009b4: POP
000009b5: PUSH1 0x40
000009b7: PUSH1 0x00
000009b9: DUP2
000009ba: DUP2
000009bb: KECCAK256
000009bc: SLOAD
000009bd: PUSH1 0x01
000009bf: PUSH1 0xa0
000009c1: PUSH1 0x02
000009c3: EXP
000009c4: SUB
000009c5: AND
000009c6: DUP2
000009c7: MSTORE
000009c8: PUSH1 0x0b
000009ca: PUSH1 0x20
000009cc: MSTORE
000009cd: SWAP1
000009ce: DUP2
000009cf: KECCAK256
000009d0: SLOAD
000009d1: EQ
000009d2: JUMPDEST
000009d3: ISZERO
000009d4: PUSH2 0x0a55
000009d7: JUMPI
000009d8: PUSH1 0x00
000009da: DUP3
000009db: DUP2
000009dc: MSTORE
000009dd: PUSH1 0x09
000009df: PUSH1 0x20
000009e1: SWAP1
000009e2: DUP2
000009e3: MSTORE
000009e4: PUSH1 0x40
000009e6: DUP1
000009e7: DUP4
000009e8: KECCAK256
000009e9: DUP1
000009ea: SLOAD
000009eb: PUSH1 0x01
000009ed: PUSH1 0xa0
000009ef: PUSH1 0x02
000009f1: EXP
000009f2: SUB
000009f3: NOT
000009f4: AND
000009f5: CALLER
000009f6: SWAP1
000009f7: DUP2
000009f8: OR
000009f9: DUP3
000009fa: SSTORE
000009fb: CALLVALUE
000009fc: PUSH1 0x01
000009fe: SWAP3
000009ff: SWAP1
00000a00: SWAP3
00000a01: ADD
00000a02: DUP3
00000a03: SWAP1
00000a04: SSTORE
00000a05: PUSH1 0x0c
00000a07: DUP1
00000a08: SLOAD
00000a09: SWAP1
00000a0a: SWAP3
00000a0b: ADD
00000a0c: SWAP1
00000a0d: SWAP2
00000a0e: SSTORE
00000a0f: PUSH1 0x01
00000a11: PUSH1 0xa0
00000a13: PUSH1 0x02
00000a15: EXP
00000a16: SUB
00000a17: AND
00000a18: DUP4
00000a19: MSTORE
00000a1a: PUSH1 0x0b
00000a1c: SWAP1
00000a1d: SWAP2
00000a1e: MSTORE
00000a1f: SWAP1
00000a20: KECCAK256
00000a21: DUP3
00000a22: SWAP1
00000a23: SSTORE
00000a24: PUSH2 0x08b0
00000a27: JUMP
00000a28: JUMPDEST
00000a29: PUSH2 0x0a5a
00000a2c: CALLER
00000a2d: DUP3
00000a2e: JUMPDEST
00000a2f: PUSH1 0x01
00000a31: PUSH1 0xa0
00000a33: PUSH1 0x02
00000a35: EXP
00000a36: SUB
00000a37: DUP3
00000a38: AND
00000a39: PUSH1 0x00
00000a3b: SWAP1
00000a3c: DUP2
00000a3d: MSTORE
00000a3e: PUSH1 0x0b
00000a40: PUSH1 0x20
00000a42: MSTORE
00000a43: PUSH1 0x40
00000a45: DUP2
00000a46: KECCAK256
00000a47: SLOAD
00000a48: GT
00000a49: ISZERO
00000a4a: PUSH2 0x08b0
00000a4d: JUMPI
00000a4e: PUSH2 0x0f99
00000a51: PUSH2 0x085b
00000a54: JUMP
00000a55: JUMPDEST
00000a56: PUSH2 0x0002
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: POP
00000a5c: JUMP
00000a5d: JUMPDEST
00000a5e: PUSH2 0x0441
00000a61: CALLER
00000a62: PUSH2 0x0a6a
00000a65: CALLER
00000a66: PUSH2 0x03e3
00000a69: JUMP
00000a6a: JUMPDEST
00000a6b: PUSH2 0x0a2e
00000a6e: JUMP
00000a6f: JUMPDEST
00000a70: POP
00000a71: PUSH1 0x00
00000a73: JUMPDEST
00000a74: SWAP2
00000a75: SWAP1
00000a76: POP
00000a77: JUMP
00000a78: JUMPDEST
00000a79: PUSH1 0x01
00000a7b: PUSH1 0xa0
00000a7d: PUSH1 0x02
00000a7f: EXP
00000a80: SUB
00000a81: DUP5
00000a82: AND
00000a83: PUSH1 0x00
00000a85: SWAP1
00000a86: DUP2
00000a87: MSTORE
00000a88: PUSH1 0x0b
00000a8a: PUSH1 0x20
00000a8c: SWAP1
00000a8d: DUP2
00000a8e: MSTORE
00000a8f: PUSH1 0x40
00000a91: DUP1
00000a92: DUP4
00000a93: KECCAK256
00000a94: SLOAD
00000a95: DUP4
00000a96: MSTORE
00000a97: PUSH1 0x09
00000a99: SWAP1
00000a9a: SWAP2
00000a9b: MSTORE
00000a9c: SWAP1
00000a9d: KECCAK256
00000a9e: PUSH1 0x01
00000aa0: ADD
00000aa1: SLOAD
00000aa2: MUL
00000aa3: DIV
00000aa4: SWAP1
00000aa5: POP
00000aa6: PUSH2 0x0a73
00000aa9: JUMP
00000aaa: JUMPDEST
00000aab: POP
00000aac: PUSH1 0x00
00000aae: SWAP1
00000aaf: POP
00000ab0: PUSH1 0x02
00000ab2: JUMPDEST
00000ab3: PUSH1 0x0a
00000ab5: SLOAD
00000ab6: DUP2
00000ab7: GT
00000ab8: PUSH2 0x0aee
00000abb: JUMPI
00000abc: DUP2
00000abd: PUSH1 0x00
00000abf: EQ
00000ac0: DUP1
00000ac1: PUSH2 0x0b11
00000ac4: JUMPI
00000ac5: POP
00000ac6: PUSH1 0x00
00000ac8: DUP3
00000ac9: DUP2
00000aca: MSTORE
00000acb: PUSH1 0x09
00000acd: PUSH1 0x20
00000acf: MSTORE
00000ad0: PUSH1 0x40
00000ad2: SWAP1
00000ad3: KECCAK256
00000ad4: SLOAD
00000ad5: PUSH2 0x0b22
00000ad8: SWAP1
00000ad9: PUSH1 0x01
00000adb: PUSH1 0xa0
00000add: PUSH1 0x02
00000adf: EXP
00000ae0: SUB
00000ae1: AND
00000ae2: PUSH2 0x03e3
00000ae5: JUMP
00000ae6: JUMPDEST
00000ae7: SWAP3
00000ae8: POP
00000ae9: JUMPDEST
00000aea: POP
00000aeb: POP
00000aec: SWAP1
00000aed: JUMP
00000aee: JUMPDEST
00000aef: PUSH1 0x00
00000af1: DUP3
00000af2: DUP2
00000af3: MSTORE
00000af4: PUSH1 0x09
00000af6: PUSH1 0x20
00000af8: MSTORE
00000af9: PUSH1 0x40
00000afb: SWAP1
00000afc: KECCAK256
00000afd: SLOAD
00000afe: PUSH2 0x0ae6
00000b01: SWAP1
00000b02: PUSH1 0x01
00000b04: PUSH1 0xa0
00000b06: PUSH1 0x02
00000b08: EXP
00000b09: SUB
00000b0a: AND
00000b0b: PUSH2 0x03e3
00000b0e: JUMP
00000b0f: JUMPDEST
00000b10: LT
00000b11: JUMPDEST
00000b12: ISZERO
00000b13: PUSH2 0x0b1a
00000b16: JUMPI
00000b17: SWAP1
00000b18: POP
00000b19: DUP1
00000b1a: JUMPDEST
00000b1b: PUSH1 0x01
00000b1d: ADD
00000b1e: PUSH2 0x0ab2
00000b21: JUMP
00000b22: JUMPDEST
00000b23: PUSH1 0x00
00000b25: DUP3
00000b26: DUP2
00000b27: MSTORE
00000b28: PUSH1 0x09
00000b2a: PUSH1 0x20
00000b2c: MSTORE
00000b2d: PUSH1 0x40
00000b2f: SWAP1
00000b30: KECCAK256
00000b31: SLOAD
00000b32: PUSH2 0x0b0f
00000b35: SWAP1
00000b36: PUSH1 0x01
00000b38: PUSH1 0xa0
00000b3a: PUSH1 0x02
00000b3c: EXP
00000b3d: SUB
00000b3e: AND
00000b3f: PUSH2 0x03e3
00000b42: JUMP
00000b43: JUMPDEST
00000b44: PUSH1 0x11
00000b46: SLOAD
00000b47: PUSH1 0x02
00000b49: SLOAD
00000b4a: PUSH1 0x03
00000b4c: SLOAD
00000b4d: PUSH1 0x04
00000b4f: SLOAD
00000b50: PUSH1 0x05
00000b52: SLOAD
00000b53: PUSH1 0x10
00000b55: SLOAD
00000b56: SWAP4
00000b57: SWAP5
00000b58: SWAP3
00000b59: SWAP4
00000b5a: SWAP2
00000b5b: SWAP3
00000b5c: SWAP1
00000b5d: SWAP2
00000b5e: SWAP1
00000b5f: PUSH2 0x0b66
00000b62: PUSH2 0x032c
00000b65: JUMP
00000b66: JUMPDEST
00000b67: PUSH1 0x0e
00000b69: PUSH1 0x00
00000b6b: POP
00000b6c: SLOAD
00000b6d: PUSH1 0x0f
00000b6f: PUSH1 0x00
00000b71: POP
00000b72: SLOAD
00000b73: SUB
00000b74: SWAP9
00000b75: POP
00000b76: SWAP9
00000b77: POP
00000b78: SWAP9
00000b79: POP
00000b7a: SWAP9
00000b7b: POP
00000b7c: SWAP9
00000b7d: POP
00000b7e: SWAP9
00000b7f: POP
00000b80: SWAP9
00000b81: POP
00000b82: SWAP9
00000b83: POP
00000b84: SWAP9
00000b85: POP
00000b86: SWAP1
00000b87: SWAP2
00000b88: SWAP3
00000b89: SWAP4
00000b8a: SWAP5
00000b8b: SWAP6
00000b8c: SWAP7
00000b8d: SWAP8
00000b8e: SWAP9
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: PUSH1 0x01
00000b93: PUSH1 0x00
00000b95: SWAP1
00000b96: SLOAD
00000b97: SWAP1
00000b98: PUSH2 0x0100
00000b9b: EXP
00000b9c: SWAP1
00000b9d: DIV
00000b9e: PUSH1 0x01
00000ba0: PUSH1 0xa0
00000ba2: PUSH1 0x02
00000ba4: EXP
00000ba5: SUB
00000ba6: AND
00000ba7: PUSH1 0x01
00000ba9: PUSH1 0xa0
00000bab: PUSH1 0x02
00000bad: EXP
00000bae: SUB
00000baf: AND
00000bb0: PUSH4 0x85dee34c
00000bb5: DUP3
00000bb6: PUSH1 0x00
00000bb8: DUP10
00000bb9: DUP10
00000bba: DUP10
00000bbb: DUP10
00000bbc: PUSH1 0x40
00000bbe: MLOAD
00000bbf: DUP8
00000bc0: PUSH1 0xe0
00000bc2: PUSH1 0x02
00000bc4: EXP
00000bc5: MUL
00000bc6: DUP2
00000bc7: MSTORE
00000bc8: PUSH1 0x04
00000bca: ADD
00000bcb: DUP1
00000bcc: DUP7
00000bcd: DUP2
00000bce: MSTORE
00000bcf: PUSH1 0x20
00000bd1: ADD
00000bd2: DUP1
00000bd3: PUSH1 0x20
00000bd5: ADD
00000bd6: DUP1
00000bd7: PUSH1 0x20
00000bd9: ADD
00000bda: DUP1
00000bdb: PUSH1 0x20
00000bdd: ADD
00000bde: DUP6
00000bdf: DUP2
00000be0: MSTORE
00000be1: PUSH1 0x20
00000be3: ADD
00000be4: DUP5
00000be5: DUP2
00000be6: SUB
00000be7: DUP5
00000be8: MSTORE
00000be9: DUP9
00000bea: DUP2
00000beb: DUP2
00000bec: MLOAD
00000bed: DUP2
00000bee: MSTORE
00000bef: PUSH1 0x20
00000bf1: ADD
00000bf2: SWAP2
00000bf3: POP
00000bf4: DUP1
00000bf5: MLOAD
00000bf6: SWAP1
00000bf7: PUSH1 0x20
00000bf9: ADD
00000bfa: SWAP1
00000bfb: DUP1
00000bfc: DUP4
00000bfd: DUP4
00000bfe: DUP3
00000bff: SWAP1
00000c00: PUSH1 0x00
00000c02: PUSH1 0x04
00000c04: PUSH1 0x20
00000c06: DUP5
00000c07: PUSH1 0x1f
00000c09: ADD
00000c0a: DIV
00000c0b: PUSH1 0x0f
00000c0d: MUL
00000c0e: PUSH1 0x03
00000c10: ADD
00000c11: CALL
00000c12: POP
00000c13: SWAP1
00000c14: POP
00000c15: SWAP1
00000c16: DUP2
00000c17: ADD
00000c18: SWAP1
00000c19: PUSH1 0x1f
00000c1b: AND
00000c1c: DUP1
00000c1d: ISZERO
00000c1e: PUSH2 0x0c3b
00000c21: JUMPI
00000c22: DUP1
00000c23: DUP3
00000c24: SUB
00000c25: DUP1
00000c26: MLOAD
00000c27: PUSH1 0x01
00000c29: DUP4
00000c2a: PUSH1 0x20
00000c2c: SUB
00000c2d: PUSH2 0x0100
00000c30: EXP
00000c31: SUB
00000c32: NOT
00000c33: AND
00000c34: DUP2
00000c35: MSTORE
00000c36: PUSH1 0x20
00000c38: ADD
00000c39: SWAP2
00000c3a: POP
00000c3b: JUMPDEST
00000c3c: POP
00000c3d: DUP5
00000c3e: DUP2
00000c3f: SUB
00000c40: DUP4
00000c41: MSTORE
00000c42: DUP8
00000c43: DUP2
00000c44: DUP2
00000c45: MLOAD
00000c46: DUP2
00000c47: MSTORE
00000c48: PUSH1 0x20
00000c4a: ADD
00000c4b: SWAP2
00000c4c: POP
00000c4d: DUP1
00000c4e: MLOAD
00000c4f: SWAP1
00000c50: PUSH1 0x20
00000c52: ADD
00000c53: SWAP1
00000c54: DUP1
00000c55: DUP4
00000c56: DUP4
00000c57: DUP3
00000c58: SWAP1
00000c59: PUSH1 0x00
00000c5b: PUSH1 0x04
00000c5d: PUSH1 0x20
00000c5f: DUP5
00000c60: PUSH1 0x1f
00000c62: ADD
00000c63: DIV
00000c64: PUSH1 0x0f
00000c66: MUL
00000c67: PUSH1 0x03
00000c69: ADD
00000c6a: CALL
00000c6b: POP
00000c6c: SWAP1
00000c6d: POP
00000c6e: SWAP1
00000c6f: DUP2
00000c70: ADD
00000c71: SWAP1
00000c72: PUSH1 0x1f
00000c74: AND
00000c75: DUP1
00000c76: ISZERO
00000c77: PUSH2 0x0c94
00000c7a: JUMPI
00000c7b: DUP1
00000c7c: DUP3
00000c7d: SUB
00000c7e: DUP1
00000c7f: MLOAD
00000c80: PUSH1 0x01
00000c82: DUP4
00000c83: PUSH1 0x20
00000c85: SUB
00000c86: PUSH2 0x0100
00000c89: EXP
00000c8a: SUB
00000c8b: NOT
00000c8c: AND
00000c8d: DUP2
00000c8e: MSTORE
00000c8f: PUSH1 0x20
00000c91: ADD
00000c92: SWAP2
00000c93: POP
00000c94: JUMPDEST
00000c95: POP
00000c96: DUP5
00000c97: DUP2
00000c98: SUB
00000c99: DUP3
00000c9a: MSTORE
00000c9b: DUP7
00000c9c: DUP2
00000c9d: DUP2
00000c9e: MLOAD
00000c9f: DUP2
00000ca0: MSTORE
00000ca1: PUSH1 0x20
00000ca3: ADD
00000ca4: SWAP2
00000ca5: POP
00000ca6: DUP1
00000ca7: MLOAD
00000ca8: SWAP1
00000ca9: PUSH1 0x20
00000cab: ADD
00000cac: SWAP1
00000cad: DUP1
00000cae: DUP4
00000caf: DUP4
00000cb0: DUP3
00000cb1: SWAP1
00000cb2: PUSH1 0x00
00000cb4: PUSH1 0x04
00000cb6: PUSH1 0x20
00000cb8: DUP5
00000cb9: PUSH1 0x1f
00000cbb: ADD
00000cbc: DIV
00000cbd: PUSH1 0x0f
00000cbf: MUL
00000cc0: PUSH1 0x03
00000cc2: ADD
00000cc3: CALL
00000cc4: POP
00000cc5: SWAP1
00000cc6: POP
00000cc7: SWAP1
00000cc8: DUP2
00000cc9: ADD
00000cca: SWAP1
00000ccb: PUSH1 0x1f
00000ccd: AND
00000cce: DUP1
00000ccf: ISZERO
00000cd0: PUSH2 0x0ced
00000cd3: JUMPI
00000cd4: DUP1
00000cd5: DUP3
00000cd6: SUB
00000cd7: DUP1
00000cd8: MLOAD
00000cd9: PUSH1 0x01
00000cdb: DUP4
00000cdc: PUSH1 0x20
00000cde: SUB
00000cdf: PUSH2 0x0100
00000ce2: EXP
00000ce3: SUB
00000ce4: NOT
00000ce5: AND
00000ce6: DUP2
00000ce7: MSTORE
00000ce8: PUSH1 0x20
00000cea: ADD
00000ceb: SWAP2
00000cec: POP
00000ced: JUMPDEST
00000cee: POP
00000cef: SWAP9
00000cf0: POP
00000cf1: POP
00000cf2: POP
00000cf3: POP
00000cf4: POP
00000cf5: POP
00000cf6: POP
00000cf7: POP
00000cf8: POP
00000cf9: PUSH1 0x20
00000cfb: PUSH1 0x40
00000cfd: MLOAD
00000cfe: DUP1
00000cff: DUP4
00000d00: SUB
00000d01: DUP2
00000d02: DUP6
00000d03: DUP9
00000d04: PUSH2 0x8502
00000d07: GAS
00000d08: SUB
00000d09: CALL
00000d0a: ISZERO
00000d0b: PUSH2 0x0002
00000d0e: JUMPI
00000d0f: POP
00000d10: POP
00000d11: PUSH1 0x40
00000d13: MLOAD
00000d14: MLOAD
00000d15: SWAP4
00000d16: POP
00000d17: PUSH2 0x07a8
00000d1a: SWAP2
00000d1b: POP
00000d1c: POP
00000d1d: JUMP
00000d1e: JUMPDEST
00000d1f: SWAP2
00000d20: POP
00000d21: PUSH1 0x00
00000d23: DUP3
00000d24: SLT
00000d25: ISZERO
00000d26: PUSH2 0x0d2e
00000d29: JUMPI
00000d2a: PUSH2 0x0002
00000d2d: JUMP
00000d2e: JUMPDEST
00000d2f: DUP2
00000d30: SWAP1
00000d31: POP
00000d32: PUSH2 0x0e3b
00000d35: PUSH2 0x0e43
00000d38: DUP6
00000d39: DUP4
00000d3a: PUSH1 0x08
00000d3c: ADD
00000d3d: PUSH2 0x0da3
00000d40: DUP9
00000d41: PUSH1 0x40
00000d43: PUSH1 0x40
00000d45: MLOAD
00000d46: SWAP1
00000d47: DUP2
00000d48: ADD
00000d49: PUSH1 0x40
00000d4b: MSTORE
00000d4c: DUP1
00000d4d: PUSH1 0x01
00000d4f: DUP2
00000d50: MSTORE
00000d51: PUSH1 0x20
00000d53: ADD
00000d54: PUSH32 0x5d00000000000000000000000000000000000000000000000000000000000000
00000d75: DUP2
00000d76: MSTORE
00000d77: PUSH1 0x20
00000d79: ADD
00000d7a: POP
00000d7b: DUP8
00000d7c: PUSH1 0x00
00000d7e: PUSH1 0x00
00000d80: PUSH2 0x1008
00000d83: PUSH2 0x101e
00000d86: DUP7
00000d87: DUP6
00000d88: PUSH1 0x20
00000d8a: PUSH1 0x40
00000d8c: MLOAD
00000d8d: SWAP1
00000d8e: DUP2
00000d8f: ADD
00000d90: PUSH1 0x40
00000d92: MSTORE
00000d93: DUP1
00000d94: PUSH1 0x00
00000d96: DUP2
00000d97: MSTORE
00000d98: PUSH1 0x20
00000d9a: ADD
00000d9b: POP
00000d9c: PUSH2 0x11dc
00000d9f: DUP4
00000da0: DUP4
00000da1: DUP6
00000da2: MLOAD
00000da3: JUMPDEST
00000da4: PUSH1 0x40
00000da6: DUP1
00000da7: MLOAD
00000da8: PUSH1 0x20
00000daa: DUP2
00000dab: DUP2
00000dac: ADD
00000dad: DUP4
00000dae: MSTORE
00000daf: PUSH1 0x00
00000db1: DUP1
00000db2: DUP4
00000db3: MSTORE
00000db4: DUP4
00000db5: MLOAD
00000db6: DUP1
00000db7: DUP4
00000db8: ADD
00000db9: DUP6
00000dba: MSTORE
00000dbb: DUP2
00000dbc: SWAP1
00000dbd: MSTORE
00000dbe: DUP4
00000dbf: MLOAD
00000dc0: SWAP2
00000dc1: DUP3
00000dc2: ADD
00000dc3: DUP5
00000dc4: MSTORE
00000dc5: DUP1
00000dc6: DUP3
00000dc7: MSTORE
00000dc8: SWAP3
00000dc9: MLOAD
00000dca: SWAP2
00000dcb: SWAP3
00000dcc: DUP7
00000dcd: SWAP3
00000dce: DUP7
00000dcf: DUP7
00000dd0: SUB
00000dd1: SWAP1
00000dd2: DUP1
00000dd3: MSIZE
00000dd4: LT
00000dd5: PUSH2 0x0ddb
00000dd8: JUMPI
00000dd9: POP
00000dda: MSIZE
00000ddb: JUMPDEST
00000ddc: SWAP1
00000ddd: DUP1
00000dde: DUP3
00000ddf: MSTORE
00000de0: DUP1
00000de1: PUSH1 0x20
00000de3: MUL
00000de4: PUSH1 0x20
00000de6: ADD
00000de7: DUP3
00000de8: ADD
00000de9: PUSH1 0x40
00000deb: MSTORE
00000dec: POP
00000ded: SWAP2
00000dee: POP
00000def: DUP6
00000df0: SWAP1
00000df1: POP
00000df2: JUMPDEST
00000df3: DUP5
00000df4: DUP2
00000df5: LT
00000df6: ISZERO
00000df7: PUSH2 0x1147
00000dfa: JUMPI
00000dfb: DUP3
00000dfc: DUP2
00000dfd: DUP2
00000dfe: MLOAD
00000dff: DUP2
00000e00: LT
00000e01: ISZERO
00000e02: PUSH2 0x0002
00000e05: JUMPI
00000e06: SWAP1
00000e07: PUSH1 0x20
00000e09: ADD
00000e0a: ADD
00000e0b: MLOAD
00000e0c: PUSH1 0xf8
00000e0e: PUSH1 0x02
00000e10: EXP
00000e11: SWAP1
00000e12: DIV
00000e13: PUSH1 0xf8
00000e15: PUSH1 0x02
00000e17: EXP
00000e18: MUL
00000e19: DUP3
00000e1a: DUP8
00000e1b: DUP4
00000e1c: SUB
00000e1d: DUP2
00000e1e: MLOAD
00000e1f: DUP2
00000e20: LT
00000e21: ISZERO
00000e22: PUSH2 0x0002
00000e25: JUMPI
00000e26: SWAP1
00000e27: PUSH1 0x20
00000e29: ADD
00000e2a: ADD
00000e2b: SWAP1
00000e2c: SWAP1
00000e2d: DUP2
00000e2e: PUSH1 0x00
00000e30: BYTE
00000e31: SWAP1
00000e32: MSTORE8
00000e33: POP
00000e34: PUSH1 0x01
00000e36: ADD
00000e37: PUSH2 0x0df2
00000e3a: JUMP
00000e3b: JUMPDEST
00000e3c: SWAP5
00000e3d: SWAP4
00000e3e: POP
00000e3f: POP
00000e40: POP
00000e41: POP
00000e42: JUMP
00000e43: JUMPDEST
00000e44: PUSH1 0x00
00000e46: PUSH2 0x1140
00000e49: DUP3
00000e4a: PUSH1 0x00
00000e4c: PUSH1 0x40
00000e4e: DUP1
00000e4f: MLOAD
00000e50: PUSH1 0x20
00000e52: DUP2
00000e53: ADD
00000e54: SWAP1
00000e55: SWAP2
00000e56: MSTORE
00000e57: PUSH1 0x00
00000e59: SWAP1
00000e5a: DUP2
00000e5b: SWAP1
00000e5c: MSTORE
00000e5d: DUP3
00000e5e: DUP2
00000e5f: DUP1
00000e60: DUP1
00000e61: JUMPDEST
00000e62: DUP4
00000e63: MLOAD
00000e64: DUP2
00000e65: LT
00000e66: ISZERO
00000e67: PUSH2 0x0ed7
00000e6a: JUMPI
00000e6b: PUSH1 0x30
00000e6d: PUSH1 0xf8
00000e6f: PUSH1 0x02
00000e71: EXP
00000e72: MUL
00000e73: DUP5
00000e74: DUP3
00000e75: DUP2
00000e76: MLOAD
00000e77: DUP2
00000e78: LT
00000e79: ISZERO
00000e7a: PUSH2 0x0002
00000e7d: JUMPI
00000e7e: SWAP1
00000e7f: PUSH1 0x20
00000e81: ADD
00000e82: ADD
00000e83: MLOAD
00000e84: PUSH1 0xf8
00000e86: PUSH1 0x02
00000e88: EXP
00000e89: SWAP1
00000e8a: DIV
00000e8b: PUSH1 0xf8
00000e8d: PUSH1 0x02
00000e8f: EXP
00000e90: MUL
00000e91: LT
00000e92: ISZERO
00000e93: DUP1
00000e94: ISZERO
00000e95: PUSH2 0x0ec2
00000e98: JUMPI
00000e99: POP
00000e9a: PUSH1 0x39
00000e9c: PUSH1 0xf8
00000e9e: PUSH1 0x02
00000ea0: EXP
00000ea1: MUL
00000ea2: DUP5
00000ea3: DUP3
00000ea4: DUP2
00000ea5: MLOAD
00000ea6: DUP2
00000ea7: LT
00000ea8: ISZERO
00000ea9: PUSH2 0x0002
00000eac: JUMPI
00000ead: SWAP1
00000eae: PUSH1 0x20
00000eb0: ADD
00000eb1: ADD
00000eb2: MLOAD
00000eb3: PUSH1 0xf8
00000eb5: PUSH1 0x02
00000eb7: EXP
00000eb8: SWAP1
00000eb9: DIV
00000eba: PUSH1 0xf8
00000ebc: PUSH1 0x02
00000ebe: EXP
00000ebf: MUL
00000ec0: GT
00000ec1: ISZERO
00000ec2: JUMPDEST
00000ec3: ISZERO
00000ec4: PUSH2 0x1151
00000ec7: JUMPI
00000ec8: DUP2
00000ec9: ISZERO
00000eca: PUSH2 0x11a8
00000ecd: JUMPI
00000ece: DUP6
00000ecf: PUSH1 0x00
00000ed1: EQ
00000ed2: ISZERO
00000ed3: PUSH2 0x119f
00000ed6: JUMPI
00000ed7: JUMPDEST
00000ed8: DUP3
00000ed9: SWAP5
00000eda: POP
00000edb: PUSH2 0x111d
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: PUSH1 0x0c
00000ee2: DUP4
00000ee3: SWAP1
00000ee4: SSTORE
00000ee5: DUP2
00000ee6: DUP4
00000ee7: EQ
00000ee8: DUP1
00000ee9: ISZERO
00000eea: SWAP1
00000eeb: PUSH2 0x0ef7
00000eee: JUMPI
00000eef: POP
00000ef0: PUSH1 0x0a
00000ef2: SLOAD
00000ef3: PUSH1 0x00
00000ef5: SWAP1
00000ef6: GT
00000ef7: JUMPDEST
00000ef8: ISZERO
00000ef9: PUSH2 0x0f3d
00000efc: JUMPI
00000efd: PUSH1 0x01
00000eff: PUSH1 0x00
00000f01: MSTORE
00000f02: PUSH1 0x09
00000f04: PUSH1 0x20
00000f06: MSTORE
00000f07: PUSH32 0x92e85d02570a8092d09a6e3a57665bc3815a2699a4074001bf1ccabf660f5a37
00000f28: DUP1
00000f29: SLOAD
00000f2a: DUP5
00000f2b: DUP5
00000f2c: SUB
00000f2d: SWAP1
00000f2e: DUP2
00000f2f: ADD
00000f30: SWAP1
00000f31: SWAP2
00000f32: SSTORE
00000f33: PUSH1 0x0c
00000f35: DUP1
00000f36: SLOAD
00000f37: SWAP2
00000f38: SWAP1
00000f39: SWAP2
00000f3a: ADD
00000f3b: SWAP1
00000f3c: SSTORE
00000f3d: JUMPDEST
00000f3e: PUSH1 0x11
00000f40: SLOAD
00000f41: PUSH1 0x12
00000f43: SSTORE
00000f44: JUMPDEST
00000f45: POP
00000f46: POP
00000f47: POP
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: SWAP2
00000f4b: POP
00000f4c: PUSH1 0x01
00000f4e: SWAP1
00000f4f: POP
00000f50: JUMPDEST
00000f51: PUSH1 0x0a
00000f53: SLOAD
00000f54: DUP2
00000f55: GT
00000f56: PUSH2 0x0edf
00000f59: JUMPI
00000f5a: PUSH1 0x00
00000f5c: DUP2
00000f5d: DUP2
00000f5e: MSTORE
00000f5f: PUSH1 0x09
00000f61: PUSH1 0x20
00000f63: MSTORE
00000f64: PUSH1 0x40
00000f66: SWAP1
00000f67: KECCAK256
00000f68: SLOAD
00000f69: PUSH2 0x0f7a
00000f6c: SWAP1
00000f6d: PUSH1 0x01
00000f6f: PUSH1 0xa0
00000f71: PUSH1 0x02
00000f73: EXP
00000f74: SUB
00000f75: AND
00000f76: PUSH2 0x03e3
00000f79: JUMP
00000f7a: JUMPDEST
00000f7b: PUSH1 0x00
00000f7d: DUP3
00000f7e: DUP2
00000f7f: MSTORE
00000f80: PUSH1 0x09
00000f82: PUSH1 0x20
00000f84: MSTORE
00000f85: PUSH1 0x40
00000f87: SWAP1
00000f88: KECCAK256
00000f89: PUSH1 0x01
00000f8b: SWAP1
00000f8c: DUP2
00000f8d: ADD
00000f8e: DUP3
00000f8f: SWAP1
00000f90: SSTORE
00000f91: SWAP4
00000f92: ADD
00000f93: SWAP3
00000f94: ADD
00000f95: PUSH2 0x0f50
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: PUSH2 0x0fa2
00000f9d: DUP3
00000f9e: PUSH2 0x03e3
00000fa1: JUMP
00000fa2: JUMPDEST
00000fa3: DUP2
00000fa4: GT
00000fa5: ISZERO
00000fa6: PUSH2 0x0fb5
00000fa9: JUMPI
00000faa: PUSH2 0x0fb2
00000fad: DUP3
00000fae: PUSH2 0x03e3
00000fb1: JUMP
00000fb2: JUMPDEST
00000fb3: SWAP1
00000fb4: POP
00000fb5: JUMPDEST
00000fb6: PUSH1 0x01
00000fb8: PUSH1 0xa0
00000fba: PUSH1 0x02
00000fbc: EXP
00000fbd: SUB
00000fbe: DUP3
00000fbf: AND
00000fc0: PUSH1 0x00
00000fc2: DUP2
00000fc3: DUP2
00000fc4: MSTORE
00000fc5: PUSH1 0x0b
00000fc7: PUSH1 0x20
00000fc9: SWAP1
00000fca: DUP2
00000fcb: MSTORE
00000fcc: PUSH1 0x40
00000fce: DUP1
00000fcf: DUP4
00000fd0: KECCAK256
00000fd1: SLOAD
00000fd2: DUP4
00000fd3: MSTORE
00000fd4: PUSH1 0x09
00000fd6: SWAP1
00000fd7: SWAP2
00000fd8: MSTORE
00000fd9: DUP1
00000fda: DUP3
00000fdb: KECCAK256
00000fdc: PUSH1 0x01
00000fde: ADD
00000fdf: DUP1
00000fe0: SLOAD
00000fe1: DUP6
00000fe2: SWAP1
00000fe3: SUB
00000fe4: SWAP1
00000fe5: SSTORE
00000fe6: PUSH1 0x0c
00000fe8: DUP1
00000fe9: SLOAD
00000fea: DUP6
00000feb: SWAP1
00000fec: SUB
00000fed: SWAP1
00000fee: SSTORE
00000fef: MLOAD
00000ff0: DUP4
00000ff1: SWAP1
00000ff2: DUP3
00000ff3: DUP2
00000ff4: DUP2
00000ff5: DUP2
00000ff6: DUP6
00000ff7: DUP9
00000ff8: DUP4
00000ff9: CALL
00000ffa: SWAP4
00000ffb: POP
00000ffc: POP
00000ffd: POP
00000ffe: POP
00000fff: ISZERO
00001000: PUSH2 0x0a55
00001003: JUMPI
00001004: PUSH2 0x08b0
00001007: JUMP
00001008: JUMPDEST
00001009: SWAP1
0000100a: POP
0000100b: DUP1
0000100c: PUSH1 0x00
0000100e: NOT
0000100f: EQ
00001010: ISZERO
00001011: PUSH2 0x1024
00001014: JUMPI
00001015: PUSH1 0x00
00001017: NOT
00001018: SWAP2
00001019: POP
0000101a: PUSH2 0x102a
0000101d: JUMP
0000101e: JUMPDEST
0000101f: DUP6
00001020: PUSH2 0x02a4
00001023: JUMP
00001024: JUMPDEST
00001025: DUP1
00001026: DUP4
00001027: ADD
00001028: SWAP2
00001029: POP
0000102a: JUMPDEST
0000102b: POP
0000102c: SWAP4
0000102d: SWAP3
0000102e: POP
0000102f: POP
00001030: POP
00001031: JUMP
00001032: JUMPDEST
00001033: PUSH16 0xffffffffffffffffffffffffffffffff
00001044: DUP5
00001045: MLOAD
00001046: GT
00001047: ISZERO
00001048: PUSH2 0x1055
0000104b: JUMPI
0000104c: PUSH1 0x00
0000104e: NOT
0000104f: SWAP5
00001050: POP
00001051: PUSH2 0x111d
00001054: JUMP
00001055: JUMPDEST
00001056: POP
00001057: PUSH1 0x00
00001059: SWAP1
0000105a: POP
0000105b: DUP1
0000105c: JUMPDEST
0000105d: DUP4
0000105e: MLOAD
0000105f: DUP2
00001060: LT
00001061: ISZERO
00001062: PUSH2 0x1117
00001065: JUMPI
00001066: DUP3
00001067: PUSH1 0x00
00001069: DUP2
0000106a: MLOAD
0000106b: DUP2
0000106c: LT
0000106d: ISZERO
0000106e: PUSH2 0x0002
00001071: JUMPI
00001072: SWAP1
00001073: PUSH1 0x20
00001075: ADD
00001076: ADD
00001077: MLOAD
00001078: PUSH1 0xf8
0000107a: PUSH1 0x02
0000107c: EXP
0000107d: SWAP1
0000107e: DIV
0000107f: PUSH1 0xf8
00001081: PUSH1 0x02
00001083: EXP
00001084: MUL
00001085: DUP5
00001086: DUP3
00001087: DUP2
00001088: MLOAD
00001089: DUP2
0000108a: LT
0000108b: ISZERO
0000108c: PUSH2 0x0002
0000108f: JUMPI
00001090: SWAP1
00001091: PUSH1 0x20
00001093: ADD
00001094: ADD
00001095: MLOAD
00001096: PUSH1 0xf8
00001098: PUSH1 0x02
0000109a: EXP
0000109b: SWAP1
0000109c: DIV
0000109d: PUSH1 0xf8
0000109f: PUSH1 0x02
000010a1: EXP
000010a2: MUL
000010a3: EQ
000010a4: ISZERO
000010a5: PUSH2 0x1138
000010a8: JUMPI
000010a9: PUSH1 0x01
000010ab: SWAP2
000010ac: POP
000010ad: JUMPDEST
000010ae: DUP3
000010af: MLOAD
000010b0: DUP3
000010b1: LT
000010b2: DUP1
000010b3: ISZERO
000010b4: PUSH2 0x10bf
000010b7: JUMPI
000010b8: POP
000010b9: DUP4
000010ba: MLOAD
000010bb: DUP3
000010bc: DUP3
000010bd: ADD
000010be: LT
000010bf: JUMPDEST
000010c0: DUP1
000010c1: ISZERO
000010c2: PUSH2 0x1106
000010c5: JUMPI
000010c6: POP
000010c7: DUP3
000010c8: DUP3
000010c9: DUP2
000010ca: MLOAD
000010cb: DUP2
000010cc: LT
000010cd: ISZERO
000010ce: PUSH2 0x0002
000010d1: JUMPI
000010d2: SWAP1
000010d3: PUSH1 0x20
000010d5: ADD
000010d6: ADD
000010d7: MLOAD
000010d8: PUSH1 0xf8
000010da: PUSH1 0x02
000010dc: EXP
000010dd: SWAP1
000010de: DIV
000010df: PUSH1 0xf8
000010e1: PUSH1 0x02
000010e3: EXP
000010e4: MUL
000010e5: DUP5
000010e6: DUP4
000010e7: DUP4
000010e8: ADD
000010e9: DUP2
000010ea: MLOAD
000010eb: DUP2
000010ec: LT
000010ed: ISZERO
000010ee: PUSH2 0x0002
000010f1: JUMPI
000010f2: SWAP1
000010f3: PUSH1 0x20
000010f5: ADD
000010f6: ADD
000010f7: MLOAD
000010f8: PUSH1 0xf8
000010fa: PUSH1 0x02
000010fc: EXP
000010fd: SWAP1
000010fe: DIV
000010ff: PUSH1 0xf8
00001101: PUSH1 0x02
00001103: EXP
00001104: MUL
00001105: EQ
00001106: JUMPDEST
00001107: ISZERO
00001108: PUSH2 0x1127
0000110b: JUMPI
0000110c: PUSH1 0x01
0000110e: SWAP2
0000110f: SWAP1
00001110: SWAP2
00001111: ADD
00001112: SWAP1
00001113: PUSH2 0x10ad
00001116: JUMP
00001117: JUMPDEST
00001118: PUSH1 0x00
0000111a: NOT
0000111b: SWAP5
0000111c: POP
0000111d: JUMPDEST
0000111e: POP
0000111f: POP
00001120: POP
00001121: POP
00001122: SWAP3
00001123: SWAP2
00001124: POP
00001125: POP
00001126: JUMP
00001127: JUMPDEST
00001128: DUP3
00001129: MLOAD
0000112a: DUP3
0000112b: EQ
0000112c: ISZERO
0000112d: PUSH2 0x1138
00001130: JUMPI
00001131: DUP1
00001132: SWAP5
00001133: POP
00001134: PUSH2 0x111d
00001137: JUMP
00001138: JUMPDEST
00001139: PUSH1 0x01
0000113b: ADD
0000113c: PUSH2 0x105c
0000113f: JUMP
00001140: JUMPDEST
00001141: SWAP1
00001142: POP
00001143: PUSH2 0x0a73
00001146: JUMP
00001147: JUMPDEST
00001148: POP
00001149: SWAP6
0000114a: SWAP5
0000114b: POP
0000114c: POP
0000114d: POP
0000114e: POP
0000114f: POP
00001150: JUMP
00001151: JUMPDEST
00001152: DUP4
00001153: DUP2
00001154: DUP2
00001155: MLOAD
00001156: DUP2
00001157: LT
00001158: ISZERO
00001159: PUSH2 0x0002
0000115c: JUMPI
0000115d: ADD
0000115e: PUSH1 0x20
00001160: ADD
00001161: MLOAD
00001162: PUSH1 0xf8
00001164: PUSH1 0x02
00001166: EXP
00001167: SWAP1
00001168: DUP2
00001169: SWAP1
0000116a: DIV
0000116b: MUL
0000116c: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000
0000118d: EQ
0000118e: ISZERO
0000118f: PUSH2 0x1197
00001192: JUMPI
00001193: PUSH1 0x01
00001195: SWAP2
00001196: POP
00001197: JUMPDEST
00001198: PUSH1 0x01
0000119a: ADD
0000119b: PUSH2 0x0e61
0000119e: JUMP
0000119f: JUMPDEST
000011a0: PUSH1 0x00
000011a2: NOT
000011a3: SWAP6
000011a4: SWAP1
000011a5: SWAP6
000011a6: ADD
000011a7: SWAP5
000011a8: JUMPDEST
000011a9: PUSH1 0x0a
000011ab: DUP4
000011ac: MUL
000011ad: SWAP3
000011ae: POP
000011af: DUP3
000011b0: POP
000011b1: PUSH1 0x30
000011b3: DUP5
000011b4: DUP3
000011b5: DUP2
000011b6: MLOAD
000011b7: DUP2
000011b8: LT
000011b9: ISZERO
000011ba: PUSH2 0x0002
000011bd: JUMPI
000011be: ADD
000011bf: PUSH1 0x20
000011c1: ADD
000011c2: MLOAD
000011c3: PUSH1 0xf8
000011c5: PUSH1 0x02
000011c7: EXP
000011c8: SWAP1
000011c9: DUP2
000011ca: SWAP1
000011cb: DIV
000011cc: DUP2
000011cd: MUL
000011ce: DIV
000011cf: SWAP1
000011d0: SWAP4
000011d1: ADD
000011d2: PUSH1 0x2f
000011d4: NOT
000011d5: ADD
000011d6: SWAP3
000011d7: POP
000011d8: PUSH2 0x1197
000011db: JUMP
000011dc: JUMPDEST
000011dd: SWAP4
000011de: SWAP3
000011df: POP
000011e0: POP
000011e1: POP
000011e2: JUMP
000011e3: EXP
000011e4: PUSH28 0x226a736f6e727063223a22322e30222c226d6574686f64223a226765
00001201: PUSH15 0x65726174655369676e6564496e7465
00001211: PUSH8 0x657273222c227061
0000121a: PUSH19 0x616d73223a7b226170694b6579223a22333636
0000122e: PUSH4 0x65663839
00001233: UNKNOWN(0x2D)
00001234: PUSH4 0x3738662d
00001239: CALLVALUE
0000123a: BALANCE
0000123b: BALANCE
0000123c: BALANCE
0000123d: UNKNOWN(0x2D)
0000123e: PUSH3 0x383834
00001242: UNKNOWN(0x2D)
00001243: CODESIZE
00001244: PUSH7 0x39333432363461
0000124c: PUSH6 0x6430222c226e
00001253: UNKNOWN(0x22)
00001254: GASPRICE
00001255: BALANCE
00001256: UNKNOWN(0x2C)
00001257: UNKNOWN(0x22)
00001258: PUSH14 0x696e223a312c226d6178223a3130
00001267: ADDRESS
00001268: ADDRESS
00001269: ADDRESS
0000126a: PUSH30

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xcc72cd3ac5288b7788d73ac72a04629065cbffebc4284d18505a37b5acf1057f call_targets: 0x1b2805cb4d45eed354ec0b4d925a745de0cd020b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xcc72cd3ac5288b7788d73ac72a04629065cbffebc4284d18505a37b5acf1057f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1b2805cb4d45eed354ec0b4d925a745de0cd020b" ], "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": "0x058aace1", "selector": "0x058aace1", "calldata_variants": [ "0x058aace1", "0x058aace10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0d1fce42", "selector": "0x0d1fce42", "calldata_variants": [ "0x0d1fce42", "0x0d1fce420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x11610c25", "selector": "0x11610c25", "calldata_variants": [ "0x11610c25", "0x11610c250000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x132ae5e9", "selector": "0x132ae5e9", "calldata_variants": [ "0x132ae5e9", "0x132ae5e90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x16d190e3", "selector": "0x16d190e3", "calldata_variants": [ "0x16d190e3", "0x16d190e30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x337b68ba", "selector": "0x337b68ba", "calldata_variants": [ "0x337b68ba", "0x337b68ba0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x38bbfa50", "selector": "0x38bbfa50", "calldata_variants": [ "0x38bbfa50", "0x38bbfa500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a6c54fb", "selector": "0x3a6c54fb", "calldata_variants": [ "0x3a6c54fb", "0x3a6c54fb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 395, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1083, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1334, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 14, "guards_detected": [], "untrusted_call_count": 14 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xcc72cd3ac5288b7788d73ac72a04629065cbffebc4284d18505a37b5acf1057f call_targets: 0x1b2805cb4d45eed354ec0b4d925a745de0cd020b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xcc72cd3ac5288b7788d73ac72a04629065cbffebc4284d18505a37b5acf1057f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1b2805cb4d45eed354ec0b4d925a745de0cd020b" ], "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": "0x058aace1", "selector": "0x058aace1", "calldata_variants": [ "0x058aace1", "0x058aace10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0d1fce42", "selector": "0x0d1fce42", "calldata_variants": [ "0x0d1fce42", "0x0d1fce420000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x11610c25", "selector": "0x11610c25", "calldata_variants": [ "0x11610c25", "0x11610c250000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x132ae5e9", "selector": "0x132ae5e9", "calldata_variants": [ "0x132ae5e9", "0x132ae5e90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x16d190e3", "selector": "0x16d190e3", "calldata_variants": [ "0x16d190e3", "0x16d190e30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x337b68ba", "selector": "0x337b68ba", "calldata_variants": [ "0x337b68ba", "0x337b68ba0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x38bbfa50", "selector": "0x38bbfa50", "calldata_variants": [ "0x38bbfa50", "0x38bbfa500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3a6c54fb", "selector": "0x3a6c54fb", "calldata_variants": [ "0x3a6c54fb", "0x3a6c54fb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 395, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1083, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1334, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 14, "guards_detected": [] }

Severity