algebraic_type_Z3,4.6.0.oracle 916 Bytes