Z10 (Explicit)

Z3.LITHIUM (Explicit)