algebraic_types_poly_Z3,4.6.0_WP.oracle 79 Bytes