de_3as7_3ascl_reference_math