algebraic_type_Z3,4.6.0_WP.oracle 2.42 KB