Exodeca Cmosat -- Argon mathematics

124