LitPE_MathPE SW

by SPARK