Results for ALUMANITA logics numericumericumericumeric